DO Qualification Kit 1.0

DO Qualification Kit provides documentation, test cases, and procedures that let you qualify Simulink® or PolySpace® software verification tools for projects based on the DO-178 standard. The kit contains tool qualification plans, tool operational requirements, and additional materials required for qualifying software verification tools. With the kit, you can streamline certification of your embedded systems developed using Simulink or PolySpace products.

Specific versions of both the Simulink verification, validation, and test tools and the PolySpace code verification tools have qualification kits for the DO-178 standard. For each version of tools supported, DO Qualification Kit contains artifacts needed to qualify the tools with the standard. You can modify these artifacts as needed for your project and submit them to your certification authority as part of your DO-178 certification package.