计算机科学与探索Issue(4)：385-402,18.DOI:10.3778/j.issn.1673-9418.1408014
模型驱动的安全关键系统重配置信息验证方法
Model-Driven Reconfiguration Information Verification for Safety-Critical Systems
摘要
Abstract
Recently, ensuring the correctness of system reconfiguration information is of great importance in safety and reliability of critical systems such as integrated modular avionics (IMA). This paper considers a configuration information model transformation and verification approach of IMA systems in the model-driven architecture with ARINC653 specification. Considering the features of IMA systems such as time or space multi-partition, this paper firstly defines a semantic mapping from the core elements of reconfiguration information (e.g. modules, partitions, memory, process and correspondence, etc.) to the MARTE model elements, and proposes a transformation approach between system configuration information and MARTE models. Then, this paper gives a formal verification frame-work based on the result MARTE models of system configuration information. Finally, a case study is illustrated to show the effectiveness of above proposed approach.关键词
系统配置信息验证/MARTE/模型驱动工程/ARINC653/综合模块化航电系统(IMA)Key words
verification of system configuration information/MARTE/model driven engineering/ARINC653/inte-grated modular avionics (IMA)分类
信息技术与安全科学引用本文复制引用
胡军,马金晶,刘雪,程桢,石娇洁,黄志球..模型驱动的安全关键系统重配置信息验证方法[J].计算机科学与探索,2015,(4):385-402,18.基金项目
The National Basic Research Program of China under Grant No.2014CB744904(国家重点基础研究发展计划(973计划)) （国家重点基础研究发展计划(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.2012(611航空科研基金) （611航空科研基金）
the Science Foundation for Youth Science and Technology Innovation of Nanjing University of Aeronautics and Astronautics under Grant No. NS2014098(南京航空航天大学青年科技创新基金) （南京航空航天大学青年科技创新基金）
