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 supported Simulink and Polyspace products.
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 and DO-278A certification packages submitted for certification.
Discover more about DO Qualification Kit by exploring these resources.
Explore documentation for DO Qualification Kit functions and features, including release notes and examples.
Browse the list of available DO Qualification Kit functions.
View system requirements for the latest release of DO Qualification Kit.
View articles that demonstrate technical advantages of using DO Qualification Kit.
Read how DO Qualification Kit is accelerating research and development in your industry.
Find answers to questions and explore troubleshooting resources.
Ensure your design conforms to the DO-178B safety standard.
Ensure your design conforms to the MISRA-C safety standard.
DO Qualification Kit requires: MATLAB
Use DO Qualification Kit to solve scientific and engineering challenges: