|
|||||
|
|
| 模型驱动的软件构件研制保证水平验证方法 | |
| 引用本文： | 朱和铨,徐浩军,张鹏,张登成,孙曦.模型驱动的软件构件研制保证水平验证方法[J].航空学报,2015,36(3):907-920. |
| 作者姓名： | 朱和铨 徐浩军 张鹏 张登成 孙曦 |
| 作者单位： | 1. 空军工程大学 航空航天工程学院, 西安 710038; 2. 中航飞机汉中飞机分公司 设计研究院, 汉中 723213 |
| 基金项目： | 国家自然科学基金(61374145,U1333131);国家“973”计划(2015CB755802,2015CB755805);中国博士后科学基金(201150M1551);陕西省自然科学基础研究计划项目(2012JQ8010)~~ |
| 摘 要： | 在机载软件架构设计阶段,人们将安全性研制保证水平分配到具体的构件中,确保产品质量。鉴于现代航空软件系统极其复杂,如何从系统角度,检验分配给构件的安全性等级符合系统的一致性目标,是设计阶段需要解决的重要问题。首先,分析了分布式和综合式机载软件系统的架构特点,得出了在安全性分析工作中需要考虑冗余等架构设计的影响的结论。其次,使用系统建模语言(SysML)块图建立带有安全性等级属性的系统静态结构模型,利用矩阵对模型进行精确的形式化转换;制定验证规则,在此基础上给出了验证方法,以验证安全性等级分配的合理性。在验证过程中,将关键信息存储在XML文档中,可为适航性审查提供证据。最后,通过实例分析,验证了该方法的可行性。 |
| 关 键 词： | 软件安全性 验证与确认 研制保证水平 SysML DO-178B/C |
| 收稿时间： | 2014-05-04; |
Model-driven validation method for software component development assurance level |
|
| ZHU Hequan , XU Haojun , ZHANG Peng , ZHANG Dengcheng , SUN Xi.Model-driven validation method for software component development assurance level[J].Acta Aeronautica et Astronautica Sinica,2015,36(3):907-920. | |
| Authors: | ZHU Hequan XU Haojun ZHANG Peng ZHANG Dengcheng SUN Xi |
| Institution: | 1. Aeronautics and Astronautics Engineering College, Air Force Engineering University, Xi''an 710038, China; 2. Design and Research Institute, Hanzhong Aircraft Corporation of China Aviation Aircraft, Hanzhong 723213, China |
| Abstract: | |
| Keywords: | software safety verification & validation development assurance level SysML DO-178B/C |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |
| 点击此处可从《航空学报》浏览原始摘要信息 | |
| 点击此处可从《航空学报》下载免费的PDF全文 | |