Requirements verification

On this page

Systems Modeling Language (SysML) is used to capture systems design as descriptive and analytical system models, which relate text requirements to the design and provide a baseline to support analysis and verification. With the system parameter calculated, you can verify the system requirement and decide whether it is satisfied or not. The modeling tool enables you to perform this verification automatically.

Getting ready for automated Requirements verification

Before performing the automatic Requirements verification, you need to get ready.

To get ready for automated Requirements verification

1. Define the constraint in the Requirement text.

2. Create a Satisfy relationship from the Value Property to the Requirement.
   

   The Value Property captures the system parameter whose value determines whether the system requirement is satisfied or not.

3. Do one of the following:

• • If the Underline Patterns in Requirement Text option is enabled, the condition pattern in the Requirement text is underlined. Move the mouse pointer over it to see the expression in the tooltip. If it is correct, you are ready to perform the automatic Requirement verification.
    
    

    Learn more:
      - How enable/disable the Underline Patterns in Requirement Text option.
      - How to define custom condition patterns.
      - How to check predefined condition patterns.
      - How to extract the Constraint from Requirement text.
    

• • If the expression in the tooltip is not correct, do the following:

1. 1. Perform either of the two options:
      • Right-click a value property in the compartment area of the element shape.
      • Right-click the Requirement.
   2. Select Tools > Extract Constraint Block From Requirement to automatically create a Constraint Block.
   3. You can modify the constraint expression and the parameters as needed (see Figure A below).

You are now ready to perform the automatic Requirement verification.

In the example above, a Constraint Block with the constraint {totalMass <= 20} and the constraint parameters is automatically created. The constraint expression is then modified to {tm=clm+html+ctm+snm+m}{tm<=20}.

Performing automated Requirements verification in Requirement Table 

The automated Requirements verification analysis can be carried out directly in the Requirement Table. The analysis is performed by evaluating whether the value of the property that satisfies the Requirement falls within a range of upper and lower bounds that are extracted from the Requirement text. Additionally, the automatically calculated margin value helps to determine how close the system model is to fulfilling Requirements.  

To perform automated Requirements verification

1. Create a Requirement Table. You can also use an existing Requirement Table. 
2. Specify the scope for the table.

3. Set the context element (i.e., a Block as the table context) to perform the context-specific analysis. 

   The Requirement Table with the Property, Bounds, Value, and Margin columns is created and passing/failing Requirements are marked (see an image below). 

Using the Requirement patterns mechanism, the constraint extracted from the Requirement text is shown in the Bounds column. The Value column shows the initial value (if it exists) or the default value of the Value Property. Finally, the Margin column displays the difference between the calculated and required values.

Performing automated requirements verification

With the help of simulation, you can perform automatic Requirements verification.

To perform automatic Requirements verification

1. Right-click the Block which contains the Value Property.
2. From the shortcut menu, select Simulation > Run.

3. In the Question dialog, click Yes to load the validation rules and validate the model before the simulation or No to simulate the model without validating it.
   

4. In the Simulation window, click  or press F8 to start simulation.
   The result indicating whether or not the value is satisfied is shown in the Variables pane. In the following figure, you can see when the Requirement is not satisfied (highlighted in red) and satisfied (highlighted in green). You can change the value directly in the Value cell and the Requirement constraint is checked automatically.
   
   
   

Webinar: Automated Requirements Verification