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

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 supported Simulink and Polyspace products.

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 and DO-278A certification packages submitted for certification.


Capabilities

What is DO-178?

Learn about DO-178, an international safety standard used to certify commercial avionic system software.

Learn more

Qualifying Tools

Implement the tool qualification approach specified in DO-178C.

Learn more

Certifying Systems

Develop and verify systems using Model-Based Design.

Learn more

Product Resources

Discover more about DO Qualification Kit by exploring these resources.

Documentation

Explore documentation for DO Qualification Kit functions and features, including release notes and examples.

Functions

Browse the list of available DO Qualification Kit functions.

System Requirements

View system requirements for the latest release of DO Qualification Kit.

Technical Articles

View articles that demonstrate technical advantages of using DO Qualification Kit.

User Stories

Read how DO Qualification Kit is accelerating research and development in your industry.

Community and Support

Find answers to questions and explore troubleshooting resources.

DO-178 Support

Ensure your design conforms to the DO-178B safety standard.

MISRA-C Support

Ensure your design conforms to the MISRA-C safety standard.


Try or Buy

There are many ways to start using DO Qualification Kit. Download a free trial, or explore pricing and licensing options.

Get a Free Trial

Test drive DO Qualification Kit.

Get a trial

Ready to Buy?

Purchase DO Qualification Kit and explore related products.

Contact sales
Pricing and licensing

Have Questions?

Bill

Contact Bill Potter,
DO Qualification Kit Technical Expert

Email Bill

DO Qualification Kit requires MATLAB.


Related Solutions

Use DO Qualification Kit to solve scientific and engineering challenges:


News and Events

Get a MathWorks engineer's perspective on Simulink and Model-Based Design.

Model-Based Design for DO-178 Using Tool Qualification Kits