| 机载系统的功能研制保证等级验证方法 |
| |
| 引用本文： | 蒋泉,朱春玲,王旭亮,尹小花. 机载系统的功能研制保证等级验证方法[J]. 计算机工程与设计, 2021, 42(3): 867-874. DOI: 10.16208/j.issn1000-7024.2021.03.038 |
| |
| 作者姓名： | 蒋泉 朱春玲 王旭亮 尹小花 |
| |
| 作者单位： | 南京航空航天大学航空宇航学院,江苏南京210016;南京航空航天大学航空宇航学院,江苏南京210016;空军装备部项目中心,北京100089;南京航空航天大学计算机科学与技术学院,江苏南京211100 |
| |
| 基金项目： | 国家自然科学基金重点基金项目 |
| |
| 摘 要： | 为保证机载系统研制过程中人为分配的功能研制保证等级是合理的,提出一种机载系统功能研制保证等级的验证方法.考虑不同架构设计对系统功能研制保证等级分配的影响,结合模型驱动和形式化方法,研究系统的功能研制保证等级与安全标准的一致性,通过实例验证了该方法能够自动分析和检验系统的功能研制保证等级分配的合理性,提高系统安全性.
|
| 关 键 词： | 机载系统 功能研制保证等级 形式化方法 安全标准 系统安全性 |
Verification on function development assurance level for airborne system |
| |
| JIANG Quan,ZHU Chun-ling,WANG Xu-liang,YIN Xiao-hua. Verification on function development assurance level for airborne system[J]. Computer Engineering and Design, 2021, 42(3): 867-874. DOI: 10.16208/j.issn1000-7024.2021.03.038 |
| |
| Authors: | JIANG Quan ZHU Chun-ling WANG Xu-liang YIN Xiao-hua |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
