Search This Blog

How to Use Model-Based Design to Demonstrate DO-254 Compliance

This video demonstrates how to use Simulink® for certification on an aerospace certification application which needs to comply with the DO-254 standard. This includes the use of model verification tools, many of which can be qualified using the DO Qualification Kit. It also shows how to use HDL Coder™ to generate traceable and well-commented code and HDL Verifier™ for cosimulation and verification of the final implementation.

Learn about DO Qualification Kit: Learn about HDL Verifier: Use MATLAB and Simulink for Verification, Validation, and Test:

Join us on Telegram:

No comments