DO Qualification Kit

Key Features

  • Tool Qualification Plan and Tool Operational Requirements documents
  • Test case models and code, test procedures, and expected results
  • Traceability matrix generation covering requirements, models, and generated code
  • Qualification materials for Simulink verification, validation, and test tools
  • Qualification materials for Polyspace code verification tools
  • Artifacts explorer for navigating and viewing artifacts for each supported product
  • Checks for tool-associated bug reports
DO Qualification Kit contents.
DO Qualification Kit contents, including certification artifacts and workflow guidance for projects using Model-Based Design or Polyspace code verification.
Next: What is DO-178?

Try DO Qualification Kit

Get trial software

Best Practices for DO-178 Compliant Software using Model-Based Design

View webinar