Customizing the Synchronization

DOORS Synchronization Settings

When you synchronize your Simulink model with a DOORS database, you can:

• Customize the level of detail for your surrogate module.

• Update links in the surrogate module or in the model to verify the consistency of requirements links among the model, and the surrogate and formal modules.

The DOORS synchronization settings dialog box provides the following options during synchronization.

Back to Top

Resynchronizing a Model with a Different Surrogate Module

You can synchronize the same Simulink model with a new DOORS surrogate module. For example, you might want the surrogate module to contain only objects that have requirements to DOORS, rather than all objects in the model. In this case, you can change the synchronization options to reduce the level of detail in the surrogate module:

1. In the DOORS synchronization settings dialog box, change the DOORS surrogate module path and name to the path and name of the new surrogate module in the DOORS database.

2. Specify a module with either a relative path (starting with ./) or a full path (starting with /).

   The software appends relative paths to the current DOORS project. Absolute paths must specify a project and a module name.

   When you synchronize a model, the RMI automatically updates the DOORS surrogate module path and name with the actual full path. The RMI saves the unique module ID with the module.

3. If you select a new module path or if you have renamed the surrogate module, and you click Synchronize, the Requirements: Surrogate Module Mismatch dialog box opens.

   

4. Click Continue to create a new surrogate module with the new path or name.

Back to Top

Customizing the Level of Detail in Synchronization

You can customize the level of detail in a surrogate module so that the module reflects the full or partial Simulink model hierarchy.

In Synchronizing a Simulink Model to Create a Surrogate Module, you synchronized the model with the Extra mapping additionally to objects with links option set to None. As a result, the surrogate module contains only Simulink objects that have requirement links, and their parent objects. Additional synchronization options, described in this section, can increase the level of surrogate detail. Increasing the level of surrogate detail can slow down synchronization.

The Extra mapping additionally to objects with links option can have one of the following values. Each subsequent option adds additional Simulink objects to the surrogate module. You choose None to minimize the surrogate size or Complete to create a full representation of your model. The Complete option adds all Simulink objects to the surrogate module, creating a one-to-one mapping of the Simulink model in the surrogate module. The intermediate options provide more levels of detail.

Back to Top

Resynchronizing to Include All Simulink Objects

This tutorial shows how you can include all Simulink objects in the DOORS surrogate module. Before you start these steps, make sure you have completed the tutorials Synchronizing a Simulink Model to Create a Surrogate Module and Creating Links Between the Surrogate Module and Formal Module in a DOORS Database During Synchronization.

1. Open the sf_car_doors model that you synchronized in Synchronizing a Simulink Model to Create a Surrogate Module and again in Creating Links Between the Surrogate Module and Formal Module in a DOORS Database During Synchronization.

2. In the Model Editor, select Tools > Requirements > Synchronize with DOORS.

   The DOORS synchronization settings dialog box opens.

3. Resynchronize with the same surrogate module, making sure that the DOORS surrogate module path and name specifies the surrogate module path and name that you used in Synchronizing a Simulink Model to Create a Surrogate Module.

   For information about how the RMI resolves the path to the requirements document, see Resolving the Document Path.

4. Update the surrogate module to include all objects in your model. To do this, under Extra mapping additionally to objects with links, from the drop-down list, select Complete - All blocks, subsystems, states and transitions.

5. Click Synchronize.

   After synchronization, the DOORS surrogate module for the sf_car_doors model opens with the updates. All Simulink objects and all Stateflow objects in the sf_car_doors model are now mapped in the surrogate module.

   

6. Scroll through the surrogate module. Notice that the objects with requirements (the engine torque block and transmission subsystem) retain their links to the DOORS formal module, as indicated by the red triangles.

7. Save the surrogate module.

Detailed Information About The Surrogate Module You Created

Notice the following information about the surrogate module that you created in Resynchronizing to Include All Simulink Objects:

• The name of the surrogate module is sf_car_doors, as you specified in the DOORS synchronization settings dialog box.

• DOORS object headers are the names of the corresponding Simulink objects.

• The Block Type column identifies each object as a particular block type or a subsystem.

• If you delete a previously synchronized object from your Simulink model and then resynchronize, the Block Deleted column reads true. Otherwise, it reads false.

  These objects are not deleted from the surrogate module. The DOORS software retains these surrogate module objects so that the RMI can recover these links if you later restore the model object.

• Each Simulink object has a unique ID in the surrogate module. For example, the ID for the surrogate module object associated with the Mux block in the preceding figure is 11.

• Before the complete synchronization, the surrogate module contained the transmission subsystem, with an ID of 3. After the complete synchronization, the transmission object retains its ID (3), but is listed farther down in the surrogate module. This order reflects the model hierarchy. The transmission object in the surrogate module retains the red arrow that indicates that it links to a DOORS formal module object.

Back to Top

Creating Links Between the Surrogate Module and Formal Module in a DOORS Database During Synchronization

Resychronizing to Reflect Model Changes

Related Products & Applications

• Simulink
• Control Design
• Signal Processing & Communications
• Model-Based Design
• Physical Modeling
• Verification & Validation

Get Simulink trial software

Learn more about Simulink through this collection of videos, articles, technical literature and the Getting Started with Simulink Guide.

Get this Simulink Kit