Multi-dimensional Analysis and Design Method for Aerospace Cyber-physical Systems
Multi-dimensional Analysis and Design Method for Aerospace Cyber-physical Systems
复制标题
DOI:
10.1109/dcabes.2013.42
复制
发表时间:
2013-09
期刊:
影响因子:
--
通讯作者:
Lichen Zhang
中科院分区:
文献类型:
--
作者:
Lichen Zhang
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.