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
- Embedded Coder and Simulink Code Inspector for generating code and automating source code reviews
- 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.”