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.
You can also select a web site from the following list:
Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.