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, and related supplements. The kit contains tool qualification plans, tool operational requirements, and other materials required for qualifying software verification tools. With the kit, you can streamline certification of embedded systems developed using Model-Based Design workflows with supported Simulink products. Using the kit with Polyspace products, you can streamline certification of embedded systems that use traditional workflows or Model-Based Design.
The DO Qualification Kit also lets you qualify Simulink model verification tools for projects based on DO-254. Simulink Code Inspector and Polyspace code verification tools do not support HDL code, and thus are not applicable to DO-254.
Tool qualification kits are available for specific versions of Simulink and Polyspace verification tools based on DO-330, Software Tool Qualification Considerations. 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.