|
|||||
|
|
| 面向适航认证的模型驱动机载软件构件的安全性验证 | |
| 引用本文： | 徐丙凤,黄志球,胡军,于笑丰.面向适航认证的模型驱动机载软件构件的安全性验证[J].航空学报,2012,33(5):796-808. |
| 作者姓名： | 徐丙凤 黄志球 胡军 于笑丰 |
| 作者单位： | 1. 南京航空航天大学计算机科学与技术学院,江苏南京,210016 2. 南京航空航天大学计算机科学与技术学院,江苏南京210016;南京大学计算机软件新技术国家重点实验室,江苏南京210093 3. 南京大学商学院,江苏南京 210093;南京大学计算机软件新技术国家重点实验室,江苏南京210093 |
| 基金项目： | 江苏省研究生培养创新工程项目，国家自然科学基金，江苏省博士后科研资助计划项目，中国博士后科学基金，南京航空航天大学科技创新基金 |
| 摘 要： | 在软件开发的过程中为适航认证提供证据,已成为机载软件开发的研究热点。现代复杂机载软件多为构件化分布式架构,如何有效验证构件之间安全性依赖关系与适航认证标准当中规定目标的一致性,是机载软件设计阶段的一个重要问题。首先,使用系统建模语言(SysML)块图建立带有安全性特征的系统静态结构模型,将其转换为块依赖图以便进行精确的形式化描述。在此基础上给出形式验证方法,检验系统静态结构模型中的安全性依赖关系与适航认证标准中所规定目标之间是否一致。最后,通过一个飞机导航系统的例子说明如何将该方法应用于机载软件开发的过程中。利用这种方法对系统静态结构模型的安全性依赖关系进行验证,能够提高系统整体的安全性,并为适航认证提供证据。 |
| 关 键 词： | 适航认证 安全性验证 机载软件 模型驱动 形式化方法 SysML |
| 收稿时间： | 2011-08-10; |
Model-driven Safety Dependence Verification for Component-based Airborne Software Supporting Airworthiness Certification |
|
| XU Bingfeng , HUANG Zhiqiu , HU Jun , YU Xiaofeng.Model-driven Safety Dependence Verification for Component-based Airborne Software Supporting Airworthiness Certification[J].Acta Aeronautica et Astronautica Sinica,2012,33(5):796-808. | |
| Authors: | XU Bingfeng HUANG Zhiqiu HU Jun YU Xiaofeng |
| Institution: | 2,3 1.College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics, Nanjing 210016,China 2.School of Business,Nanjing University,Nanjing 210093,China 3.State Key Laboratory for Novel Software Technology,Nanjing University,Nanjing 210093,China |
| Abstract: | |
| Keywords: | airworthiness certification safety verification airborne software model-driven formal method SysML |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |
| 点击此处可从《航空学报》浏览原始摘要信息 | |
| 点击此处可从《航空学报》下载免费的PDF全文 | |