.Modelica_Requirements.ChecksInFixedWindow

Information

This library provides blocks that check properties in fixed windows defined by the true value of Boolean input variable condition. Whenever this variable is true, the check is performed. Blocks performing checks in a sliding time window are provided in sublibrary ChecksInSlidingWindow.

All blocks of this library have the following interface:

• Boolean input condition. If true, the check is performed. Typically, condition is the output of a time locator from library TimeLocators.
• Boolean input check is a Boolean expression that must be true according to the property check of the particular block.
• 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.

Contents

Name	Description
During	In every true condition phase, check must be true
MinDuration	In every true condition phase, check must be true for at least the defined duration
MaxDuration	In every true condition phase, check must be true for at most the defined duration
BandDuration	In every true condition phase, check must be true for at least a minimum duration and at most a maximum duration
NoRising	In every true condition phase, no rising edge of check is allowed
FixedRising	In every true condition phase, a defined number of check rising edges must occur
MinRising	In every true condition phase, a minimum number of check rising edges must occur
MaxRising	In every true condition phase, the number of check rising edges must be bounded
BandRising	In every true condition phase, a minimum number of check rising edges must occur and the number of check rising edges is bounded
MaxRisingFrequency	In every true condition phase, the frequency of the check rising edges is limited
WhenRising	When condition input has a rising edge, check must be true
WhenFalling	When condition input has a falling edge, check must be true
WhenChanging	When condition input has a changing edge, check must be true
WithinDomain	In every true condition phase, point input must be within the domain defined by a polygon