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

• 作者: 于笑丰 徐丙凤 胡军 黄志球
• 来源期刊: 航空学报
• 学科: 工学
• 关键词: 适航认证 安全性验证 机载软件 模型驱动 形式化方法 SysML
• 年，卷（期）: 2012,（5）
• 所属期刊栏目: 流体力学与飞行力学
• 页码范围: 796-808
• 分类号: V328|TP311
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄志球	南京航空航天大学计算机科学与技术学院	183	1755	20.0	33.0
2	胡军	南京航空航天大学计算机科学与技术学院	41	358	10.0	18.0
6	徐丙凤	南京航空航天大学计算机科学与技术学院	16	297	9.0	16.0
7	于笑丰	南京大学商学院	10	271	7.0	10.0