Real-Time Embedded Systems Modelling Approaches

Research areas:

• Volume 1,Issue 1, July 2012

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.

Full text: IJAIM-06 FINAL N.pdf