Computer Science ›› 2016, Vol. 43 ›› Issue (2): 192-198.doi: 10.11896/j.issn.1002-137X.2016.02.042

Previous Articles     Next Articles

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: 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

[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

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!