Bill Potter, MathWorks
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.
Featured Product
Select a Web Site
Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select: .
Select web siteYou 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.
This website uses cookies to improve your user experience, personalize content and ads, and analyze website traffic. By continuing to use this website, you consent to our use of cookies. Please see our Privacy Policy to learn more about cookies and how to change your settings.