.Modelica_Requirements.ChecksInFixedWindow.NoRising

Information

Syntax

property = NoRising(condition=..., check=...).y;

Description

In every duration where the Boolean input condition is true, the Boolean input check must not have any rising edges. Property output y is initialized to Undecided. When condition becomes true (so entering a duration), property output y = Undecided until either check has a rising edge in this duration, then y = Violated, or the condition becomes false without any rising edge of check, then y = Satisfied.

Violated, Undecided, and Satisfied are elements of enumeration Property.

Example

This block is demonstrated with the following example:

results in

	simulation result