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