User`s guide

Checking Systems Interactively

• “Check Model and Subsystems” on page 22-2

• “Limit Model Checks” on page 22-3

• “Limit Model Checks By Excluding Gain and Outport Blocks” on page 22-11

• “Model Checks for DO-178C/DO-331 Standard Compliance” on page 22-16

• “Model Checks for IEC 61508, ISO 26262, and EN 50128 Standard Compliance” on

page 22-20

• “Model Checks for MathWorks Automotive Advisory Board (MAAB) Guideline

Compliance” on page 22-23

• “Model Checks for Requirements Links” on page 22-28