面向适航认证的模型驱动机载软件构件的安全性验证

作     者：徐丙凤 黄志球 胡军 于笑丰 XU Bingfeng;HUANG Zhiqiu;HU Jun;YU Xiaofeng

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

基　　金：江苏省研究生培养创新工程(CXZZ11_0218) 国家自然科学基金(61100034 61170043) 江苏省博士后科研资助计划项目(1101092C) 中国博士后科学基金(20110491411) 南京航空航天大学科技创新基金(NS2010095) 

出 版 物：《航空学报》 (Acta Aeronautica et Astronautica Sinica)

年 卷 期：2012年第33卷第5期

页      码：796-808页

摘      要：在软件开发的过程中为适航认证提供证据,已成为机载软件开发的研究热点。现代复杂机载软件多为构件化分布式架构,如何有效验证构件之间安全性依赖关系与适航认证标准当中规定目标的一致性,是机载软件设计阶段的一个重要问题。首先,使用系统建模语言(SysML)块图建立带有安全性特征的系统静态结构模型,将其转换为块依赖图以便进行精确的形式化描述。在此基础上给出形式验证方法,检验系统静态结构模型中的安全性依赖关系与适航认证标准中所规定目标之间是否一致。最后,通过一个飞机导航系统的例子说明如何将该方法应用于机载软件开发的过程中。利用这种方法对系统静态结构模型的安全性依赖关系进行验证,能够提高系统整体的安全性,并为适航认证提供证据。

主 题 词：适航认证 安全性验证 机载软件 模型驱动 形式化方法 SysML 

学科分类：08[工学] 0835[0835] 0825[工学-环境科学与工程类] 081202[081202] 0812[工学-测绘类] 

核心收录：

馆 藏 号：203149748...