Simulink Verification and Validation

Contents

Index

• Getting Started

• Managing Model Requirements

About the Requirements Management Interface

• About Requirements Documents

Requirements Document Types

Locations Within Requirements Documents

• Linking a Simulink Object to a Location in a Requirements Document

What Is Selection-Based Linking?

Creating a Requirements Document in Microsoft Word

Linking from a Simulink Object to a Selected Item in a Requirements Document

Customizing Selection-Based Linking

Linking from a Simulink Object to a Specified Location in a Requirements Document

Creating a Requirements Document in a Microsoft Excel Spreadsheet

Adding Requirement Links to Multiple Objects Simultaneously

Linking a Signal Builder Block to a Requirement

Resolving the Document Path

• Viewing Simulink Objects That Have Requirements Links

Highlighting Objects with Requirements in the Model Editor

Highlighting Objects with Linked Requirements from Model Explorer

• Deleting Requirement Links from Simulink Objects

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 a Requirements Report

Creating the Default Requirements Report

Customizing a Requirements Report

• Navigating from Requirements Documents to Simulink Objects

Configuring the RMI to Insert Navigation Controls

Enabling ActiveX Controls

Creating Navigation Controls in Requirements Documents

Troubleshooting Simulink Navigation Controls in Microsoft Office 2007

• Linking to Custom Types of Requirements Documents

Built-In Link Types

Why Create a Custom Link Type?

Custom Link Type Registration

Link Properties

Link Type Properties

Creating a Custom Link Requirement Type

Navigating to Simulink Objects from External Documents

• Using the System Requirements Block in a Model

About the System Requirements Block

Adding the System Requirements Block

Renaming the System Requirements Block

Including Requirements Information with Generated Code

• Managing Requirements with DOORS Software

Why Use DOORS Requirements with Simulink Objects?

• Configuring the Requirements Management Interface for DOORS Software

Before You Begin

Installing DOORS Software

Manually Installing Additional Files for DOORS Software

Upgrading DOORS Software

• Linking Simulink Objects to DOORS Requirements

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 a DOORS Surrogate Module

What Is a Surrogate Module?

What Is Synchronization?

Advantages of Synchronization

Synchronizing a Simulink Model to Create a Surrogate Module

Customizing the Synchronization

Updating the Surrogate Module to Reflect Model Changes

Navigating Using the Surrogate Module

• Viewing Simulink Objects with Requirements

Viewing Objects with Requirements in the Model Editor

Viewing Objects with Requirements in the Model Explorer

• Creating Requirements Reports

About Requirements Reports

Creating a Default Requirements Report for a Model

Customizing a Requirements Report with Links to DOORS Requirements

• Creating Two-Way Links Between Requirements and Simulink Objects

Creating Two-Way Links

Navigating Two-Way Links

• 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

• Introduction to Model Coverage

What Is Model Coverage?

How Model Coverage Works

Simulink Optimizations and Model Coverage

Types of Model Coverage

Blocks That Receive Model Coverage

• Analyzing Model Coverage

Model Coverage Analysis Workflow

Creating and Running Test Cases

• Model Coverage Reporting Options

Coverage Settings Dialog Box

• Understanding Model Coverage Reports

Types of Coverage Reports

Model Coverage Reports

Model Summary Reports

Model Reference Coverage Reports

External M-File Coverage Reports

Subsystem Coverage Reports

• Colored Simulink Diagram Coverage Display

How Model Coverage Highlighting Works

Enabling the Colored Diagram Display

Displaying Model Coverage with Model Coloring

Accessing Coverage Information for Colored Blocks

• Using Model Coverage Commands

About Model Coverage Commands

Creating Tests with cvtest

Running Tests with cvsim

Producing HTML Reports with cvhtml

Saving Test Runs to a File with cvsave

Loading Stored Coverage Test Results with cvload

Coverage Script Example

• Using Model Coverage Commands for Referenced Models

Creating a Test Group with cv.cvtestgroup

Running Tests with cvsimref

Extracting Results from cv.cvdatagroup

• Model Coverage for Embedded MATLAB Function Blocks

Types of Model Coverage in Embedded MATLAB Function Blocks

Creating a Model with Embedded MATLAB Function Block Decisions

Understanding Embedded MATLAB Function Block Model Coverage

• Customizing the Model Advisor

• Overview of the Model Advisor

• Why Use and Customize the Model Advisor?

Customizing and Using the Model Advisor Workflow

Before Customizing the Model Advisor

• Authoring Custom Checks

Authoring Checks Workflow

Customization File Overview

• Register Checks and Process Callbacks

• Defining Custom Checks

• Creating Callback Functions and Results

• Creating Custom Configurations by Organizing Checks and Folders

• Overview of Creating Custom Configurations

• Organizing Checks and Folders Using the Model Advisor Configuration Editor

• Organizing Checks and Folders Within a Customization File

• Verifying and Using Custom Configurations

• Deploying Custom Configurations

• Overview of Deploying Custom Configurations

How to Deploy Custom Configurations

Loading and Setting the Default Configuration

• Model Advisor Checks

• Simulink Verification and Validation Checks

Simulink Verification and Validation Checks Overview

Modeling Standards Checks Overview

• DO-178B Checks

DO-178B Checks Overview

Check safety-related optimization settings

Check safety-related diagnostic settings for solvers

Check safety-related diagnostic settings for sample time

Check safety-related diagnostic settings for signal data

Check safety-related diagnostic settings for parameters

Check safety-related diagnostic settings for data used for debugging

Check safety-related diagnostic settings for data store memory

Check safety-related diagnostic settings for type conversions

Check safety-related diagnostic settings for signal connectivity

Check safety-related diagnostic settings for bus connectivity

Check safety-related diagnostic settings that apply to function-call connectivity

Check safety-related diagnostic settings for compatibility

Check safety-related diagnostic settings for model initialization

Check safety-related diagnostic settings for model referencing

Check safety-related model referencing settings

Check safety-related code generation settings

Check safety-related diagnostic settings for saving

Check for model objects that do not link to requirements

Check for proper usage of Math blocks

Check for proper usage of For Iterator blocks

Check for proper usage of While Iterator blocks

Display model version information

Check for proper usage of blocks that compute absolute values

Check for proper usage of Relational Operator blocks

• IEC 61508 Checks

IEC 61508 Checks Overview

Display model metrics and complexity report

Check for unconnected objects

Check for fully defined interface

Check for questionable constructs

Check usage of Stateflow constructs

Check for model objects that do not link to requirements

Display configuration management data

Check usage of Simulink constructs

• MathWorks Automotive Advisory Board Checks

MathWorks Automotive Advisory Board Checks Overview

Check for difference in font and font sizes

Check transition orientations in flow charts

Check for display of nondefault block attributes

Check for proper labeling on signal lines

Check for propagated labels on signal lines

Check default transition placement in Stateflow charts

Check setting Stateflow graphical function return value

Check for blocks not using one-based indexing

Check for invalid file names

Check for invalid model directory names

Check for blocks that are not discrete

Check for prohibited sink blocks

Check for invalid port positioning and configuration

Check for mismatches between names of ports and corresponding signals

Check whether block names do not appear below blocks

Check for systems that mix primitive blocks and subsystems

Check whether model has unconnected block input ports, output ports, or signal lines

Check for improperly positioned Trigger and Enable blocks

Check whether annotations have drop shadows

Check whether tunable parameters specify expressions, data type conversions, or indexing operations

Check whether Stateflow events are defined at the chart level or below

Check whether Stateflow data objects with local scope are defined at the chart level or below

Check interface signals and parameters

Check for exclusive states, default states, and substate validity

Check optimization parameters for Boolean data types

Check model diagnostic settings

Check the display attributes of block names

Check icon display attributes for port blocks

Check whether subsystem block names include invalid characters

Check whether Inport and Outport block names include invalid characters

Check whether signal line names include invalid characters

Check whether block names include invalid characters

Check Trigger and Enable block port names

Check for Simulink diagrams that have nonstandard appearance attributes

Check visibility of port block names

Check for direction of subsystem blocks

Check for proper position of constants used in Relational Operator blocks

Check for entry format in state blocks

Check for use of tunable parameters in Stateflow

Check for proper use of Switch blocks

Check for proper use of signal buses and Mux block usage

Check for mismatches between Stateflow ports and associated signal names

Check for proper scope of From and Goto blocks

• Requirements Consistency Checks

Identify requirement links with missing documents

Identify requirement links that specify invalid locations within documents

Identify selection-based links having descriptions that do not match their requirements document text

Identify requirement links with inconsistent path types and preferences

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

• Introduction

Presentation of Guidelines Hosted by The MathWorks

• Guideline Template

• Naming Conventions

General Guidelines

• Model Architecture

Simulink and Stateflow Partitioning

Subsystem Hierarchies

J-MAAB Model Architecture Decomposition

• Model Configuration Options

Model Configuration Options

Diagram Appearance

Block Parameters

Simulink Patterns

Chart Appearance

Stateflow Data and Operations

Statechart Patterns

Flowchart Patterns

Recommendations for Automation Tools

Guideline Writing

Flowchart Reference

• Background Information on Basic Blocks and Signals

Signals and Signal Labels

• Modeling Guidelines for High-Integrity Systems

• Introduction

• Block-Specific Considerations

Math Operations

Ports & Subsystems

Logic and Bit Operations

• Configuration Parameter Considerations

• Release Notes

Simulink Verification
and Validation roadmap page

	Functions:
	By Category
	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

	MathWorks Automotive Advisory Board Control Algorithm Modeling Guidelines Using MATLAB, Simulink, and Stateflow (Version 2.0)
	Describes guidelines defined by the MathWorks Automotive Advisory Board (MAAB) for modeling control algorithms

	Modeling Guidelines for High-Integrity Systems
	Describes guidelines defined by The MathWorks for high-integrity systems using Model-Based Design

	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 you can run from the Help browser to 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 reflect the most recent version of Simulink Verification and Validation and might describe features not available in earlier versions of the software.
	Simulink Verification and Validation User's Guide
	Simulink Verification and Validation Release Notes
	MathWorks Automotive Advisory Board Control Algorithm Modeling Guidelines Using MATLAB, Simulink, and Stateflow (Version 2.0)
	Modeling Guidelines for High-Integrity Systems

The MathWorks Web Site Resources

	MATLAB Central
	Product Page
	Platforms & Requirements

	Related Books
	Related Products
	Technical Support

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