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 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.