适航认证下的模型应用之道：DO-331 深度读书笔记

一、引言：这份标准到底要解决什么问题？

1.1 一个典型的工程困境

假设您正在开发一套飞行控制系统的核心软件。传统的开发方式是：写几百页的Word文档作为需求，画UML图作为设计，然后人工编写代码。

现在，团队想引入基于模型的开发（MBD）——用Simulink/Stateflow画一个模型，然后一键生成代码。

问题来了：

• 这个"模型"在法律上和认证意义上算什么？是需求，还是设计？
• 我能否用模型的仿真结果替代在真实硬件上的测试？
• 如果模型生成了90%的代码，我还需要做结构覆盖率分析（MC/DC）吗？

DO-331要解决的就是这些问题。它不是一本建模工具的操作手册，而是一本如何在适航认证框架下，安全、合规地使用模型的"法律解释书"。

1.2 文档核心定位

• 性质：DO-178C的官方补充文件（Supplement），不是独立标准。
• 核心目标：明确"模型"在软件生命周期中的身份、职责、验证手段和适航证据。
• 适用范围：仅适用于语法语义明确、可被工具自动分析的模型。Visio画的无逻辑框图不在此列。

二、核心