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

• 作者: 刘雪 石娇洁 程桢 胡军 马金晶 黄志球
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 系统配置信息验证 MARTE 模型驱动工程 ARINC653 综合模块化航电系统(IMA)
• 年，卷（期）: 2015,（4）
• 所属期刊栏目: 学术研究
• 页码范围: 385-402
• 页数: 18页
• 分类号: TP316.2
• 字数: 9732字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.1408014

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄志球	南京航空航天大学计算机科学与技术学院	183	1755	20.0	33.0
2	胡军	南京航空航天大学计算机科学与技术学院	41	358	10.0	18.0
6	石娇洁	南京航空航天大学计算机科学与技术学院	5	21	3.0	4.0
7	程桢	南京航空航天大学计算机科学与技术学院	5	21	3.0	4.0
8	马金晶	南京航空航天大学计算机科学与技术学院	8	31	4.0	5.0
9	刘雪	南京航空航天大学计算机科学与技术学院	8	21	3.0	4.0