DO Qualification Kit
DO Qualification Kit implements the tool qualification approach specified in DO-178C. To use DO Qualification Kit, follow these steps:
DO Qualification Kit provides guidance and information for the above steps and includes the document templates, test cases, and test procedures that you need to qualify the supported Simulink and Polyspace products.
For the supported products, DO Qualification Kit includes these artifacts:
You need to execute the test cases and procedures from DO Qualification Kit in your MATLAB® or Polyspace installation environment. You should then compare your generated test results with the expected results from the kit and work to eliminate any differences. Simulink Report Generator™ is required for qualifying Simulink Verification and Validation™.
Note: Use of DO-178 qualified tools does not ensure the safety of the software or the system under consideration.