Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modeling

Correct design, and system-level dependability prediction of highly-integrated systems demand the collocation of requirements and architectural artifacts within an integrated development 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 architectural design and analysis of embedded control systems. Core AADL has been extended with a mechanism for discrete behavioral modeling and analysis of control systems, but not for the continuous behavior of the physical environment. 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 the proposed Hybrid Annex.

[1]  Anders P. Ravn,et al.  A Formal Description of Hybrid Systems , 1996, Hybrid Systems.

[2]  Edward A. Lee,et al.  What's Ahead for Embedded Software? , 2000, Computer.

[3]  Thomas A. Henzinger,et al.  The Embedded Systems Design Challenge , 2006, FM.

[4]  Jörgen Hansson,et al.  System Architecture Virtual Integration: An Industrial Case Study , 2009 .

[5]  Myron Hecht,et al.  A Tool Set for Integrated Software and Hardware Dependability Analysis Using the Architecture Analysis and Design Language (AADL) and Error Model Annex , 2011, 2011 16th IEEE International Conference on Engineering of Complex Computer Systems.

[6]  Zhang Yu,et al.  Research on modeling and analysis of CPS , 2011, ATC 2011.

[7]  Dominique Blouin,et al.  Defining an annex language to the architecture analysis and design language for requirements engineering activities support , 2011, 2011 Model-Driven Requirements Engineering Workshop.

[8]  Ayan Banerjee,et al.  BAND-AiDe: A Tool for Cyber-Physical Oriented Analysis and Design of Body Area Networks and Devices , 2012, TECS.

[9]  Peter H. Feiler,et al.  Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language , 2012 .

[10]  Lian Duan,et al.  Modeling and requirements on the physical side of cyber-physical systems , 2013, 2013 2nd International Workshop on the Twin Peaks of Requirements and Architecture (TwinPeaks).

[11]  Julien Delange,et al.  Illustrating the AADL error modeling annex (v.2) using a simple safety-critical medical device , 2013 .

[12]  Jing Liu,et al.  Hybrid AADL: a sublanguage extension to AADL , 2013, Internetware.

[13]  Patrice Chalin,et al.  BLESS: Formal Specification and Verification of Behaviors for Embedded Systems with Software , 2013, NASA Formal Methods.

[14]  Tao Tang,et al.  Verifying Chinese Train Control System under a Combined Scenario by Theorem Proving , 2013, VSTTE.

[15]  Naijun Zhan,et al.  Formal Modelling, Analysis and Verification of Hybrid Systems , 2013, ICTAC Training School on Software Engineering.

[16]  Yunwei Dong,et al.  Adding Formal Meanings to AADL with Hybrid Annex , 2014, FACS.