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

• Simulink Checks

• Simulink Coder Checks (Simulink Coder)

• Radio Technical Commission for Aeronautics (RTCA) for information on the DO-178C Software Considerations in Airborne Systems and Equipment Certification and related standards

Modeling Standards for DO-254