DO Qualification Kit (for DO-178)
Description
Introduction
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.
Key Features
- Tool Qualification Plan and Tool Operational Requirements documents
- Test case models and code, test procedures, and expected results
- Traceability tables mapping test cases to requirements
- Qualification materials for Simulink verification, validation, and test tools
- Qualification materials for Polyspace code verification tools
