AADL+: a simulation-based methodology for cyber-physical systems

AADL (architecture analysis and design language) concentrates on the modeling and analysis of application system architectures. It is quite popular for its simple syntax, powerful functionality and extensibility and has been widely applied in embedded systems for its advantage. However, it is not enough for AADL to model cyber-physical systems (CPS) mainly because it cannot be used to model the continuous dynamic behaviors. This paper proposes an approach to construct a new sublanguage of AADL called AADL+, to facilitate the modeling of not only the discrete and continuous behavior of CPS, but also interaction between cyber components and physical components. The syntax and semantics of the sublanguage are provided to describe the behaviors of the systems. What’s more, we develop a plug-in to OSATE (open-source AADL tool environment) for the modeling of CPS. And the plug-in supports syntax checking and simulation of the system model through linking with modelica. Finally, the AADL+ annex is successfully applied to model a lunar rover control system.

[1]  Kul B. Bhasin,et al.  Applying model based systems engineering to NASA's space communications networks , 2013, 2013 IEEE International Systems Conference (SysCon).

[2]  Nuno Pereira,et al.  Cyber-physical systems clouds: A survey , 2016, Comput. Networks.

[3]  Tao Tang,et al.  Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL , 2015, Science China Information Sciences.

[4]  John S. Baras,et al.  Hardware Software Co-design for Automotive CPS using Architecture Analysis and Design Language , 2016, ArXiv.

[5]  David C. Smith,et al.  Channel Modeling for Wireless Body Area Networks , 2015 .

[6]  Jafar Habibi,et al.  A Survey of Syntax and Semantics Frameworks of Modeling Languages , 2009, 2009 2nd International Conference on Computer Science and its Applications.

[7]  Steve Vestal,et al.  The SAE Architecture Analysis & Design Language (AADL) a standard for engineering performance critical systems , 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.

[8]  Steffen Becker,et al.  A tool suite for the model-driven software engineering of cyber-physical systems , 2014, FSE 2014.

[9]  Yunwei Dong,et al.  Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modeling , 2014 .

[10]  Christiaan J. J. Paredis,et al.  System-level model integration of design and simulation for mechatronic systems based on SysML , 2011 .

[11]  Lichen Zhang.  Aspect-Oriented Modeling of Railway Cyber Physical Systems Based on the Extension of AADL , 2013, 2013 IEEE 10th International Conference on High Performance Computing and Communications & 2013 IEEE International Conference on Embedded and Ubiquitous Computing.

[12]  Won-Tae Kim,et al.  Modeling autonomous military robots using hybrid system framework , 2010, 2010 International Conference on Information and Communication Technology Convergence (ICTC).

[13]  Laurent Nana,et al.  Cheddar: a flexible real time scheduling framework , 2004, SIGAda.

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

[15]  Dianfu Ma,et al.  Towards a formal semantics for the AADL behavior annex , 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

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

[17]  Xingshe Zhou,et al.  Extending and Recompiling AADL for CPS Modeling , 2013, 2013 IEEE International Conference on Green Computing and Communications and IEEE Internet of Things and IEEE Cyber, Physical and Social Computing.

[18]  Rajeev Alur,et al.  Formal verification of hybrid systems , 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).

[19]  Bran Selic,et al.  Modeling Cyber-Physical Systems , 2014 .

[20]  S. Vestal,et al.  MetaH support for real-time multi-processor avionics , 1997, Proceedings of 5th International Workshop on Parallel and Distributed Real-Time Systems and 3rd Workshop on Object-Oriented Real-Time Systems.

[21]  Edward A. Lee,et al.  Introduction to Embedded Systems - A Cyber-Physical Systems Approach , 2013 .

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

[23]  Emina Torlak,et al.  Applications and extensions of Alloy: past, present and future , 2013, Mathematical Structures in Computer Science.

[24]  Ajinkya Bhave,et al.  An Architectural Approach to the Design and Analysis of Cyber-Physical Systems , 2009, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[25]  Insup Lee,et al.  Architecture-Centric Software Development for Cyber-Physical Systems , 2014 .

[26]  Howard Barringer,et al.  A unifying specification logic for cyber-physical systems , 2009, 2009 17th Mediterranean Conference on Control and Automation.

[27]  Andrea Domenici,et al.  A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems , 2018, IEEE Transactions on Software Engineering.

[28]  Vijay Kumar,et al.  Modular Specification of Hybrid Systems in CHARON , 2000, HSCC.

[29]  S. Aachen.  Stochastic Differential Equations An Introduction With Applications , 2016 .

[30]  Eldad Palachi,et al.  Simulation of cyber physical models using SysML and numerical solvers , 2013, 2013 IEEE International Systems Conference (SysCon).

[31]  Sauro Longhi,et al.  An integrated simulation module for wireless cyber-physical system , 2015, 2015 IEEE 15th International Conference on Environment and Electrical Engineering (EEEIC).

[32]  Mourad Debbabi,et al.  Unified Modeling Language , 2010 .

[33]  Bran Selic,et al.  Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling , 2011, ECMFA.

[34]  Edward A. Lee.  The Past, Present and Future of Cyber-Physical Systems: A Focus on Models , 2015, Sensors.