blockCheckReal

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:

Parameters

TypeNameDefaultDescription
IntegerNCRML.ETL.Types.nMaxOverlap
StringboxNamecondition[1].name

Connectors

TypeNameDefaultDescription
Connectors.Boolean4InputuBoolean4 condition
Connectors.TimeLocatorInputtl
Connectors.Boolean4OutputyResult of the comparison
Connectors.RealInputthreshold

Components

TypeNameDefaultDescription
CRML.Blocks.Logical4.And4_nand4
Evaluator.Evaleval
CRML.Blocks.Routing.Boolean4Replicatorboolean4Replicator
CRML.Blocks.Routing.RealReplicatorintegerReplicator
FunctiongenericFunction
Conditioncondition
CRML.Blocks.Logical4.BooleanToBoolean4booleanToBoolean3_1

Contents

NameDescription
Function
Condition