Title :
The ESTEREL language
Author :
Boussinot, Frédéric ; De Simone, Robert
Author_Institution :
ENSMP-CMA, Valbonne, France
fDate :
9/1/1991 12:00:00 AM
Abstract :
The authors present the basics of the ESTEREL reactive model of synchronous parallel systems. The ESTEREL programming style, based on instantaneous communications and decisions, is illustrated through the example of a mouse handler. The ESTEREL formal semantics is described, and it is shown how programs can be compiled into finite state sequential machines for efficient execution. The implementation is described with the ESTEREL environment, including simulation, and verification and validation tools. Some ESTEREL uses in various contexts are reported
Keywords :
parallel programming; program compilers; program verification; programming environments; ESTEREL environment; ESTEREL formal semantics; ESTEREL reactive model; finite state sequential machines; instantaneous communications; mouse handler; simulation; synchronous parallel systems; validation tools; verification; Automata; Broadcasting; Equations; History; Logic; Mice; Production; Transducers;
Journal_Title :
Proceedings of the IEEE
