Contents

Index

• Getting Started

• Managing Model Requirements

• Managing Requirements with DOORS Software

• Managing Model Verification Blocks

Using Model Verification Blocks

• Using the Verification Manager

What Is the Verification Manager?

Opening the Verification Manager

Enabling and Disabling Model Verification Blocks with the Verification Manager

Using Enabling and Disabling Tools in the Verification Manager

Managing Verification Requirements

• Using Model Coverage

• Customizing the Model Advisor

• Model Advisor Checks

• MathWorks Automotive Advisory Board Control Algorithm Modeling Guidelines Using MATLAB, Simulink, and Stateflow

• Modeling Guidelines for High-Integrity Systems

• Release Notes

Learn more about Simulink Verification and Validation

Managing Model Verification Blocks

You use Model Verification blocks throughout your model to monitor individual signals relative to limits that you impose on them. Use Model Verification blocks in conjunction with the Verification Manager tool in the Signal Builder block to carefully construct simulation tests for your model from a single location.

Creating Two-Way Links Between Requirements and Simulink Objects

Creating Two-Way Links Between Requirements and Simulink Objects

Using Model Verification Blocks

Using Model Verification Blocks

Related Products & Applications

Get Simulink trial software

Learn more about Simulink through this collection of videos, articles, technical literature and the Getting Started with Simulink Guide.

Get this Simulink Kit

© 1984-2009- The MathWorks, Inc. - Site Help - Patents - Trademarks - Privacy Policy - Preventing Piracy - RSS