Modeling the Implementation of State-Based System Architectures
June 2009 • Conference Paper
Peter H. Feiler
This paper uses the AADL to examine whether the intended behavior of state-based systems is implemented correctly by different runtime architectures.
This conference paper was published by IEEE in the Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems in June 2009.
Many application systems maintain state as part of their behavioral semantics. This state can reflect continuous state, such as 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 the Architecture Analysis and Design Language (AADL), and use the semantic framework of AADL to discuss potential pitfalls with the chosen implementation.