User`s guide

2 Links Between Models and Requirements
2-44
Link to Requirements Modeled in Simulink
You can use Simulink to model your design requirements. For example, you can
use verification blocks to specify desired system properties and model the design
requirements. The Requirements Management Interface (RMI) allows you to create
navigation links between the requirements modeled in Simulink, the associated Simulink
objects, and related test cases. This example shows how to use the RMI to create and
view links to requirements modeled in Simulink.
Open Example Model
Open the Power Window Controller model by typing the command:
open_system('slvnvdemo_powerwindowController');
Loading RMI data from ...eqs\slvnvdemo_powerwindowRequirements.req