Real-Time Workshop® Embedded Coder™

Developing Models and Code That Comply with the IEC 61508 Standard

Applying Simulink and Real-Time Workshop Technology to the IEC 61508 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. IEC 61508, Functional safety of electrical/electronic/programmable electronic safety related systems, 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 IEC 61508 (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 IEC 61508 measures and techniques. For the complete version of Model-Based Design for IEC 61508, see Technical Solution 1-32COJP on the MathWorks Web site.

Back to Top

Checking for IEC 61508 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 IEC 61508 standard by running the Simulink Model Advisor on IEC 61508 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 > IEC 61508 Checks or By Task > Modeling Standards for IEC 61508.

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

Generating Code That Complies with AUTOSAR Standards

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