Simulink Code Inspector and Polyspace Qualified under DO-330
Qualified Code Generation with MathWorks Embedded Coder
Natick, Mass. - (21 Dec 2015)
MathWorks today announced that it has completed the Stage of Involvement 4 (SOI-4) audit for a program involving airborne software for an aircraft system with Transport Canada, the certification authority for the aircraft. As a result of the audit, MathWorks tools and supporting data packages included in the DO Qualification Kit are compliant with DO-330 Tool Qualification Level 4 (TQL-4) for DO-178C and DO-331 certification workflows:
- Qualified model verification
- Qualified code generation and verification
Successful completion of an audit process allows organizations to get certification credit using MathWorks tools for Model-Based Design, including:
- Simulink Verification and Validation for automating requirements tracing, modeling standards compliance checking, and model coverage
- Simulink Report Generator for documenting design models
- Polyspace Bug Finder and Polyspace Code Prover for formal verification of hand-written and generated code
“MathWorks has been working with leading aerospace companies for many years supporting automation of the DO-178 workflows, including Level A,” said Andy Grace, vice president of engineering at MathWorks. “The completion of the SOI-4 audit at TQL-4 for Simulink Code Inspector and Polyspace, is an important milestone for 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. MATLAB and Simulink are also fundamental teaching and research tools in the world's universities and learning institutions. Founded in 1984, MathWorks employs more than 3000 people in 15 countries, with headquarters in Natick, Massachusetts, USA. For additional information, visit mathworks.com.
MATLAB and Simulink are registered trademarks of The MathWorks, Inc. See mathworks.com/trademarks for a list of additional trademarks. Other product or brand names may be trademarks or registered trademarks of their respective holders.