模型驱动的软件构件研制保证水平验证方法

• 作者: 孙曦 张登成 张鹏 徐浩军 朱和铨
• 来源期刊: 航空学报
• 学科: 工学
• 关键词: 软件安全性 验证与确认 研制保证水平 SysML DO-178B/C
• 年，卷（期）: 2015,（3）
• 所属期刊栏目: 电子与控制
• 页码范围: 907-920
• 页数: 14页
• 分类号: V219|X949
• 字数: 9330字
• 语种: 中文
• DOI: 10.7527/S1000-6893.2014.0251

摘要

在机载软件架构设计阶段,人们将安全性研制保证水平分配到具体的构件中,确保产品质量.鉴于现代航空软件系统极其复杂,如何从系统角度,检验分配给构件的安全性等级符合系统的一致性目标,是设计阶段需要解决的重要问题.首先,分析了分布式和综合式机载软件系统的架构特点,得出了在安全性分析工作中需要考虑冗余等架构设计的影响的结论.其次,使用系统建模语言(SysML)块图建立带有安全性等级属性的系统静态结构模型,利用矩阵对模型进行精确的形式化转换;制定验证规则,在此基础上给出了验证方法,以验证安全性等级分配的合理性.在验证过程中,将关键信息存储在XML文档中,可为适航性审查提供证据.最后,通过实例分析,验证了该方法的可行性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐浩军	空军工程大学航空航天工程学院	185	1011	14.0	22.0
2	张鹏	空军工程大学航空航天工程学院	83	557	12.0	18.0
3	张登成	空军工程大学航空航天工程学院	57	184	7.0	10.0
4	朱和铨	空军工程大学航空航天工程学院	14	53	4.0	5.0
5	孙曦	中航飞机汉中飞机分公司设计研究院	1	4	1.0	1.0