.CRML.ETL.Requirements.CheckReal

Information

Syntax

y = CheckReal (u = condition, tl = time_period, func = RealFunction(threshold = real_threshold, tl = tl));

Description

The purpose of this block is to generalize the Check block in order to evaluate requirements that take real functions as arguments such as:

within tl ensure duration u < threshold

which means

at the end time locator tl, ensure that total duration u was true is less than threshold.

In this example, func is the function that computes the accumulated time when u is true (is satisfied) and compares it to threshold.

Function func can be chosen from the dialog box among predefined real functions of the Functions package. Currently, the only implemented integer function is the Boolean4Integrator.

The comparator to the threshold (e.g. >, <, etc.) can be chosen from the dialog box among the predefined integer comparators of the Conditions package.

Example

This block is demonstrated with the following example:

Contents

Name	Description
Function
Condition