User`s guide

xiv Contents
Signal Monitoring with Model Verification Blocks
Using Model Verification Blocks
13
Model Verification Blocks and the Verification
Manager . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13-2
Use Check Static Lower Bound Block to Check for Out-
of-Bounds Signal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13-3
Linear System Modeling Blocks in Simulink Control
Design . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13-6
Constructing Simulation Tests Using the
Verification Manager
14
What Is the Verification Manager? . . . . . . . . . . . . . . . . 14-2
Construct Simulation Tests Using the Verification
Manager . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14-3
View Model Verification Blocks . . . . . . . . . . . . . . . . . . 14-3
Enable and Disable Model Verification Blocks in a
Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14-9
Enable and Disable Model Verification Blocks in a
Subsystem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14-12
Use Check Static Lower Bound Block to Check for Out-of-
Bounds Signal . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14-16
Link Test Cases to Requirements Documents Using the
Verification Manager . . . . . . . . . . . . . . . . . . . . . . . 14-19