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.