| 模型驱动的安全关键系统重配置信息验证方法 |
| |
| 引用本文： | 胡军,马金晶,刘雪,程桢,石娇洁,黄志球.模型驱动的安全关键系统重配置信息验证方法[J].计算机科学与探索,2015(4). |
| |
| 作者姓名： | 胡军 马金晶 刘雪 程桢 石娇洁 黄志球 |
| |
| 作者单位： | 1. 南京航空航天大学 计算机科学与技术学院，南京 210016; 南京大学 计算机软件新技术国家重点实验室，南京 210093
2. 南京航空航天大学 计算机科学与技术学院,南京,210016 |
| |
| 基金项目： | The National Basic Research Program of China under Grant No.2014CB744904(国家重点基础研究发展计划，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.2012，the Science Foundation for Youth Science and Technology Innovation of Nanjing University of Aeronautics and Astronautics under Grant No. NS2014098 |
| |
| 摘 要： | 近年来，在以综合模块化航电系统（integrated modular avionics，IMA）为代表的一类安全关键应用中，确保系统重配置信息的正确性成为保证系统安全可靠运行的一个重要问题。提出了一种模型驱动架构下符合ARINC653规范的IMA系统配置信息的建模转换与验证方法。针对多个实时应用在IMA平台上以时间/空间多分区形式运行的系统特征，建立了从系统配置信息的核心元素（包括模块、分区、内存、进程、通信等）到MARTE模型元素的语义映射规则，设计了基于模型驱动架构的系统配置信息模型转换的方法，并给出了一种对模型转换构造得到的系统配置信息MARTE模型进行形式化验证的框架。最后，通过一个实例分析说明了此方法对验证重配置后系统配置信息的有效性。
|
| 关 键 词： | 系统配置信息验证 MARTE 模型驱动工程 ARINC653 综合模块化航电系统(IMA) |
Model-Driven Reconfiguration Information Verification for Safety-Critical Systems |
| |
| HU Jun,MA Jinjing,LIU Xue,CHENG Zhen,SHI Jiaojie,HUANG Zhiqiu.Model-Driven Reconfiguration Information Verification for Safety-Critical Systems[J].Journal of Frontier of Computer Science and Technology,2015(4). |
| |
| Authors: | HU Jun MA Jinjing LIU Xue CHENG Zhen SHI Jiaojie HUANG Zhiqiu |
| |
| Abstract: | |
| |
| Keywords: | verification of system configuration information MARTE model driven engineering ARINC653 inte-grated modular avionics (IMA) |
| 本文献已被 万方数据 等数据库收录！ |
