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.

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

• DO-178 Process Deployment Advisory Service

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

• Simulink for DO-178 Flight Software Development (35:24)
• The DOD and DO-178C (7:01)
• Automating DO-178 Code Reviews Using Simulink Code Inspector (23:59)
• Model-Based Design for DO-178C Software Development with MathWorks Tools (9 Videos)
• DO-178 Case Study (File Exchange)

Press

• Simulink Code Inspector and Polyspace Qualified under DO-330
• MathWorks Offers Support for DO-178C with Model-Based Design

User Stories

• 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%