Learn more about Simulink Verification and Validation

Examples

---

Use this list to find examples in the documentation.

Requirements Management Interface

Linking from a Simulink Object to a Selected Item in a Requirements Document
Linking from a Simulink Object to a Specified Location in a Requirements Document
Adding Requirement Links to Multiple Objects Simultaneously
Linking a Signal Builder Block to a Requirement
Viewing Simulink Objects That Have Requirements Links
Highlighting Objects with Requirements in the Model Editor
Highlighting Objects with Linked Requirements from Model Explorer
Deleting a Single Link from a Simulink Object
Deleting All Links from a Simulink Object
Deleting Links from Multiple Simulink Objects
Creating Requirements in Linked Libraries
Creating the Default Requirements Report
Customizing a Requirements Report
Configuring the RMI to Insert Navigation Controls
Enabling ActiveX Controls
Creating Navigation Controls in Requirements Documents
Troubleshooting Simulink Navigation Controls in Microsoft Office 2007
Creating a Custom Link Requirement Type
Using the System Requirements Block in a Model
Adding the System Requirements Block
Renaming the System Requirements Block
Including Requirements Information with Generated Code

Requirements Management Interface (DOORS Version)

Creating DOORS Requirements
Creating One-Way Links from Simulink Objects to DOORS Requirements
Navigating from a Simulink Object to a DOORS Requirement
Synchronizing a Simulink Model to Create a Surrogate Module
Updating the Surrogate Module to Reflect Model Changes
Navigating Using the Surrogate Module
Navigating from a Simulink Object to a Requirement
Navigating from a Requirement to the Model
Viewing Objects with Requirements in the Model Editor
Viewing Objects with Requirements in the Model Explorer
Creating a Default Requirements Report for a Model
Customizing a Requirements Report with Links to DOORS Requirements
Creating Two-Way Links
Navigating Two-Way Links

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

Model Coverage

Details
Decisions Analyzed
Conditions Analyzed
MCDC Analysis
N-Dimensional Lookup Table
Signal Range Analysis
Displaying Model Coverage with Model Coloring
Creating a Model with Embedded MATLAB Function Block Decisions
Understanding Embedded MATLAB Function Block Model Coverage

Model Advisor Check

Model Advisor Code Example: Registering Custom Checks and Process Callbacks
Model Advisor Code Example: Check Definition Function
Model Advisor Code Example: Input Parameter Definition
Model Advisor Code Example: List View Definition
Model Advisor Code Example: Action Definition
Model Advisor Code Example: Informational Check Callback Function
Model Advisor Code Example: Basic Check with Pass/Fail Status
Model Advisor Code Example: Check With Subchecks and Actions
Model Advisor Code Example: Action Callback Function
Model Advisor Code Example: Formatted Output

Model Advisor Organization

How To Organize Checks and Folders Using the Model Advisor Configuration Editor
Model Advisor Code Example: Registering Custom Tasks and Folders
Model Advisor Code Example: Task Definition Function
Model Advisor Code Example: Group Definition

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