DO-333标准形式化方法研究

• 作者: 任晓瑞 叶宏 郝继锋
• 来源期刊: 航空计算技术
• 关键词: 安全关键系统 机载软件 形式化方法 形式化模型 形式化分析 DO-333 DO-178C
• 年，卷（期）: 2020,（1）
• 所属期刊栏目: 综述报告
• 页码范围: 124-129
• 页数: 6页
• 分类号: TP311.5
• 语种: 中文

摘要

安全关键系统的基础软件由于其安全认证、提高软件可信性的需求,必须使用形式化方法.调研了嵌入式操作系统、编译器、网络、文件系统的形式化验证案例,在此基础之上引出机载软件形式化方法DO-333标准;阐述了形式化模型、形式化分析概念,提炼出DO-333在DO-178C的基础上,针对典型的过程活动、过程目标、其他考虑方面的变化;总结了在工程中使用形式化方法的优点和缺点.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郝继锋		5	2	1.0	1.0
2	任晓瑞		5	2	1.0	1.0
3	叶宏		2	0	0.0	0.0