Industry Standards

ARP-4754

The ARP-4754 standard addresses the systems engineering aspects of aircraft certification including systems requirements, requirements validation, systems design, and system verification. It is supported by DO-178, which specifies objectives for flight software certification, and DO-254, which specifies objectives for flight hardware certification. ARP-4754A, released in 2010, provides information about the use of modeling and simulation for requirements capture, prototyping, and requirements validation.

Satisfying the objectives of standards such as ARP-4754, DO-178, and DO-254 can be time-consuming and expensive because it requires rigorous and well-documented verification activities.

Using Model-Based Design, engineers can satisfy ARP-4754 objectives while realizing cost and time-to-market benefits associated with early verification of requirements, automated linking to requirements, model simulation and analysis, model standards checking, report artifact generation, and test case reuse.

MATLAB and Simulink support Model-Based Design for ARP-4754 as illustrated below.

Products

Simulink for algorithm development
Stateflow for logic and state machine development
Simscape for plant modeling
Aerospace Blockset for plant modeling
Simulink Control Design for control system design and analysis
Simulink Check for static model analysis
Simulink Design Verifier for design error detection and property proving
Simulink Test and Simulink Coverage for model verification
Simulink Requirements for defining system requirements and traceability
Simulink Report Generator for documenting models and traceability
Simulink Test, Simulink Coder, and Simulink Real-Time for hardware in-the-loop testing
DO Qualification Kit used in related DO-178 and DO-254 processes