As seen in §2.5, an Esterel program can raise some temporal paradoxes, which involve either the absence of any behavior or a non-deterministic behavior. This phenomenon, which appears in all really synchronous languages, comes from the fact that a program reaction, while considered instantaneous, is made up of a sequence of elementary actions (sometimes called “microsteps” [HPSS86]) that are performed in fixed order 1: the first statement of a sequence is performed “before” the second one, a “present S do <stat>” statement checks the presence of S “before” any signal emission involved by “<stat>,” and so forth.
KeywordsBoolean Expression Static Verification Causality Loop Input Part Program Fragment
Unable to display preview. Download preview PDF.