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
Define the constraint in Requirement text.
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.
Do one of the following:- if the
If the Use Requirement Term Glossary
option
option is enabled, the condition
term in
pattern in the Requirement text is underlined. Move
over
the mouse pointer over it to see the expression in the
ToolTip
tooltip. If it is correct, you are ready to perform the automatic
a. Create a constraint expression for the Constraint Block (see the figure below, a). b. Draw a Refine relationship between the Constraint Block and the Requirement (see the figure below, b). You are ready now to perform the automatic Requirement verification. Image Removed
Right-click a value property in the compartment area of the element shape.
Right-click the Requirement.
Select Tools > Extract Constraint Block From Requirement to automatically create a Constraint Block.
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.
Image Added
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
Right-click the Block which contains Value Property.
From the shortcut menu, select Simulation > Run.
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.
In the Simulation window, click 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.
