Documentation

This is machine translation

Translated by Microsoft
Mouseover text to see original. Click the button below to return to the English verison of the page.

Note: This page has been translated by MathWorks. Please click here
To view all translated materals including this page, select Japan from the country navigator on the bottom of this page.

High-Integrity System Modeling

Modeling guidelines for high-integrity systems

Use the high-integrity guidelines when you develop models and generate code for high-integrity systems using Model-Based Design with MathWorks® products. The guidelines provide model setting, block usage, and block parameter considerations for creating models that are complete, unambiguous, statically deterministic, robust, and verifiable.

These guidelines do not assume that you use a particular safety or certification standard. The guidelines reference some safety standards when they apply, including DO-178C / DO-331, IEC 61508, ISO 26262, and EN 50128.

If you have a Simulink® Verification and Validation™ license, you can use the Model Advisor to check for compliance with a guideline.

Was this topic helpful?