.Modelica_StateGraph2.Examples.Applications.HarelsWristWatch.Utilities.AlarmTrigger

Information

Logic for deciding whether any alarm should sound. The logic is defined in D. Harel's paper (see reference on package level) as:

T1 is the time set when alarm1 will sound.

T2 is the time set when alarm1 will sound.

P1 = alarm1 enabled and (alarm2 disabled or not T1 == T2)

P2 = alarm2 enabled and (alarm1 disabled or not T1 == T2)

P = alarm1 enabled and alarm2 enabled and T1 == T2

Alarm 1 will beep when time becomes equal to T1 and P1 is true.

Alarm 2 will beep when time becomes equal to T2 and P2 is true.

Both alarms will beep when time becomes equal to T1 and P is true.