Main Content

DO-254 Checks

Modeling Standards for DO-254 Overview

DO-254 checks facilitate designing and troubleshooting models from which code is generated for applications that must meet safety or mission-critical requirements.

The Model Advisor performs a checkout of the Simulink® Check™ license when you run the DO-254 checks.

These checks are qualified by the DO Qualification Kit for use in projects involving the DO-254 standard and related standards.

See Also

Modeling Standards for DO-254