摘要
针对UML的半形式化的表达方式缺乏精确的语义,无法验证软件设计过程中正确性的问题,展开UML设计模型到Simulink仿真模型转换方法研究。提出了一种UML状态机到Simulink/Stateflow的模型转换方法,建立UML状态机元模型、Simulink/Stateflow元模型以及状态机元模型到Stateflow元模型的映射规则。选取自动飞控软件作为案例,验证该方法的正确性。方法实现UML设计模型和Simulink仿真模型的自动转换,提高嵌入式软件开发效率,丰富并且完善模型驱动开发,也为嵌入式软件开发提供了技术支持。
The semi- formal property of UML lacks precise semantics,making it difficult to be validated.To solve this shortcoming,this paper develops model transformation research between UML design model and Simulink simulation model,proposes a model transformation method from UML machine to Simulink /Stateflow,builds UML machine meta- model and Simulink / Stateflow meta- model,design a set of mapping rule between UML machine meta- model and Simulink / Stateflow meta- model. Last,this paper validates technique and method correctness using automatic flight control system as antitype. The method achieve automatic transformation between UML design model and Simulink simulation model,improving the efficiency of embedded software development,enriching MDD technique,and providing technique support for embedded software development.
出处
《航空计算技术》
2015年第2期129-134,共6页
Aeronautical Computing Technique
基金
航空科学基金项目资助(2013ZC31005)