MathWorks Offers Support for DO-178C with Model-Based Design

Updates DO Qualification Kit to help qualify Simulink and Polyspace verification tools

Natick, Mass. - (11 Dec 2012)

MathWorks today announced that starting with Release 2012b (R2012b), engineers using the DO Qualification Kit can qualify Simulink and Polyspace verification tools for DO-178C and supplements including DO-331. This DO-178C support now offers program managers and their certification authorities a standardized, global approach and framework for adopting Model-Based Design and accelerating embedded system certification.

“Using DO-178C and DO-331, aircraft manufacturers and suppliers can harvest the productivity, cost, and quality benefits of Model-Based Design, secure in the knowledge that they can certify their systems,” said Steve Morton, Level A FAA Software DER. “The verification workflow described in the DO Qualification Kit matches industry best practice and the expectations of the FAA software certification community, including verification independence, executable object code verification, and structural coverage analysis for automatically generated code.”

In R2012b, DO Qualification Kit also supports Simulink and Polyspace products for the following supplements to DO-178C:

  • DO-330 Software Tool Qualification Considerations
  • DO-331 Model-Based Development and Verification
  • DO-332 Object-Oriented Technology and Related Techniques
  • DO-333 Formal Methods

DO Qualification Kit provides documentation, test cases, and procedures to help qualify supported Simulink and Polyspace software verification tools for projects that need to meet aerospace standards. The kit also includes tool qualification plans, tool operational requirements, and other materials required for qualifying software verification tools (Criteria 2 and 3).

Enhancements to DO Qualification Kit build on existing MathWorks DO-178 capabilities, including the DO-178 Process Deployment Advisory Service. Introduced in 2012, this advisory service educates aerospace engineers on the DO-178 standard, identifies gaps in their current processes, provides a road map to a more optimized DO-178 process framework using Model-Based Design, and assists in deploying that road map.

Attend the free webinar to learn how DO Qualification Kit supports the complete software development and verification life cycle: Model-Based Design for DO-178 Using Tool Qualification Kits.

DO Qualification Kit R2012b is available immediately. For further information, visit the product web site at

About MathWorks

MathWorks is the leading developer of mathematical computing software. MATLAB, the language of technical computing, is a programming environment for algorithm development, data analysis, visualization, and numeric computation. Simulink is a graphical environment for simulation and Model-Based Design for multidomain dynamic and embedded systems. Engineers and scientists worldwide rely on these product families to accelerate the pace of discovery, innovation, and development in automotive, aerospace, electronics, financial services, biotech-pharmaceutical, and other industries. MathWorks products are also fundamental teaching and research tools in the world's universities and learning institutions. Founded in 1984, MathWorks employs more than 2400 people in 15 countries, with headquarters in Natick, Massachusetts, USA. For additional information, visit

MATLAB and Simulink are registered trademarks of The MathWorks, Inc. See for a list of additional trademarks. Other product or brand names may be trademarks or registered trademarks of their respective holders.