.Modelica_Requirements.ChecksInSlidingWindow.MaxAccumulatedDuration

Information

Syntax

accumulatedDurationLimited = MaxAccumulatedDuration(check=..., window=..., upperLimit=...).y;

Description

In any (sliding) time window of length window, the accumulated time duration where the Boolean input check was true (= accumulatedDuration) must be ≤ parameter upperLimit. Whenever this property is fulfilled, Boolean output y = true, otherwise y = false:

y =  accumulatedDuration ≤ upperLimit;

Example

The property is demonstrated with the following example calling the block as:

results in

simulation result

Generated at 2024-04-18T18:15:58Z by OpenModelicaOpenModelica 1.22.3 using GenerateDoc.mos