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

doi:10.11896/j.issn.1002-137X.2016.02.042

计算机科学 ›› 2016, Vol. 43 ›› Issue (2): 192-198.doi: 10.11896/j.issn.1002-137X.2016.02.042

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

郭鹏,李亚晖,孙磊,蔡晓乐

中航工业西安航空计算技术研究所西安710065;机载弹载计算机航空科技重点实验室西安710065,中航工业西安航空计算技术研究所西安710065;机载弹载计算机航空科技重点实验室西安710065,北京航空航天大学计算机学院北京100191,中航工业西安航空计算技术研究所西安710065

出版日期:2018-12-01 发布日期:2018-12-01
基金资助:
本文受航空科学基金项目(2013ZC31005)资助

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

GUO Peng, LI Ya-hui, SUN Lei and CAI Xiao-le

Online:2018-12-01 Published:2018-12-01

摘要/Abstract

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

关键词: 模型驱动开发,模型转换,元模型,ATL,UML,Simulink

Abstract: 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 bet-ween 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.

Key words: Model driven development,Model transformation,Meta-model,ATL,UML,Simulink

郭鹏,李亚晖,孙磊,蔡晓乐. 面向嵌入式软件开发的UML到Simulink模型转换方法[J]. 计算机科学, 2016, 43(2): 192-198. https://doi.org/10.11896/j.issn.1002-137X.2016.02.042

GUO Peng, LI Ya-hui, SUN Lei and CAI Xiao-le. UML Model to Simulink Model Transformation Method in Design of Embedded Software[J]. Computer Science, 2016, 43(2): 192-198. https://doi.org/10.11896/j.issn.1002-137X.2016.02.042

参考文献

[1] Object Management Group (OMG).MDA guide version1.0.1[EB/OL].(2003-06-01)[2014-07-11].New York:Object Mana-gement Group.http://www.omg.org/cgi-bin/doc?omg/03-06-01.pdf.
[2] Qi Tie-lin.Research and Implementation on Model Transformation Method in MDA Model Transformation Platform[D].Beijing:Beijing University of Technology,2010(in Chinese) 戚铁林.MDA模型转换平台中模型转换方法的研究与实现[D].北京:北京工业大学,2010
[3] Larman C.UML和模式应用[M].李洋,译.北京:机械工业出版社,2013
[4] 李颖.Simulink动态系统建模与仿真[M].西安:西安电子科技大学出版社,2009
[5] Vanderperren Y,Dehaene W.From UML/SysML to Matlab/Simulink:Current State and Future Perspectives[C]∥Procee-dings of the conference on Design,automation and test in Europe.Munich,Germany,2006
[6] Shi J,Trngren M,Servat D,et al.Combined Usage of UML and Simulink in the Design of Embedded Systems:Investigating Scenarios and Structural and Behavioural Mapping[C]∥The 4th workshop of Objectoriented Modeling of Embedded Real-time Systems.Paderborn,Germany,2007
[7] Kamiyama T,Soeda T,Yoo M.A Simulink to UML Transformation Tool for Embedded Control Software Design[J].International Journal of Modeling and Optimization,2012,2(3):197-201
[8] Liu Xing-hua,Cao Yun-feng,Wang Biao,et al.Flight ControlSystem Conceptual Prototype Design Based on SysMl and Simulink[J].Journal of University of Electronic Science and Technology of China,2011,40(6):888-891(in Chinese) 刘兴华,曹云峰,王彪,等.基于SysML与Simulink的飞控系统概念样机设计[J].电子科技大学学报,2011,40(6):888-891
[9] The Eclipse Foundation.ATLAS Transformation Language[EB/OL].(2003-06-07) [2014-07-11].http://wiki.eclipse.org/ATL/Tutorials
[10] The Eclipse Foundation.The Eclipse Modeling Framework Overview [EB/OL].(2011-12-03) [2014-07-11].http://www.eclipse.org/emf.
[11] ATLAS group LINA & INRIA Nantes.ATLAS Transformation Language(ATL) Home Page[EB/OL].(2011-12-03)[2014-07-11].http://www.eclipse.org/atl/documentation/old/ATL_User_Manual[v0.7].pdf
[12] Jounult F,Bezivin J.KM3:A DSL for metamodel specification[M]∥Gorrieri R,Wehrheim H,eds.Proc.of the 8th IFIP Int’l conf.on Formal Methods for Open Object-Based Distributed System.Berlin:Springer-Verlag,2006:171-185
[13] Jouault F,Allilaire F,Bezivina J,et al.ATL:A model transformation tool[J].Science of Computer Programming,2008,72(2):21-29
[14] Object Management Group (OMG).UML2.0 InfrastruetureSpecification[EB/OL].(2009-04-01) [2014-07-11].New York:Object Management Group.http:www.omg.org.does/ptc/03-09-15.pdf
[15] Zhang Tian,Jouault F,Attiogbe C,et al.MDE-Based ModeTransformation:From MARTE Model to FIACRE Model[J].Journal of Software,2009,20(2):214-233(in Chinese) 张天,Jouault F,Attiogbe C,等.基于MDE的异构模型转换:从 MARTE模型到 FIACRE 模型[J].软件学报,2009,20(2):214-233
[16] Han Zhen,Zhao Quan-xiang.Logic Modeling and Application of Under Water Control System[J].Automation Application,2011,11(3):23-27(in Chinese) 韩振,赵全香.水下控制系统逻辑建模与应用[J].自动化应用,2011,11(3):23-27
[17] Gao Jin-yuan,Jiao Zong-xia,Zhang Ping.The Plane Telex Control System Active Control Technology[M].Beijing:Beihang University Press,2005:34-65(in Chinese) 高金源,焦宗夏,张平.飞机电传操纵系统主动控制技术[M].北京:北京航空航天大学出版社,2005:34-65
[18] Wang Yong,Liang De-fang.Civilian Aircraft Fly-By-Wire Flight Control System[J].Aeronautic Standardization & Quality,2008,227(5):24-28(in Chinese) 王永,梁德芳.民用飞机电传飞行控制系统初探[J].航空标准化与质量,2008,227(5):24-28

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

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

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

PDF (PC)

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

Metrics

本文评价

推荐阅读 0