User`s guide

2 Links Between Models and Requirements
2-48
Create RMI Link to a Simulink Object
Create an RMI link from Verification Subsystem2 to the emergencyDown state in the
slvnvdemo_powerwindowController model.
1
Open slvnvdemo_powerwindowController model.
2
Right-click on emergencyDown state and select Requirements > Select for
linking with Simulink.
3
Right-click on Verification Subsystem2 and select Requirements > Add link to
selected object.
4
Right-click the Verification Subsystem2. The new RMI link appears at the top of
Requirements submenu.
5
Close slvnvdemo_powerwindowController model.
6
Right-click on Verification Subsystem2. Navigate the new link at the top of the
Requirements submenu. Model opens and emergencyDown state is highlighted.
Link Simultaneously to Multiple Simulink Objects
You can link to a multiple selection of Simulink objects. Use the Shift key to select all
the following objects as in figure below.
• iniDriverDown
• autoDriverDown
• after(5,tick) transition out of iniDriverDown
• [driver[1]] transition to autoDriverDown