Using Model Advisor Checks for DO-254 Industry Standards

Model Advisor Checks for DO-254 Industry Standards

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

• Model Advisor 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

Library Links Overview

DO-254 checks for library links.

See Also

• Run Model Advisor Checks

• Simulink Checks

• Model Advisor 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

Model Referencing Overview

DO-254 checks for referenced models.

See Also

• Run Model Advisor Checks

• Simulink Checks

• Model Advisor 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

Requirements Consistency Checking Overview

DO-254 checks consistency of requirements.

The Model Advisor performs a checkout of the Simulink Check license when you run the requirements consistency checking checks.

See Also

• Run Model Advisor Checks

• Simulink Checks

• Model Advisor Checks (Simulink Coder)