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

摘要：

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

关键词：模型驱动开发、模型转换、元模型、ATL、UML、Simulink

所属期刊栏目：43

分类号：TP311.5(计算技术、计算机技术)

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

在线出版日期：2016-05-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：192-198