Chinese Academy of Sciences

Correct design, and system-level dependability prediction of highly-integrated systems demand the collocation of require-ments and architectural artifacts within an integrated devel-opment environment. Hybrid systems, having dependencies and extensive interactions between their control portion and their environment, further intensify this need. AADL is a model-based engineering language for the ar-chitectural design and analysis of embedded control systems. Core AADL has been extended with a mechanism for dis-crete behavioral modeling and analysis of control systems, but not for the continuous behavior of the physical envi-ronment. In this paper, we introduce a lightweight language extension to AADL called the Hybrid Annex for continuous-time modeling, fulfilling the need for integrated modeling of the computing system along with its physical environment in their respective domains. The Isolette system described in the FAA Requirement Engineering Management Handbook is used to illustrate continuous behavior modeling with th