modelRequirement
Example for Requirement (Property shall not be Violated)
Extends from Modelica.Icons.Example (Icon for runnable examples).
Information
Using the Requirement block as
results in
 |
|
| simulation result |
and gives the following output to the output window:
Requirements violated (1 of 3):
(R_violated at 1.5 s): Input gives a violated requirement
Requirements untested (1 of 3):
(R_Undecided): Input gives an undecided requirement
Requirements satisfied (1 of 3):
(R_Satisfied): Input gives a satisfied requirement
Components
| Type | Name | Default | Description |
|---|---|---|---|
| Modelica.Blocks.Sources.BooleanTable | check | ||
| Modelica_Requirements.Sources.PropertyConstant | propertyConstant | ||
| Modelica_Requirements.Verify.PrintViolations | printViolations | ||
| Modelica_Requirements.Verify.Requirement | R_violated | ||
| Modelica_Requirements.Verify.Requirement | R_Satisfied | ||
| Modelica_Requirements.Verify.Requirement | R_Undecided | ||
| Modelica_Requirements.LogicalBlocks.BooleanToProperty | BtoP1 | ||
| Modelica_Requirements.ChecksInFixedWindow.During | during1 |