Mit der Weiterentwicklung des RTCA DO178B zum RTCA DO178C sind auch vier sogenannte Supplementes entstanden. Der RTCA DO331 Modellbasierte Entwicklung ist eines dieser vier Supplements und er beschreibt die Anforderungen an die Modellbasierte Entwicklung und Verifikation in der Luftfahrt. Der nachfolgende Beitrag gibt Antworten auf folgende Fragen:
- Wie ist der RTCA DO 331 Modellbasierte Entwicklung strukturiert?
- Was bedeutet die Unterscheidung zwischen Spezifikationsmodell und Designmodell?