DO-331 MBD Fundamentals - 1 •Its about identifying the “safe-subset” use of MBD technology to be used in safety related applications •Same role as the suite of DO-178C documents •It applies “error class analysis” to determine what needs to be considered for MBD projects to confirm best known practices and proof of safety

DO-178C 是机载软件开发的主要标准，为了适应基于模型的软件开发需求，DO-331 作为补充标准，提出了 模型驱动开发 的特定要求。 本文将深入探讨 基于模型的开发 流程和传统的软件开发流程如何符合DO-178C与DO-331的标准要求，详细比较两者的差异，最后提出一个结合两者标准的机载软件研制体系。 这一体系将覆盖各个开发阶段所需的活动、输入输出及迁移准则，确保软件的开发符合安全与适航性标准。 软件开发生命周期：DO-178C定义了软件开发的生命周期过程， …

DO-331 outlines a systematic model-based development process that aligns with the key principles of DO-178C and DO-278A. It provides step-by-step guidance on activities such as requirements modeling, architecture modeling, model implementation, and model verification.

2011年12月13日 · Model-Based Development and Verification Supplement to DO-178C and DO-278A. This supplement contains modifications and additions to DO-178C and DO-278A objectives, activities, explanatory text and software life cycle data that should be addressed when model-based development and verification are used as part of the software life cycle.

DO-331, DO-332 and DO-333 are supplements that address certain software development techniques. Supplements add, delete, or modify objectives, activities, and life cycle data in DO-178C. You should apply the guidance within a particular supplement when you use the addressed technique. Your Plan for Software Aspects of Certification (PSAC) should

什么是 do-331？ do-331 是 do-178c（机载系统和设备认证中的软件注意事项）和 do-278a（空中交通管制系统中的软件完整性保证）的补充文件。 它解决了在机载系统和空中交通管制系统软件开发中使用基于模型的开发和验证。

RTCA DO-331 (Model-Based Development and Verification Supplement to DO-178C and DO-278A) provides additional objectives that apply when using model-based design in DO-178C projects, and clarification of how existing DO-178C objectives and activities apply to projects using model-based design.

DO-331包含对DO-178C目标、活动和解释性文本的修改和补充，它添加了模型如何表示工件，以及如何从中得出验证证据。 DO-331 定义了什么是模型： 所以基于模型设计是被标准接受的，DO-331不需要全有或者全无的方法，它允许对系统的子集进行建模，在文件中指出使用 MBD 开发的优势有哪些：通过图形化语言改善沟通，减少系统 / 软件假设，确保各团队成员对系统和软件的理解更加一致，避免因个人理解而产生歧义；项目团队能在开发早期直观地看到需求的具体表现， …

2024年9月24日 · DO-331是针对航空软件开发中基于模型的开发与验证的补充标准。随着航空工业对软件的依赖日益增强，模型驱动开发（Model-Based Development, MBD）已成为确保软件质量和安全的重要方法。

了解 do-178c 标准及其针对基于模型的软件开发的 do-331 补充规范。 按需选修： Stateflow 逻辑驱动系统建模 ， Simulink 设计验证 ， 使用 Embedded Coder 生成产品级代码 ， 以及使用 Polyspace 进行 C/C++ 代码验证 。