《表1 Modelica模型与AADL模型的对应关系》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

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

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

Modelica主要用来对物理系统进行建模，而物理系统相当于计算机系统中的硬件设备，因此将Modelica中的类转换为AADL中的设备（device）类型声明，实例化后的对象转化为设备对应的实现；在Modelica中数据信息的交互主要是通过connector来实现，而AADL中的feature可以用来描述组件之间的数据和事件的交互端口，同时能够刻画数据/事件的传输方向，这两者可以进行相互转换；Modelica中的变量可以通过AADL中的参数（parameter）表示；Modelica中的函数（function）可以用AADL中的子程序（subprogram）来实现，同时函数中的参数可以用AADL中的参数进行标识；Modelica自身支持的多种不同的数据类型，在AADL中可以使用datatype对各种不同的数据类型进行定义，能够满足相互转化的需求。而Modelica中常用的建模元素常量和方程在AADL中没有相对应的对象，因此通过对AADL的属性集进行扩展引入新的属性和属性类型，使得AADL和Modelica能够相互转换。Modelica模型与AADL模型的对应关系如表1所示。