模型驱动的安全关键系统重配置信息验证方法

摘要：

近年来，在以综合模块化航电系统（integrated modular avionics，IMA）为代表的一类安全关键应用中，确保系统重配置信息的正确性成为保证系统安全可靠运行的一个重要问题。提出了一种模型驱动架构下符合ARINC653规范的IMA系统配置信息的建模转换与验证方法。针对多个实时应用在IMA平台上以时间/空间多分区形式运行的系统特征，建立了从系统配置信息的核心元素（包括模块、分区、内存、进程、通信等）到MARTE模型元素的语义映射规则，设计了基于模型驱动架构的系统配置信息模型转换的方法，并给出了一种对模型转换构造得到的系统配置信息MARTE模型进行形式化验证的框架。最后，通过一个实例分析说明了此方法对验证重配置后系统配置信息的有效性。

关键词：系统配置信息验证、MARTE、模型驱动工程、ARINC653、综合模块化航电系统(IMA)

分类号：TP316.2(计算技术、计算机技术)

资助基金：The National Basic Research Program of China under Grant No.2014CB744904国家重点基础研究发展计划973计划;the Scientific Research Foundation for the Returned Overseas Chinese Scholars, State Education Ministry of China under Grant No.2012;the 611 Aeronautical Science Foundation of China under Grant No.2012611航空科研基金;the Science Foundation for Youth Science and Technology Innovation of Nanjing University of Aeronautics and Astronautics under Grant No. NS2014098

在线出版日期：2015-04-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共18页

页码：385-402