带有数据约束的信息物理融合系统的建模方法  

A Modeling Method of Cyber-physical System with Data Constraints

作　　者：卜星晨 曹子宁[1] 胡名光 BU Xing-chen;CAO Zi-ning;HU Ming-guang(School of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 211106,China)

机构地区：[1]南京航空航天大学计算机科学与技术学院,江苏南京211106

出　　处：《计算机技术与发展》2020年第10期79-85,共7页Computer Technology and Development

基　　金：国家航空科学基金(20185152035,20150652008);中央高校基本科研业务费(NJ2019010)。

摘　　要：信息物理融合系统由具有连续性的物理系统和具有离散性的信息系统组合而成,是一种复杂的混成系统。针对现有的建模方法不能够直接对信息物理融合系统进行建模,采用基于模型的体系结构建模方法,对信息物理融合系统的不同部分采用不同的建模方法进行建模,将不同的建模语言进行相应的转换整合成一个完整的系统。AADL建模语言提供了较为全面的图表和结构,适合用来对系统的体系结构进行建模,针对于其无法描述概率迁移的问题,扩展了概率行为附件。作为AADL的补充,Modelica语言可以利用微分代数方程对物理系统的连续动态性进行建模。根据AADL与Modelica的映射规则,对AADL的属性集进行相应的扩展,将Modelica建立的模型转换为AADL模型,使得信息系统和物理系统融合。在Modelica与AADL建模的基础上,采用Z规范对信息物理融合系统交互过程中产生的大量数据进行形式化的约束。The cyber-physical system(CPS)is a complex hybrid system composed of continuous physical system and discrete information system.Existing modeling methods are not able to directly model the CPS.With the model-based architecture modeling method,different modeling methods are used to model different parts of the CPS,and then different models modeled by different modeling languages are transformed into a unified system model.The AADL modeling language provides a comprehensive diagram and structure that is suitable for modeling the architecture of the system and the probabilistic behavioral annex is extended to address the problem that the AADL cannot describe probabilistic transition.As a complement to AADL,the Modelica language can model the continuous dynamics of a physical system using differential algebraic equations.To merge the AADL model and Modelica model,the attribute set of AADL is expended to convert the model established by Modelica into AADL according to the mapping rules of AADL and Modelica.Based on the combination of Modelica and AADL,the Z specification is used to formally constrain the large amount of data generated during the interaction of CPS.

关 键 词：信息物理融合系统 MODELICA AADL Z规范 概率离散性 连续行为特性 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]