Extending and Recompiling AADL for CPS Modeling

This paper presents an extension of AADL to model CPS, provides a method to compile the new modeling language called CPSADL. Physical entity that contains "context" component and "controlled" component is added to model physical processes and their interactions, all physical components are combined with continuous ports. Interaction entity that includes "sensor" component and "actuator" component is added to model the interaction between discrete computing entity and continuous physical entity. The behaviors of all kinds of components are represented in their annexes. A method based EMF and ANTLR is provided to translate CPSADL into XML which could be easily used by other tools. The application of CPSADL is illustrated through an autonomous walking system of lunar vehicle.

[1]  Peter H. Feiler,et al.  The Architecture Analysis & Design Language (AADL): An Introduction , 2006 .

[2]  Ajinkya Bhave,et al.  Augmenting Software Architectures with Physical Components , 2010 .

[3]  Gabor Karsai,et al.  Composing Domain-Specific Design Environments , 2001, Computer.

[4]  Günter Hommel,et al.  TimeNET: A Toolkit for Evaluating Non-Markovian Stochastic Petri Nets , 1995, Perform. Evaluation.

[5]  Michael Tiller,et al.  Introduction to Physical Modeling with Modelica , 2001 .

[6]  Christiaan J. J. Paredis,et al.  Integrating Models and Simulations of Continuous Dynamics Into SysML , 2012, J. Comput. Inf. Sci. Eng..

[7]  Gabor Karsai,et al.  An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software , 2009, 2009 IEEE/IFIP International Symposium on Rapid System Prototyping.

[8]  Frank Budinsky,et al.  EMF: Eclipse Modeling Framework 2.0 , 2009 .

[9]  Ajinkya Bhave,et al.  Multi-domain Modeling of Cyber-Physical Systems Using Architectural Views , 2010 .

[10]  Edward A. Lee.  Computing Foundations and Practice for Cyber- Physical Systems: A Preliminary Report , 2007 .

[11]  Edward A. Lee,et al.  Ptolemy II, Heterogeneous Concurrent Modeling and Design in JAVA , 2001 .

[12]  Terence Parr,et al.  ANTLRWorks: an ANTLR grammar development environment , 2008, Softw. Pract. Exp..

[13]  Thomas A. Henzinger,et al.  Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.

[14]  Jianlin Shi,et al.  Combined usage of UML and Simulink in the Design of Embedded Systems : Investigating Scenarios and Structural and Behavioural Mapping , 2007 .