Extending and recompiling AADL for CPS modeling

Zhonghao Sun, Xingshe Zhou

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

6 Scopus citations

Abstract

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.

Original languageEnglish
Title of host publicationProceedings - 2013 IEEE International Conference on Green Computing and Communications and IEEE Internet of Things and IEEE Cyber, Physical and Social Computing, GreenCom-iThings-CPSCom 2013
Pages1225-1230
Number of pages6
DOIs
StatePublished - 2013
Event2013 IEEE International Conference on Green Computing and Communications and IEEE Internet of Things and IEEE Cyber, Physical and Social Computing, GreenCom-iThings-CPSCom 2013 - Beijing, China
Duration: 20 Aug 201323 Aug 2013

Publication series

NameProceedings - 2013 IEEE International Conference on Green Computing and Communications and IEEE Internet of Things and IEEE Cyber, Physical and Social Computing, GreenCom-iThings-CPSCom 2013

Conference

Conference2013 IEEE International Conference on Green Computing and Communications and IEEE Internet of Things and IEEE Cyber, Physical and Social Computing, GreenCom-iThings-CPSCom 2013
Country/TerritoryChina
CityBeijing
Period20/08/1323/08/13

Keywords

  • AADL
  • Compiling
  • CPS
  • EMF
  • Modeling

Fingerprint

Dive into the research topics of 'Extending and recompiling AADL for CPS modeling'. Together they form a unique fingerprint.

Cite this