.Modelica_Requirements.Verify.BooleanRequirement

Information

This block is used to verify a requirement. The Boolean input signal "property" shall always be true. This signal is mapped to a 3-valued logic Property (= Property.Satisfied if true and Property.Violated if false).

In the top level of a model, block PrintViolations has to be dragged. This block prints an information message at the end of a simulation, whether a Requirement has been violated in the current simulation run. Furthermore, all Requirement instances store information about the Requirement in a log file (the default name is "<root-name>_log.txt"; this name can be changed via parameter logFile in the instance of PrintViolations. Exactly one line is printed in the log file for every used Requirement block that is either violated or untested:

If the Requirement instance is violated at least once:

   Requirement violated: <full path name> (at time = <first failure time> s)

If the Requirement instance is not tested:

   Requirement untested: <full path name>

For an example to use the Requirement block in graphical form, see Examples.Elementary.Verify.Requirement.
For an example to use the Requirement block in textual form, see Examples.Textual.Elementary.Verify.Requirement.