Real-Time Workshop® Embedded Coder™

Developing Models and Code That Comply with the DO-178B Standard

Applying Simulink^® and Real-Time Workshop^® Technology to the DO-178B Standard

Applying Model-Based Design successfully to a safety-critical system, requires extra consideration and rigor to ensure the system adheres to defined safety standards. DO-178B, Software Considerations in Airborne Systems and Equipment Certification, is such a standard. Because the standard was published when most software was coded by hand, the standard needs to be mapped to Model-Based Design technologies. Model-Based Design for DO-178B (Excerpts) provides a sampling of information available from a document that offers recommendations on how to apply Simulink^®, Real-Time Workshop^®, and third-party products for Model-Based Design to DO-178B measures and techniques. For the complete version of Model-Based Design for DO-178B, see Technical Solution 1-1ZLDDE on the MathWorks Web site.

Back to Top

Checking for Standard Compliance Using the Model Advisor

If you have a Simulink^® Verification and Validation™ product license, you can check that your Simulink model or subsystem and the code that you generate from it complies with selected aspects of the DO-178B standard by running the Simulink Model Advisor on DO-178B checks.

1. Open your model or subsystem.

2. Start the Model Advisor.

3. In the Task Hierarchy, expand By Product > Simulink Verification and Validation > Modeling Standards > DO-178B Checks or By Task > Modeling Standards for DO-178B.

4. Select the checks that you want to enable.

5. Select Show report after run if you want to display an HTML report that shows the check results. Alternatively, later you can click the report link in the Last Report section of the results pane. In either case, you can save and print the resulting report for review or archiving purposes.

6. Click Run Selected Checks. The Model Advisor processes the checks and displays the results.

7. In the Model Advisor window, review the check results and make any necessary changes. To see detailed results for a specific check, select the check in the Task Hierarchy. The results appear in the right pane.

Note   If your model uses model referencing, apply Model Advisor checks to all referenced models before applying them to the top-level model.

For more information on using the Model Advisor, see Consulting the Model Advisor in the Simulink documentation.

Back to Top

Validating Traceability

Typically, applications that require certification require some level of traceability between requirements, models, and corresponding code.

Back to Top

Developing Models and Code That Comply with the IEC 61508 Standard

Custom Storage Classes