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: https://bit.ly/2Y2Pugx Learn about HDL Verifier: https://bit.ly/3e80nUe Use MATLAB and Simulink for Verification, Validation, and Test: https://bit.ly/2MXRccL