Extending and recompiling AADL for CPS modeling

Zhonghao Sun, Xingshe Zhou

科研成果: 书/报告/会议事项章节会议稿件同行评审

6 引用 (Scopus)

摘要

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.

源语言英语
主期刊名Proceedings - 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
1225-1230
页数6
DOI
出版状态已出版 - 2013
活动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 - Beijing, 中国
期限: 20 8月 201323 8月 2013

出版系列

姓名Proceedings - 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

会议

会议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
国家/地区中国
Beijing
时期20/08/1323/08/13

指纹

探究 'Extending and recompiling AADL for CPS modeling' 的科研主题。它们共同构成独一无二的指纹。

引用此