面向 CPS 的混成 AADL 建模与模型转换-《计算机技术与发展》

文章信息/Info

Title:: Hybrid AADL Modeling and Model Transformation for Cyber Physical System

Author(s):: CAO Xue-yue; CAO Zi-ning; BU Xing-chen; School of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 211106,China

Keywords:: combinatorial modeling; process algebra; cyber-physical system; AADL; model transformation

摘要:: 信息物理融合系统(CPS)是将物理过程和计算过程紧密结合的混成系统,是由多个异构的组件通过通信设施联系起来。组合式建模通过对信息物理融合系统组件分别建模,再使用组合机制将组件整合成一个复杂的系统。进程代数经常用于通信系统建模,能够描述进程间的并发关系,但是缺乏对连续变化和随机行为的描述能力。文中在经典进程理论上扩展并提出 CPS 建模语言 HPCCS,同时在模型中使用谓词公式来描述数据间的约束关系。 AADL 是目前广泛使用的建模语言,但是缺少连续行为的建模能力,文中结合 HPCCS 扩展 AADL 提出 CPS 系统建模机制 HPCCS-AADL。为了对半形式化的 HPCCS-AADL 进行形式化验证,给出了混成 AADL 到 HPCCS 的转换规则。最后通过飞行控制系统的例子说明提出的混成 AADL 建模能力足够描述 CPS 系统,并且通过模型转换可以转换到形式化的 HPCCS。

Abstract:: Cyber-physical system (CPS) is a hybrid system that closely combines physical process and computational process. It is connected by multiple heterogeneous components through communication facilities. Combinatorial modeling is to model the components of CPS separately,and then to integrate the components into a complex system by using composition mechanism. Process algebra is often used in communication system modeling,which can describe the concurrent relations between processes,but lacks the ability to describe continuous changes and random behaviors. We extend the classical process theory and propose the CPS modeling language HPCCS,and use the predicate formula in the model to describe the constraint relation between the data. AADL is a widely used modeling language, but it lacks the ability to model continuous behavior. Therefore,we use HPCCS to extend AADL and propose HPCCS-AADL as the modeling mechanism of CPS system. In order to verify the semi-formal HPCCS-AADL,the conversion rule of hybrid-AADL to HPCCS is given. Finally,an example of flight control system shows that the proposed hybrid AADL modeling capability is sufficient to describe the CPS system and can be converted to formal HPCCS by model conversion.