Modeling the Implementation of State-Based System Architectures

Many application systems maintain state as part of their behavioral semantics. This state can reflect continuous state, e.g., sensor measurements, or discrete state. Modeling notations like Simulink combine the two to support modeling of hybrid control systems. In this paper we examine whether the i...

Full description

Saved in:
Bibliographic Details
Published in2009 14th IEEE International Conference on Engineering of Complex Computer Systems pp. 377 - 382
Main Author Feiler, P.H.
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.06.2009
Subjects
Application software
Communication system control
Computer architecture
Control system synthesis
Control systems
embedded system
Hardware
Protocols
Quality of service
real-time system
Runtime
software architecture
Space stations
Online AccessGet full text

Cover

More Information
Summary:Many application systems maintain state as part of their behavioral semantics. This state can reflect continuous state, e.g., sensor measurements, or discrete state. Modeling notations like Simulink combine the two to support modeling of hybrid control systems. In this paper we examine whether the intended behavior of state-based systems is implemented correctly by different runtime architectures. We identify several classes of such state based systems with variations in their semantics,represent their architecture in AADL, and use these mantic framework of AADL to discuss potential pitfalls with the chosen implementation.
ISBN:0769537022
9780769537023
DOI:10.1109/ICECCS.2009.19