DO Qualification Kit (for DO-178 and DO-254)

 

DO Qualification Kit (for DO-178 and DO-254)

Qualify Simulink and Polyspace verification tools for DO-178, DO-278, and DO-254

Request a free trial
Request a quote

DO Qualification Kit provides documentation, test cases, and procedures that let you qualify Simulink and Polyspace software verification tools for projects based on DO-178C, DO-278A, and related supplements. The kit contains tool qualification plans, tool operational requirements, and other materials required for qualifying software verification tools. With the kit, you can streamline certification of embedded systems developed using Model-Based Design workflows with supported Simulink products. Using the kit with Polyspace products, you can streamline certification of embedded systems that use traditional workflows or Model-Based Design.

The DO Qualification Kit also lets you qualify Simulink model verification tools for projects based on DO-254. Simulink Code Inspector and Polyspace code verification tools do not support HDL code, and thus are not applicable to DO-254.

Tool qualification kits are available for specific versions of Simulink and Polyspace verification tools based on DO-330, Software Tool Qualification Considerations. You can modify the artifacts in the tool qualification kit for your specific project and include them in the DO-178C, DO-278A, and DO-254 certification packages submitted for certification.

DO Qualification Kit

Certify Avionic System Software with DO-178

Support your DO-178C certification processes with the kit’s workflow guidance and other materials. Use these resources to facilitate your use of Simulink and Polyspace software tools for supplements including DO-330, DO-331, and DO-333.

Certification Standards

Documentation | Examples

Certify Avionic System Hardware with DO-254

DO Qualification Kit provides workflow guidance and other materials to facilitate your use of Simulink verification tools in demonstrating DO-254 compliance.

Certification Standards

Documentation

Qualify Tools

Implement the tool qualification approach specified in DO-178C using kit-provided document templates, test cases, and test procedures for qualifying supported Simulink and Polyspace products.

Documentation

Product Resources:

Documentation Functions DO-178 support Requirements Release notes
Bell Helicopter Develops World’s First Commercial Fly-by-Wire Helicopter

“With Model-Based Design we had a successful first flight; there were no issues from a control or integration standpoint. Generating the control law code from our Simulink model with Embedded Coder eliminated the slowdowns caused by manual code generation and freed the team to work on meeting the broader program goals.”

Mike Bothwell, Bell Helicopter
View more customer stories

Interested in DO Qualification Kit?

Request a trial Request a quote

Have Questions?

Contact the DO Qualification Kit technical team.