Real-Time Embedded Systems Modelling Approaches

Hits: 2094
Research areas:
Year:
2012
Type of Publication:
Article
Keywords:
Reactive systems, conceptual design, model checking techniques, finite state automaton, animation
Authors:
Bakare K. Ayeni; Junaidu Sahalu
Journal:
IJAIM
Volume:
1
Number:
1
Pages:
12-19
Month:
August
ISSN:
2320-5121
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. Correctness and well-functioning of this reactive systems is crucial. To obtain correctly functioning and dependable reactive systems, a coherent and well-defined methodology is needed in which different phases can be distinguished. 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 benefits of model checking.

Indexed By