机载系统的功能研制保证等级验证方法

• 作者: 蒋泉 朱春玲 王旭亮 尹小花
• 来源期刊: 计算机工程与设计
• 关键词: 机载系统 功能研制保证等级 形式化方法 安全标准 系统安全性
• 年，卷（期）: 2021,（3）
• 所属期刊栏目: 开发与应用|Developments and Appications
• 页码范围: 867-874
• 页数: 8页
• 分类号: TP311
• 语种: 中文
• DOI: 10.16208/j.issn1000-7024.2021.03.038

摘要

为保证机载系统研制过程中人为分配的功能研制保证等级是合理的,提出一种机载系统功能研制保证等级的验证方法.考虑不同架构设计对系统功能研制保证等级分配的影响,结合模型驱动和形式化方法,研究系统的功能研制保证等级与安全标准的一致性,通过实例验证了该方法能够自动分析和检验系统的功能研制保证等级分配的合理性,提高系统安全性.