User`s guide

v
Contents
Getting Started
1
Simulink Verification and Validation Product Description . 1-2
Key Features . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1-2
System Requirements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1-3
Operating System Requirements . . . . . . . . . . . . . . . . . . . . . . 1-3
Product Requirements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1-3
Requirements Traceability
Links Between Models and Requirements
2
Overview of the Requirements Management Interface
(RMI) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-3
Requirements Traceability Links . . . . . . . . . . . . . . . . . . 2-4
Requirements Link Storage . . . . . . . . . . . . . . . . . . . . . . . 2-5
Supported Requirements Document Types . . . . . . . . . . 2-6
Supported Model Objects for Requirements Linking . . 2-9
Selection-Based Linking . . . . . . . . . . . . . . . . . . . . . . . . . 2-10