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

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

Generated at 2019-09-22T01:36:51Z by OpenModelicaOpenModelica 1.14.0~dev-26741-gf7ba6ee using GenerateDoc.mos