中文会议： 2010中国制导、导航与控制学术会议论文集

会议日期： 2010-10-01

会议地点： 上海

主办单位： 中国航空学会

作　　者： ; ; ;

机构地区： 桂林电子科技大学

出　　处： 《2010中国制导、导航与控制学术会议》

摘　　要： 通过定义和执行转换规则, 模型转换可以用于不同领域建模语言之间从源模型到目标模型的转换。在模型驱动工具GME的建模环境下，建立基于异构系统建模仿真工具PTOLEMY Ⅱ的CME模型和基于混成系统的REACHLAB模型，利用CME和REACHLAB的元模型对模型转化规则进行定义，并利用GREAT工具自动产生基于图的模型转化器，通过执行转化规则，模型转化器将CME模型转换为REACHLAB模型。通过基于图的模型转化构建成的工具链能实现针对飞行控制系统设计中利用CME进 行异构系统建模和自动生成的模型标记语言MOML于PTOLEMY Ⅱ进行仿真，并且使用转换后的模型于REACHLAB进行形式化分析。

领　　域： [自动化与计算机技术] [自动化与计算机技术] [自动化与计算机技术]