「软件」被疑酿波音737MAX空难，飞控软件上天前要经历这些大考( 三 )

2026-02-03

闫怀志指出，在设计MCAS过程中，工作人员利用海量的飞行数据并对其进行智能分析处理，以形成自动安全算法。在自动化程度越来越高的民航领域中，类似MCAS这样的机载软件安全性对航空器的重要程度也越来越高。然而，由于机载软件的特殊性，无法像飞机其他部件的结构、强度等那样进行检查和测试，更无法像一般软件那样进行穷举测试，因此机载软件的安全性通常需要依靠严格、规范、标准的软件研发流程来保证。只有这样，软件才能通过旨在保证飞行绝对安全的民用航空器的适航审定。

目前，国际上机载软件适航审定主要依据美国航空无线电技术委员会（RTCA）DO-178《机载系统合格审定过程中的软件考虑》系列标准。该标准被美国联邦航空局、欧洲航空安全局和中国民用航空局等民航管理部门广泛采用。

该标准在软件工具验证、基于模型的开发和验证、面向对象编程、形式化方法等诸多方面提出了严格的规范操作指南，从而使机载软件在过程、数据、目标3方面满足严苛的适航要求。机载软件的开发、运行、验证以及迭代升级均需以该系列指南为基本遵循，以最大程度保证机载软件的安全性和可靠性。

推荐阅读

上一篇：【教师节】武汉7座地标建筑向老师致敬

下一篇：「垃圾」上海“史上最严”垃圾分类已两月，咋样了？