《机载系统和设备合格审定中的软件审查方法》

第1章 目的

本通告简要说明了在机载系统和设备的合格审定中如何使用RTCA/DO-178B或EUROCAE/ED-12B“机载系统和设备合格审定中对软件的考虑”来进行机载软件的适航审查。
本通告旨在为适航审查人员和申请人及其相关供应商更好地理解和掌握RTCA/DO-178B或EUROCAE/ED-12B（以下简称DO-178B/ ED12B）的要求，进而更好地进行机载软件的符合性证明和审查活动提供指导。
作为一种指导性资料，本通告所提供的方法不是唯一的，也不是强制性的。

---

第2章 依据和背景

本通告是在国内机载软件审查实践的基础上，依据DO-178B/ED-12B并参考波音公司培训教材“审定工程师在机载设备和系统审定中的作用”制定的。随着软件审查工作经验的积累，今后还将不断对其进行修订和完善。

现在RTCA最新的为DO-178C标准。该标准规定了软件开发过程中从需求定义到测试验证的所有阶段，旨在确保航空软件的功能安全性。DO-178B最早于1992年发布，是航空软件开发的关键标准，而2011年发布了DO-178C。DO-178C在DO-178B的基础上引入了对现代软件开发方法的支持。例如，模型驱动开发（DO-331）、面向对象方法（DO-332）和形式化方法（DO-333）等都得到了标准的认可和应用。这些技术手段的引入使得开发人员能够在更高层次上设计软件&#x