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 mathworks.com/products/do-178/.