packageChecksInFixedWindow
Library of check blocks (if the condition input is true, a property must hold)
Extends from Modelica.Icons.Package (Icon for standard packages).
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 |