DO Qualification Kit

Certifying Systems

DO Qualification Kit provides detailed workflow guidance needed for developing and verifying systems using Model-Based Design. The workflow guidance describes process, methods, and tools used for each software development and verification step from high-level requirements validation to executable object code verification. It clearly identifies tool independence paths. New concepts for Model-Based Design introduced in DO-331 are explained and illustrated, including the role of simulation test cases and model coverage.

With DO Qualification Kit, you can generate a traceability matrix spreadsheet showing requirements-to-model-to-code bidirectional traceability paths and file information. You can also use DO Qualification Kit to generate a list of reported bugs that you can store and archive for key Simulink and Polyspace verification tools used for Model-Based Design.

Trace matrix generated from DO Qualification Kit.
Trace matrix generated from DO Qualification Kit.

Try DO Qualification Kit

Get trial software

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

View webinar