Experts Stress MBSE for DO-178C Compliance
A recent technical session on Model-Based Systems Engineering emphasized its crucial role in achieving DO-178C compliance. Experts argued that MBSE provides essential end-to-end traceability from requirements to code and enables continuous, model-driven verification, which significantly reduces late-stage defects and accelerates the certification timeline.
DO-178C, also known as ED-12C in Europe, is the primary means by which certification authorities like the FAA and EASA approve all commercial software-based aerospace systems. Finalized in November 2011 to replace the older DO-178B standard, it establishes formal processes for the entire software lifecycle to ensure correctness and robustness in avionics. The standard defines Development Assurance Levels (DALs) from A to E, which are determined by a system safety assessment. A "catastrophic" failure condition (Level A) requires the highest rigor in demonstrating compliance, while a "no effect" on safety (Level E) requires the least. A core challenge in DO-178C compliance is managing the mandated bidirectional traceability—linking high-level requirements to low-level requirements, source code, and test cases. In traditional document-based approaches, this is a cumbersome, error-prone process, often leading to synchronization issues between artifacts like design documents and test reports. To directly address the use of modern methodologies, the DO-178C standard is supplemented by DO-331, "Model-Based Development and Verification." This document provides specific guidance for satisfying DO-178C objectives when using model-based techniques for software development and verification. MBSE directly addresses traceability challenges by creating a centralized system model using standard languages like SysML. This "digital thread" connects requirements, architecture, analysis, and validation, ensuring that a change in one area is automatically reflected and traceable throughout the entire system model. Aerospace and defense firms commonly employ MBSE tools like Ansys SCADE, Dassault Systèmes' CATIA and Cameo Systems Modeler, and IBM's Rhapsody to manage this complexity. These platforms integrate system modeling with simulation, analysis, and automated code generation, which is critical for control systems and algorithm development. The application of MBSE is not limited to software; it also aids compliance with the corresponding standard for airborne electronic hardware, DO-254. By creating an integrated model of both hardware and software, engineering teams can better manage the complex interactions and data flows between them, ensuring total system integrity.
