High-Integrity System Modeling
Use the high-integrity guidelines when you develop models and generate code for high-integrity systems by 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, EN 50128/EN 50657, ISO 25119, and EN 50657.
If you have a Simulink® Check™ license, you can use Model Advisor to check for the compliance with a guideline. To view the Model Advisor checks, see Model Advisor Checks for High-Integrity Systems Modeling Guidelines.
For more information, see Motivation and Guideline Template.
- Simulink Block Considerations
Names, math operations, ports and subsystems, signal routing, logic and bit operations
- Stateflow Chart Considerations
Stateflow® chart names, properties, and architecture
- MATLAB Function and MATLAB Code Considerations
MATLAB® Functions, MATLAB code
- Configuration Parameter Considerations
Solver, diagnostics, and optimization settings
- Requirements Considerations
Link requirements to a model
- MISRA C:2012 Compliance Considerations
MISRA C:2012 compliance, including modeling style, block usage, and configuration settings