|
|
|
| R2011b Documentation → Embedded Coder | |
Learn more about Embedded Coder |
|
| Contents | Index |
| On this page… |
|---|
Applying Simulink and Embedded Coder to the DO-178B Standard |
Applying Model-Based Design to a safety-critical system, requires extra consideration and rigor so that 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, Simulink Coder, 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.
MathWorks provides a DO Qualification Kit product that you can use to qualify MathWorks verification tools for projects based on the DO-178B standard. For more information, see http://www.mathworks.com/products/do-178/.
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. Navigate to By Product > Simulink Verification and Validation > Modeling Standards > DO-178B Checks or By Task > Modeling Standards for DO-178B and run the DO-178B 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 the ISO 26262 Standard | Patterns for C Code |  |
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 |
