Multi-Dimensional Analysis and Design Method for Aerospace Cyber-Physical Systems

摘要：

　　In this paper,we propose a multi-dimensional specification and modeling method of aerospace cyber-physical system.This method is proposed according to seven views of systems so that their physical and computational parts of aerospace cyber-physical system are modeled correctly.The physical world analysis is considered to be one fundamental stage of our proposed method.The proposed method is illustrated by the modeling of the lunar rover system,which involves a broad range of mechanical,electronic,control,communications,computing,mechanics,and physics.In this paper,we specify and model the lunar rover system by extending Modelica and AADL.

关键词： CPS,LunarRover Modelica AADL Spatial-Temporal Features Dynamic Continuous Features

作者: Lichen Zhang

作者单位: Faculty of Computer Science and Technology Guangdong University of Technology Guangzhou 510090,China

会议类型: 国际会议

会议名称: The 12th International Symposium on Distributed Computing and Applications to Business,Engineering and Science(DCABES 2013)(第十二届分布式计算及其应用国际学术研讨会)

会议地点: 英国伦敦

会议语种:英文

页码: 197-201

在线出版日期: 2013-09-02（万方平台首次上网日期，不代表论文的发表时间）