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

摘要：

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

关键词：安全关键系统、机载软件、形式化方法、形式化模型、形式化分析、DO-333、DO-178C

所属期刊栏目：50

分类号：TP311.5(计算技术、计算机技术)

资助基金：国家自然科学基金项目资助61732001

在线出版日期：2020-04-20（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：124-129