面向信息物理融合系统的异构模型转换方法

被引：4

作者：

王宇英

周兴社

梁东方

机构：

[1] 西北工业大学计算机学院

来源：

西安电子科技大学学报 | 2015年 / 42卷 / 02期

关键词：

嵌入式系统; 计算物理融合; 模型转换; 仿真建模; 统一建模语言;

D O I：

暂无

中图分类号：

TP202 [设计、性能分析与综合]; TP311.52 [];

学科分类号：

摘要：

作为一种深度网络化嵌入式系统,信息物理融合系统(Cyber-Physical System,CPS)具有联合动态性、系统组成异质性、计算过程与物理过程的多尺度融合性等典型特征,使得基于单一模型的传统嵌入式系统模型构建和仿真验证方法面临新的挑战.在CPS系统设计开发与仿真验证时,往往需要组合使用多种设计模型或建模语言以描述信息域与物理域实体特点.针对CPS计算物理深度融合的问题,在分析基于计算模型和物理模型进行CPS系统协同开发需求和可行性的基础上,以统一建模语言(Unified Modeling Language,UML)模型和仿真(Simulink)模型分别作为计算过程和物理过程典型建模方式,研究了连续时间和离散事件模型间的结构映射和行为映射,提出了一种Simulink模型与UML类图和活动图之间的转换方法,并通过ATL(ATLAS Transformation Language)转换规则实现了技术验证.

引用

页码：108 / 115+151 +151

页数：9

共 4 条

[1] 信息-物理融合系统若干关键问题综述 [J].

李仁发 ;

谢勇 ;

李蕊 ;

李浪 .

计算机研究与发展 , 2012, (06) :1149-1161

[2] 基于MDE的异构模型转换:从MARTE模型到FIACRE模型 [J].

张天 ;

Frdric JOUAULT ;

Christian ATTIOGB ;

Jean BZIVIN ;

李宣东 .

软件学报, 2009, 20 (02) :214-233

[3] 模型转换中特性保持的描述与验证 [J].

刘辉 ;

麻志毅 ;

邵维忠 .

软件学报, 2007, (10) :2369-2379

[4]

Model Based Control System Design Using SysML, Simulink, and Computer Algebra System[J] . Takashi Sakairi,Eldad Palachi,Chaim Cohen,Yoichi Hatsutori,Junya Shimizu,Hisashi Miyashita,Derong Liu. Journal of Control Science and Engineering . 2013

← 1 →