一、引言
随着航空领域技术的飞速发展，机载软件在航空器安全性和性能中的作用日益关键。为了确保机载软件的安全性和合规性，业界采用了多项标准来指导开发与验证工作。DO-178C 是机载软件开发的主要标准，为了适应基于模型的软件开发需求，DO-331 作为补充标准，提出了模型驱动开发的特定要求。
本文将深入探讨基于模型的开发流程和传统的软件开发流程如何符合DO-178C与DO-331的标准要求，详细比较两者的差异，最后提出一个结合两者标准的机载软件研制体系。这一体系将覆盖各个开发阶段所需的活动、输入输出及迁移准则，确保软件的开发符合安全与适航性标准。
二、DO-178C概述
- DO-178C的核心要求
- 软件开发生命周期：DO-178C定义了软件开发的生命周期过程，包括需求获取、设计、实现、验证和确认等。它为机载软件开发提供了一套系统化的指导，确保在开发过程中考虑安全性和可靠性。
- 安全等级（DAL）：根据系统的重要性，DO-178C将软件划分为不同的开发保障等级（DAL A到E），DAL A的要求最为严格，适用于关键安全功能，而DAL E的要求较低