Real-Time Embedded Systems Modelling Approaches

Abstract - Real - time Embedded Systems is a reactive systems characterized by a continuous interaction with their environment. They typically continuously receive inputs from their environment and, usually within quite a short delay, react on these inputs. C orrectness and well - functioning of this reactive systems is cru cial. To obtain correctly functioning and dependable reactive systems , a coh erent and well - defined methodology is needed in which different phases can be distin - guished. In this paper, we identify various approaches for Real - time Embedded Systems Modelling, phases of development for a correctly functioning and dependable reactive systems and b enefits of model checking.