User`s guide

22 Checking Systems Interactively
22-20
Model Checks for IEC 61508, ISO 26262, and EN 50128 Standard
Compliance
You can check that your model or subsystem complies with selected aspects of the
following safety standards by running the Model Advisor:
• IEC 61508-3 Functional safety of electrical/electronic/programmable electronic safety-
related systems - Part 3: Software requirements
• ISO 26262-6 Road vehicles - Functional safety - Part 6: Product development:
Software level
• EN 50128 Railway applications - Communications, signalling and processing systems
- Software for railway control and protection systems
To check compliance, run the checks in the applicable Model Advisor folders.
• By Task > Modeling Standards for IEC 61508
• By Task > Modeling Standards for ISO 26262
• By Task > Modeling Standards for EN 50128
The table lists the IEC 61508, ISO 26262, and EN 50128 checks, with applicable “High-
Integrity System Modeling” guidelines.
IEC 61508, ISO 26262, and EN 50128 Checks Applicable High-Integrity System Modeling
Guidelines
“Display configuration management data” 
“Display model metrics and complexity
report”

“Check for unconnected objects” 
“Check for root Inports with missing
properties”
“hisl_0024: Inport interface definition”
“Check for root Inports with missing range
definitions”
“hisl_0025: Design min/max specification of
input interfaces”
“Check for root Outports with missing
range definitions”
“hisl_0026: Design min/max specification of
output interfaces”
“Check for blocks not recommended for C/C
++ production code deployment”
