User`s guide

Navigate with the Surrogate Module
6-17
Navigate with the Surrogate Module
In this section...
“Navigate Between Requirements and the Surrogate Module in the DOORS Database”
on page 6-17
“Navigate Between DOORS Requirements and the Simulink Module via the Surrogate
Module” on page 6-18
Navigate Between Requirements and the Surrogate Module in the
DOORS Database
The surrogate module and the requirements in the formal module are both in the
DOORS database. When you synchronize your model, the DOORS software creates links
between the surrogate module objects and the requirements in the DOORS database.
Navigating between the requirements and the surrogate module allows you to review the
requirements that have links to the model without starting the Simulink software.
To navigate from the surrogate module transmission object to the requirement in the
formal module:
1
In the surrogate module object for the transmission subsystem, right-click the right-
facing red arrow.
2
Select the requirement name.
The formal module opens, at the Transmission Requirements object.
To navigate from the requirement in the formal module to the surrogate module:
1
In the Transmission Requirements object in the formal module, right-click the left-
facing orange arrow.