基于ATL引擎的UML到Simulink模型转换方法研究

• 作者: 李亚晖 李明娟 郭鹏 韩伟
• 来源期刊: 航空计算技术
• 关键词: 模型驱动开发 模型转换 ATL UML Simulink
• 年，卷（期）: 2015,（2）
• 所属期刊栏目: 计 算 机 应 用
• 页码范围: 129-134
• 页数: 6页
• 分类号: TP311.5
• 语种: 中文

摘要

针对UML的半形式化的表达方式缺乏精确的语义，无法验证软件设计过程中正确性的问题，展开UML设计模型到Simulink仿真模型转换方法研究。提出了一种UML状态机到Simulink／Stateflow的模型转换方法，建立UML状态机元模型、Simulink／Stateflow元模型以及状态机元模型到Stateflow元模型的映射规则。选取自动飞控软件作为案例，验证该方法的正确性。方法实现UML设计模型和Simulink仿真模型的自动转换，提高嵌入式软件开发效率，丰富并且完善模型驱动开发，也为嵌入式软件开发提供了技术支持。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李亚晖		12	25	3.0	4.0
3	郭鹏		16	57	5.0	7.0
9	李明娟		2	2	1.0	1.0
10	韩伟		4	6	1.0	2.0