|
|
|
| R2011b Documentation → Embedded Coder | |
Learn more about Embedded Coder |
|
| Contents | Index |
| On this page… |
|---|
Applying Simulink and Embedded Coder to the IEC 61508 Standard Checking for IEC 61508 Standard Compliance Using the Model Advisor |
Applying Model-Based Design to a safety-critical system requires extra consideration and rigor so that 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, Simulink Coder, 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.
MathWorks provides an IEC Certification Kit product that you can use to certify MathWorks code generation and verification tools for projects based on the IEC 61508 standard. For more information, see http://www.mathworks.com/products/iec-61508/.
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. Navigate to By Product > Simulink Verification and Validation > Modeling Standards > IEC 61508 and ISO 26262 Checks or By Task > Modeling Standards for IEC 61508 and run the IEC 61508 and ISO 26262 Checks.
For more information on using the Model Advisor, see Consulting the Model Advisor in the Simulink documentation.
Typically, applications that require certification require some level of traceability between requirements, models, and corresponding code.
| To... | Use... |
|---|---|
| Associate requirements documents with objects in Simulink models | The Requirements Management Interface (RMI) that is available if you have a Simulink Verification and Validation license. |
| Trace model blocks and subsystems to generated code | The Model-to-code traceability option when generating an HTML report during the code generation or build process. |
| Trace generated code to model blocks and subsystems | The Code-to-model traceability option when generating an HTML report during the code generation or build process. |
 | Developing Models and Code That Comply with MISRA C Guidelines | Developing Models and Code That Comply with the ISO 26262 Standard |  |
Learn more about Simulink through this collection of videos, articles, technical literature and the Getting Started with Simulink Guide.
| © 1984-2012- The MathWorks, Inc. - Site Help - Patents - Trademarks - Privacy Policy - Preventing Piracy - RSS |
