RTCA DO-331 / EUROCAE ED-218 — Model-Based Development and Verification Supplement to DO-178C and DO-278A
DO-331Section 07: The Big Standards Map
Definition
A supplement to DO-178C that provides additional guidance for the use of model-based development and verification in airborne software. DO-331 addresses the use of models (such as Simulink, SCADE, or UML models) as design and requirements representations, including the specification of model-level requirements, simulation-based verification, and auto-code generation from models. The supplement defines when models can be used as requirements, design, or source code, and specifies additional objectives for model coverage analysis, model reviews, and traceability between models and the airborne software.
Where This Shows Up
Model-based development is increasingly common in avionics, as it enables simulation-based validation, automated code generation, and formal analysis. DO-331 ensures that the use of models does not introduce uncontrolled risk. When models serve as requirements or design, they must meet the same development assurance objectives as textual requirements or conventional design, plus additional objectives specific to model-based approaches.
Primary Sources
The primary document defining objectives for model-based development within the DO-178C framework.
Related Terms
Need help navigating certification?
Understanding the terminology is the first step. If you need expert guidance on DO-178C, DO-254, ARP4754B, or any aspect of FAA, EASA, or TCCA certification, our team is here to help.