With the enhancement of the RTCA DO 178B to the RTCA DO 178C, four so-called supplements have also been developed. The RTCA DO 331 Model-Based Development is one of these four supplements and describes the requirements for model-based development and verification in aerospace. The following article provides answers to the following questions:
- How is the RTCA DO331 structured?
- What does mean the distinction between specification model and design model?