|
|||||
|
|
| 基于ATL引擎的UML到Simulink模型转换方法研究 | |
| 引用本文： | 郭鹏,李亚晖,李明娟,韩伟.基于ATL引擎的UML到Simulink模型转换方法研究[J].航空计算技术,2015(2). |
| 作者姓名： | 郭鹏 李亚晖 李明娟 韩伟 |
| 作者单位： | 1. 中航工业西安航空计算技术研究所，陕西西安710068; 机载弹载计算机航空科技重点实验室，陕西西安710065 2. 中航工业西安航空计算技术研究所,陕西西安,710068 3. 中航工业西安航空计算技术研究所，陕西西安710068; 清华大学计算机科学系，北京100084 |
| 摘 要： | 针对UML的半形式化的表达方式缺乏精确的语义，无法验证软件设计过程中正确性的问题，展开UML设计模型到Simulink仿真模型转换方法研究。提出了一种UML状态机到Simulink／Stateflow的模型转换方法，建立UML状态机元模型、Simulink／Stateflow元模型以及状态机元模型到Stateflow元模型的映射规则。选取自动飞控软件作为案例，验证该方法的正确性。方法实现UML设计模型和Simulink仿真模型的自动转换，提高嵌入式软件开发效率，丰富并且完善模型驱动开发，也为嵌入式软件开发提供了技术支持。 |
| 关 键 词： | 模型驱动开发 模型转换 ATL UML Simulink |
Research on Model Transformation from UML to Simulink Based on ATL Engine |
|
| GUO Peng,LI Ya-hui,LI Ming-juan,HAN Wei.Research on Model Transformation from UML to Simulink Based on ATL Engine[J].Aeronautical Computer Technique,2015(2). | |
| Authors: | GUO Peng LI Ya-hui LI Ming-juan HAN Wei |
| Abstract: | |
| Keywords: | model driven development model transformation ATL UML Simulink |
| 本文献已被 万方数据 等数据库收录！ | |