DO Qualification Kit provides documentation, test cases, and procedures that let you qualify Simulink and Polyspace software verification tools for projects based on DO-178C, DO-278A, DO-254, and related supplements. The kit contains tool qualification plans, tool operational requirements, and other materials required for qualifying software verification tools.
Tool qualification kits are available for specific versions of Simulink and Polyspace verification tools based on DO-330. You can modify the artifacts in the tool qualification kit for your specific project and include them in the DO-178C, DO-278A, and DO-254 certification packages submitted for certification.
Certify Avionic System Hardware with DO-254
DO Qualification Kit provides workflow guidance and other materials to facilitate your use of Simulink verification tools in demonstrating DO-254 compliance.
Qualify Tools
Implement the tool qualification approach specified in DO-178C using kit-provided document templates, test cases, and test procedures for qualifying supported Simulink and Polyspace products.
Product Resources:
“With Model-Based Design we had a successful first flight; there were no issues from a control or integration standpoint. Generating the control law code from our Simulink model with Embedded Coder eliminated the slowdowns caused by manual code generation and freed the team to work on meeting the broader program goals.”
