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.
|On this page…|
Loading RMI data from /mathworks/devel/bat/R2014ad/build/matlab/toolbox/slvnv/rmidemos/powerwin_reqs/slvnvdemo_powerwindowRequirements.req
Open the verification model, 'Power Window Controller Temporal Property Specification''Power Window Controller Temporal Property Specification'. This model specifies properties and requirements of the slvnvdemo_powerwindowController model.
Consider the following design requirements for the controller:
Requirement 1 (Obstacle Response) - Whenever an obstacle is detected, the controller shall give the down command for one second. This requirement is modeled in Verification Subsystem2Verification Subsystem2.
Requirement 2 (Autodown feature) - If the driver presses the down button for less than 1 second, the controller keeps issuing the down command until the end has been reached, or the driver presses the up button. This requirement is modeled in Verification Subsystem3Verification Subsystem3
You can link to a multiple selection of Simulink objects. Use the Shift key to select all the following objects as in figure below.
Right-click on this group of objects, select Requirements > Select for linking with Simulink. Be careful to not lose the selections when you right-click.
Right-click on this group of objects and select Add link to selected object. Be careful to not lose the selection.
Click on the background of slvnvdemo_powerwindowController to clear the group selection.
To create links for navigation in both directions:
Select the Selection Linking tab.
Enable Modify destination for bi-directional linking.
Now, when you create a link from one Simulink object to another, a corresponding "return" link is also created.
Create RMI links to Simulink objects in the same way as links to external documents:
In the slvnvdemo_powerwindow_vs model windowslvnvdemo_powerwindow_vs model window, select Analysis > Requirements > Highlight Model to highlight all RMI links in the model, including links to Simulink objects.
In the generated report, click a hyperlink in any requirements table. This navigates to the corresponding object in Simulink diagram.
Close all open models. Do not save changes.
close_system('slvnvdemo_powerwindowController', 0); close_system('slvnvdemo_powerwindow_vs', 0);