面向嵌入式软件开发的UML到Simulink模型转换方法

作     者：郭鹏 李亚晖 孙磊 蔡晓乐 GUO Peng;LI Ya-hui;SUN Lei;CAI Xiao-le

作者机构：中航工业西安航空计算技术研究所西安710065 机载弹载计算机航空科技重点实验室西安710065 北京航空航天大学计算机学院北京100191 

基　　金：航空科学基金项目(2013ZC31005)资助 

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2016年第43卷第2期

页      码：192-198页

摘      要：模型驱动开发及其关键技术模型转换是近年来软件工程领域研究的热点。在嵌入式软件开发早期,不仅需要对设计模型进行静态分析,更需要对其进行动态仿真,验证系统设计的正确性。如何把设计模型和仿真模型无缝连接起来是工业部门亟待解决的问题。深入调研了UML和Simulink模型转换研究现状,详细分析了模型驱动开发中模型转换的相关技术,提出了一种UML到Simulink的模型转换方法,设计了UML元模型、Simulink元模型,撰写了UML元模型到Simulink元模型的映射规则。最后选取自动驾驶仪系统的飞行控制软件作为案例,验证了该方法的正确性。该方法能实现UML和Simulink两种异构模型同构化,提高嵌入式软件开发效率,丰富并且完善模型驱动开发,也为飞行控制系统、高速铁路控制、机载航电系统等嵌入式软件开发提供了技术支持。

主 题 词：模型驱动开发 模型转换 元模型 ATL UML Simulink 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.11896/j.issn.1002-137X.2016.2.042

馆 藏 号：203459428...