DO-178C and Related Standards
DO-178C is an update to the DO-178B standard and contains supplements that map closely with current industry development and verification practices including: Model-Based Development and Verification (DO-331) and Formal Methods (DO-333). Tool qualification is addressed in DO-330.
MATLAB and Simulink support Model-Based Design for DO-178C as illustrated below, and described in this video series.
Products
- Simulink, Simulink Test, Simulink Check and Simulink Coverage for Qualified Model Verification
- Embedded Coder and Simulink Code Inspector for Qualified Code Generation
- Polyspace Bug Finder and Polyspace Code Prover for Qualified Formal Analysis
- Simulink Design Verifier and Simulink Coverage for Qualified Test Generation
- Simulink Test for Qualified Software Testing
- Simulink Coverage for Qualified Code Coverage Analysis
- Simulink Requirements and Simulink Report Generator for Traceability and Documentation
- DO Qualification Kit for Tool Qualification
Services
Related Standards Supported by MATLAB and Simulink Product Families
- DO-178C, Software Considerations in Airborne Systems and Equipment Certification
- DO-278A, Guidelines for Communications, Navigation, Surveillance, and Air Traffic Management (CNS/ATM) Systems Software Integrity Assurance
- DO-248C, Supporting Information for DO-178C and DO-278A
- DO-330, Software Tool Qualification Considerations
- DO-331, Model-Based Development and Verification Supplement to DO-178C and DO-278A
- DO-332, Object-Oriented Technology and Related Techniques Supplement to DO-178C and DO-278A
- DO-333, Formal Methods Supplement to DO-178C and DO-278A
Videos, Webinars, and Demos
- Using Qualified Tools in a DO-178C Development Process (11 Videos)
- Simulink for DO-178 Flight Software Development (35:24)
- Model-Based Design for DO-178C Software Development with MathWorks Tools (9 Videos)
- The DOD and DO-178C (7:01)
- DO-178 Case Study (File Exchange)
Press
User Stories
- Embraer Speeds Requirements Engineering and Prototyping of Legacy 500 Flight Control System
- Bell Helicopter Develops World’s First Commercial Fly-by-Wire Helicopter
- BAE Systems Delivers DO-178B Level A Flight Software on Schedule with Model-Based Design
- Israel Aerospace Industries Develops DO-178B Level B Certified Software for a Hybrid-Electric Aircraft Tractor
- Alenia Aermacchi Develops Autopilot Software for DO-178B Level A Certification
- National Aerospace Laboratories Proves Benefits of Model-Based Design for DO-178B Flight Software Development
- Airbus Helicopters Accelerates Development of DO-178B Certified Software with Model-Based Design
- Airbus Develops Fuel Management System for the A380 Using Model-Based Design
- Honeywell Cuts Design Times by 60%
- Korea Aerospace Industries Develops Helicopter Active Vibration Control System Software to DO-178C Standards
