计算机科学 ›› 2016, Vol. 43 ›› Issue (2): 192-198.doi: 10.11896/j.issn.1002-137X.2016.02.042
郭鹏,李亚晖,孙磊,蔡晓乐
GUO Peng, LI Ya-hui, SUN Lei and CAI Xiao-le
摘要: 模型驱动开发及其关键技术模型转换是近年来软件工程领域研究的热点。在嵌入式软件开发早期,不仅需要对设计模型进行静态分析,更需要对其进行动态仿真,验证系统设计的正确性。如何把设计模型和仿真模型无缝连接起来是工业部门亟待解决的问题。深入调研了UML和Simulink模型转换研究现状,详细分析了模型驱动开发中模型转换的相关技术,提出了一种UML到Simulink的模型转换方法,设计了UML元模型、Simulink元模型,撰写了UML元模型到Simulink元模型的映射规则。最后选取自动驾驶仪系统的飞行控制软件作为案例,验证了该方法的正确性。该方法能实现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,Trngren 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! |
|