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, System Composer, Simulink support Model-Based Design for ARP-4754 as illustrated below.

Products

• System Composer for system architecture development
• 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

User Stories

• Embraer Speeds Requirements Engineering and Prototyping of Legacy 500 Flight Control System
• Airbus Develops Fuel Management System for the A380 Using Model-Based Design
• Cessna Enhances Antiskid Technology with Hardware-in-the-Loop Testing
• Korean Air Speeds UAV Flight Control Software Development and Verification with Model-Based Design
• Gulfstream Aerospace Develops Pilot-in-the-Loop Aircraft Simulator