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:
| 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 |