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

UML Model to Simulink Model Transformation Method in Design of Embedded Software

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

Model driven development and its key technique model transformation are research hotspot of software engineering in recent years.At the early stage of embedded software development,design model not only requires static analysis,but also needs dynamic simulation,verifying correctness of system design.How to transform design model to simulation model is a serious problem to industrial department.This paper surveyed model transformation research status,analysed related model transformation techniques of model drive development,proposed a model transformation method from UML to Simulink,built UML meta-model and Simulink meta-model,designed a set of mapping rule between UML meta-model and Simulink meta-model.Finally,this paper validated technique and method correctness using automatic flight control system as antitype.The method makes two isomerism models homogeneous,improving the efficiency of embedded software development,enriching MDD technique,and providing technique support for embedded software development,such as automobile control system,express control system,and avionics system.