.CRML.Requirements.CheckAtEnd

Information

Syntax

y = CheckAtEnd(u = condition, tl = time_period);

Description

Each instance of this block creates a requirement that evaluates whether the condition u is true at the end of the time period tl (which can be a continuous or discrete time period). The condition is a Boolean4 that takes its values in the { true, false, undecided, undefined } set. The value y is undefined, undecided, true or false.

The difference with the Ensure block is the following: CheckAtEnd is evaluated at the end of time period tl only so that the value of y within tl is always undecided.

To create continuous time locators, refer to the ContinuousTimeLocator block. To create discrete time locators, refer to the DiscreteTimeLocator block.

The value of a requirement is a Boolean4 that can be used as input of another Ensure block. It is therefore possible to express requirements on requirements.

Requirements can be combined using Boolean4 operators, refer to the Logical4 package.CRML.Requirements.CheckAtEnd

The condition u can be generated by converting Boolean signals to Boolean4 signals with the block BooleanToBoolean4, or by using the output y of another requirement block.

Example

This block is demonstrated with the following example: