Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Content layer
id823790431
Content column
id823790433
Content block
id129321779

On this page

Table of Contents
maxLevel4
minLevel3

Content block
id823790432

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. Having the system parameter calculated, you can verify the system requirement and give the verdict on whether it is satisfied or not. The modeling tool enables to perform this verification automatically.

Getting ready for automated requirements verification

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


To get ready for automated requirements verification


  1. Define the constraint in Requirement text.
  2. Draw a Satisfy relationship from the Value Property to the Requirement.

    Info

    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 expression in the tooltip is not correct, do the following:
    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

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

Warning

To perform the automatic Requirements verification you must have the Cameo Simulation Toolkit installed. How to install >>


To perform automatic Requirements verification


  1. Right-click the Block which contains 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 Start or press F8 to start simulation.
    The result if value is satisfied or not 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 Requirement constraint is checked automatically.


Info
titleAdditional features of Cameo Simulation Toolkit

Learn more about how to perform verification for a single element >>

Learn more about how to validate the model against a set of validation rules before executing it >>


Webinar: Automated Requirements Verification


Widget Connector
urlhttps://www.youtube.com/watch?v=eVzKcnafHpE


Content block
id823790430

Related pages