User`s guide

2 Links Between Models and Requirements
2-56
Link Signal Builder Blocks to Model Objects
This example shows how to create links from a signal group in a Signal Builder block to a
model object:
1
Open the sf_car model.
2
Open the sf_car/shift_logic chart.
3
Right-click upshifting and select Requirements Traceability > Select for
Linking with Simulink.
4
In the sf_car model window, double-click the User Inputs block.
The Signal Builder dialog box opens, displaying four groups of signals. The Passing
Maneuver signal group is the current active group. The RMI associates any
requirements links that you add to the current active signal group.
5
In the Signal Builder dialog box, click the Gradual Acceleration tab.
6
At the far-right end of the toolbar, click the Show verification settings button .
(You might need to expand the Signal Builder dialog box for this button to become
visible.)
A Requirements pane opens on the right-hand side of the Signal Builder dialog
box.
7
Place your cursor in the window, right-click, and select Open Link Editor.
The Requirements Traceability Link Editor opens.
8
Click New. In the Description field, enter Upshifting.
9
In the Document type field, select Simulink. Click Use current. The software
fills in the field with the Location: (Type/Identifier) information for upshifting.