Simulink Verification and Validation

Product Documentation

Search MATLAB Documentation
R2012a Documentation → Simulink Verification and Validation
View documentation for other releases	Learn more about Simulink Verification and Validation

Contents

Index

• Getting Started

• Product Description

• System Requirements

Operating System Requirements

Product Requirements

• User's Guide

• Requirements Traceability

• Links Between Models and Requirements

• How Is Requirements Link Information Stored?

• Reviewing Requirements

• Requirements Links Maintenance

• IBM Rational DOORS Surrogate Module Synchronization

• Navigation from Requirements Documents

• Custom Types of Requirements Documents

• Requirements Information in Generated Code

• Model Component Testing

• Overview of Component Verification

• Verifying Generated Code for a Component

• Signal Monitoring with Model Verification Blocks

• Using Model Verification Blocks

• Constructing Simulation Tests Using the Verification Manager

• Linking Test Cases to Requirements Documents Using the Verification Manager

• Model Coverage Analysis

• Model Coverage Definition

• Model Objects That Receive Model Coverage

• Setting Model Coverage Options

• Coverage Collection During Simulation

• Results Review

• Excluding Model Objects From Coverage

• Automating Model Coverage Tasks

• Checking Systems with the Model Advisor

• Checking Systems Interactively

• Checking Systems Programmatically

• Customizing the Model Advisor

• Overview of Customizing the Model Advisor

• Authoring Custom Checks

• Creating Custom Configurations by Organizing Checks and Folders

• Creating Procedural-Based Model Advisor Configurations

• Deploying Custom Configurations

• Model Advisor Checks

• Simulink Verification and Validation Checks

• DO-178B Checks

• IEC 61508 and ISO 26262 Checks

• MathWorks Automotive Advisory Board Checks

• Requirements Consistency Checks

• Release Notes

Simulink Verification
and Validation roadmap page

	Functions:
	By Category
	Alphabetical List

	Blocks:
	Alphabetical List



	Documentation Set

	Getting Started
	Introduces you to the Simulink Verification and Validation tools and gets you started using them

	User's Guide
	Provides tutorials and comprehensive information about the Simulink Verification and Validation tools

	Examples in Documentation
	Lists major examples in the Simulink Verification and Validation documentation



	Product Demos

	Simulink Verification and Validation Demos
	Presents a collection of demos that help you learn the product



	What's New

	Release Notes
	Summarizes new features, bug fixes, upgrade issues, etc.



	Printable (PDF) Documentation on the Web

	PDF Documents
	Provides printable versions of documentation for Simulink Verification and Validation

MathWorks Web Site Resources

	Demos
	MATLAB Central
	Product Page
	Platforms & Requirements

	Related Books
	Related Products
	Technical Support

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