Timeouts
Timeouts are a Rational Statemate feature of SAG. In order to handle timeouts, SAG generates an additional Runnable Entity that functions as a time counter. This Runnable Entity, called TIME_COUNTER, will be activated periodically by a dedicated Timing Event. TIME_COUNTER increments an Inter-Runnable-Variable, called CounterTime, on every run.
You can control the creation of the Timer Runnable Entity and set the rate period of its Timing Event, using the GUI menu Options >Set Timer Configuration. See the following figure:
The timer Runnable Entity is generated under the following conditions:
The following example is the Runnable Entity's entry function implementation in usercode.c:
SAG allows the user to define the Defining Minimum and Maximum values for the CounterTime variable, using the dialog options->Set Timer Configuration.