User`s guide

Create Links Between Surrogate Module and Formal Module in a DOORS Database
6-7
Create Links Between Surrogate Module and Formal Module in a
DOORS Database
The surrogate module is the interface between the DOORS formal module that contains
your requirements and the Simulink model. To establish links between the surrogate
module and the requirements module, copy the link information from the model to the
surrogate module:
1
Open the sf_car_doors model.
2
In the Simulink Editor, select Analysis > Requirements Traceability >
Synchronize with DOORS.
3
In the DOORS synchronization settings dialog box, select two options:
• Update links during synchronization
• from Simulink to DOORS.
4
Click Synchronize.
The RMI creates links from the DOORS surrogate module to the formal module.
These links correspond to links from the Simulink model to the formal module. In
this example, the DOORS software copies the links from the engine torque block and
transmission subsystems to the formal module, as indicated by the red triangles.