文件名称：Model Transformation for Cyber Physical Systems
文件大小：195KB
文件格式：PDF
更新时间：2018-07-13 04:35:38
cps, AADL
Cyber Physical Systems(CPS) are composed with discrete and continuous dynamics. Traditional modeling techniques can’t implement the requirement of modeling CPS. One way of solving this is to model CPS parts withdifferent techniques and translate them into a uniform model. The approach of integrating Modelica with AADL is a suitable choice. AADL is a modeling language aimed at modeling the system architecture and check the consistency in discrete time. Modelica has emerged as a standard for modeling the dynamics of cyber physical system and verify the discrete events with differential algebraic equation systems. Combining the descriptive feature of AADL models and the equation-based power of Modelica forms a more powerful way of Modeling CPS. The model transformation from AADL to Modelica provides an efficient way to unify the CPS model that helps to verify the properties of the whole model.