packageChecksInSlidingWindow

Information

This library provides blocks that check properties in a sliding time window. Blocks performing checks in fixed windows defined by a Boolean condition variable are provided in sublibrary ChecksInFixedWindow.

All blocks of this library have the following interface:

• Boolean input check is a Boolean expression that must be true according to the property check of the particular block.
• Real input window is the length of the sliding time window in seconds. A check is performed conceptually in every interval [time-window, time].
• Property output y is of enumeration type Property. If the check is successful, y = Property.Satisfied. If the check fails, y = Property.Violated. If neither of the two properties hold (for example when condition = false), y = Property.Undecided.
  If Property.Undecided cannot occur, output y is a Boolean instead of a Property.

Contents

Name	Description
MinDuration	In every sliding time window, the longest time duration where check was permanently true must be above a lower limit
MinAccumulatedDuration	In every sliding time window, the accumulated time duration where check was true must be above a lower limit
MinAccumulatedDuration2	In every sliding time window, the accumulated time duration where check was true must be above a lower limit (same as MinAccumulationDuration but with Boolean instead of Property output)
MaxDuration	In every sliding time window, the longest time duration where check was permanently true must be below an upper limit
MaxAccumulatedDuration	In every sliding time window, the accumulated time duration where check was true must be below an upper limit
BandDuration	In every sliding time window, the longest time duration where check was permanently true must be within a given band
BandAccumulatedDuration	In every sliding time window, the accumulated time duration where check was true must be within a given band
MinRising	In every sliding time window, a minimum number of check rising edges must occur
MaxRising	In every sliding time window, the number of check rising edges is bounded
BandRising	In every sliding time window, a minimum number of check rising edges must occur and the number of check rising edges is bounded
MaxFrequency	In every sliding time window, the mean frequency of check is limited
MaxRisingFrequency	In every sliding time window, the mean frequency of the check rising edges is limited
MaxIncrease	In every sliding time window, the increase of the input is limited
MaxPercentageIncrease	In every sliding time window, the percentage increase of the input is limited