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

作     者：胡军 马金晶 刘雪 程桢 石娇洁 黄志球 HU Jun;MA Jinjing;LIU Xue;CHENG Zhen;SHI Jiaojie;HUANG Zhiqiu

作者机构：南京航空航天大学计算机科学与技术学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093 

基　　金：国家重点基础研究发展计划(973计划)Grant No.2014CB744904 教育部留学回国人员科研启动基金Grant No.2012 611航空科研基金Grant No.2012 南京航空航天大学青年科技创新基金Grant No.NS2014098 

出 版 物：《计算机科学与探索》 (Journal of Frontiers of Computer Science and Technology)

年 卷 期：2015年第9卷第4期

页      码：385-402页

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

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

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3778/j.issn.1673-9418.1408014

馆 藏 号：203987355...