User`s guide

Customize DOORS Synchronization
6-9
DOORS Settings Option Description
Copy unmatched links During synchronization, selecting the following
options has the following results:
• from Simulink to DOORS: For links
between the model and the formal module,
the RMI creates matching links between the
DOORS surrogate and formal modules.
• from DOORS to Simulink: For links
between the DOORS surrogate and formal
modules, the RMI creates matching links
between the model and the DOORS modules.
Delete unmatched links During synchronization, selecting the following
options has the following results:
• Remove unmatched in DOORS: For links
between the formal and surrogate modules,
when there is not a corresponding link
between the model and the DOORS modules,
the RMI deletes the link in DOORS.
This option is available only if you select the
from Simulink to DOORS option.
• Remove unmatched in Simulink: For
links between the model and the DOORS
modules, when there is not a corresponding
link between the formal and surrogate
modules, the RMI deletes the link from the
model.
This option is available only if you select the
from DOORS to Simulink option.
Save DOORS surrogate module After the synchronization, saves changes to the
surrogate module and updates the version of the
surrogate module in the DOORS database.