基于ATL引擎的UML到Simulink模型转换方法研究

【摘要】针对UML的半形式化的表达方式缺乏精确的语义,无法验证软件设计过程中正确性的问题,展开UML设计模型到Simulink仿真模型转换方法研究。提出了一种UML状态机到Simulink/Stateflow的模型转换方法,建立UML状态机元模型、Simulink/Stateflow元模型以及状态机元模型到Stateflow元模型的映射规则。选取自动飞控软件作为案例,验证该方法的正确性。方法实现UML设计模型和Simulink仿真模型的自动转换,提高嵌入式软件开发效率,丰富并且完善模型驱动开发,也为嵌入式软件开发提供了技术支持。
【作者】郭鹏；李亚晖；李明娟；韩伟；
【机构】中航工业西安航空计算技术研究所；机载弹载计算机航空科技重点实验室；清华大学计算机科学系；
【关键词】模型驱动开发；模型转换；ATL；UML；Simulink；

【参考文献】
[1]罗雪梅.教育人力资本、健康人力资本与我国经济增长的关系研究[D].厦门大学,人口、资源与环境经济学,2014,硕士.
[2]叶军.试论语文德育的人性化建构[D].湖南师范大学,教育,2004,硕士.
[3]赵彬钰.固液界面纳米气泡界面特性的先进纳米成像研究[D].中国科学院研究生院（上海应用物理研究所）,2015.
[4]陈卫涛.动态可重构系统形式化验证工具与原型平台的设计与实现[D].东北大学,计算机软件与理论,2010,硕士.
[5]姜斌.2011年费德勒年终总决赛技战术分析[D].北京体育大学,体育教育训练学,2013,硕士.
[6]赵家舵.SF公司高速动车组运用维护管理系统研究[D].西南交通大学,工商管理（专业学位）,2012,硕士.
[7]李良.影像学检查对乳管内乳头状瘤的诊断及中医诊断价值研究[D].广州中医药大学,中西医结合临床（专业学位）,2013,硕士.
[8]叶慧君.紫外光固化MDI型聚氨酯涂料的合成与性能研究[D].华南理工大学,材料学,2014,硕士.
[9]胡光银.我国劳动合同解除制度存在的问题及完善[D].吉林大学,法律,2014,硕士.
[10]白帆.任务型教学法在初中英语口语教学中的应用研究[D].华中师范大学,学科教学,2014,硕士.
[11]李静.遥感技术在海域使用动态监测系统中的应用[D].南京师范大学,海洋地理学,2012,硕士.
[12]郭彦.A银行零售业务发展策略研究[D].山东大学,工商管理（专业学位）,2013,硕士.
[13]刘平.直肠癌手术方式及对排尿功能影响的综述[D].蚌埠医学院,外科学（专业学位）,2013,硕士.
[14]陈家坚.新型耐热炉排材质的组织和性能研究[D].华南理工大学,材料加工工程,2012,硕士.
[15]宫淑清.财经类高校学分制改革研究[D].山西财经大学,教育经济与管理,2014,硕士.
[16]马翠萍.吖啶橙-氧化石墨烯荧光猝灭法测定多巴胺[J].分析测试学报,2011,03:340-343.
[17]陈健.国内高校教学楼组群的两种典型模式比较研究[D].浙江大学,建筑设计及理论,2004,硕士.
[18]陈惠民.大型火电站选购给水泵应考虑的问题[J].上海电力.1997(02)
[19]张威.首乌延寿丹对兔实验性骨关节炎治疗作用的研究[D].辽宁医学院,中西医结合临床,2012,硕士.
[20]刘汝梅.论我国刑事和解制度的构建[D].山东大学,法律（专业学位）,2012,硕士.
[21]曹晓刚,闻卉,夏火松.价格波动下的生产-库存控制研究[J].控制与决策,2010,05:730-734+739.
[22]胡倩.明代宗室的文化成就研究[D].湖南师范大学,历史文献学,2013,硕士.
[23]赵琳.保定《莲池周刊》2012-2013美食报道研究[D].河北大学,新闻学,2014,硕士.
[24]谢高地,肖玉,鲁春霞.生态系统服务研究:进展、局限和基本范式[J].植物生态学报,2006,02:191-199.
[25]李健莉.诚斋诗及诗论研究[D].华东师范大学,中国古代文学,2002,硕士.
[26]陈婷婷.吐鲁番木卡姆“托克逊版”音乐文化调查研究[D].中央音乐学院,木卡姆研究,2012,硕士.
[27]杨乐.优秀羽毛球男单运动员过渡球技战术运用特征与发展趋势的研究[D].湖南师范大学,体育教育训练学,2014,硕士.
[28]孙拥康.森林景观格局与环境关系的尺度效应研究[D].中南林业科技大学,森林经理学,2013,硕士.
[29]窦振京.论贸易救济中的“双反”措施[D].首都经济贸易大学,经济法学,2014,硕士.
[30]刘宪,吉颖风,李博强,路亚洲.锤片式饲料粉碎机内碎物料分离速度的分析[J].农业机械学报.2004(01)
[31]辛雅静.亲子共读现状调查研究[D].山西师范大学,教育学原理,2014,硕士.
[32]张蕊.血清伯氏疏螺旋体IgM抗体阳性及弱阳性的葡萄膜炎病例的临床观察[D].华中科技大学,眼科学,2013,硕士.
[33]黄庆峰.我的精神损害赔偿观[D].中国政法大学,民商法学,2003,硕士.
[34]陈洁.体育公共服务视域下重庆市大学城高校体育场馆资源社会化研究[D].西南大学,体育教育训练学,2014,硕士.
[35]张小雷.hcp缓冲层和Fe掺杂对ZnO薄膜微结构和光学性能的影响[D].西北师范大学,光学,2013,硕士.
[36]王艳磊.外层气体影响GPCA-TIG焊电弧和焊缝性能的研究[D].兰州理工大学,材料加工工程,2014,硕士.
[37]陈晓娜.汽轮机末级叶栅湿蒸汽非平衡凝结流动数值研究[D].哈尔滨工业大学,动力机械及工程,2013,硕士.
[38]孟岗.湖北罗田胜利镇屯兵堡街研究[D].武汉理工大学,2005.
[39]徐承伟,吕勇哉.动态系统模糊模型的辨识及自学习[J].自动化学报,1988,02:135-140.
[40]管永星.304不锈钢软钎焊用钎剂研究[D].南京航空航天大学,材料加工工程,2013,硕士.
[41]林铲.论我国当前食品安全监管缺陷及其法律完善[D].华侨大学,法律,2013,硕士.
[42]林哲.大学校园环境景观设计规划与研究[D].西北农林科技大学,规划设计,2012,硕士.
[43]李树宏.新型数控机床数控转台的动静态特性分析与结构优化[D].哈尔滨工业大学,机械电子工程,2013,硕士.
[44]丁斌.物流企业与制造企业协同运作的绩效评价研究[D].杭州电子科技大学,管理科学与工程,2014,硕士.
[45]张瑞芳.咯利普兰对佐剂关节炎大鼠肺组织核因子κB的影响[D].河北医科大学,内科学（专业学位）,2014,硕士.
[46]郑宏宾.饭店多元化战略与绩效研究[D].浙江大学,旅游管理,2003,硕士.
[47]刘洋.基于GIS的矿井水文地质信息管理系统及在芦岭煤矿的应用[D].合肥工业大学,地质工程（专业学位）,2014,硕士.
[48]沈记全,张行文.基于Multi-Agent的Web文本挖掘系统[J].福建电脑,2005,11:6-7.
[49]甄伟会.CEO在我国公司治理结构中的融入[D].黑龙江大学,法律,2013,硕士.
[50]范斌.基于Web服务的分布式数据挖掘系统研究[D].武汉理工大学,计算机应用技术,2004,硕士.