DocumentCode
1555427
Title
The ESTEREL language
Author
Boussinot, Frédéric ; De Simone, Robert
Author_Institution
ENSMP-CMA, Valbonne, France
Volume
79
Issue
9
fYear
1991
fDate
9/1/1991 12:00:00 AM
Firstpage
1293
Lastpage
1304
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;
fLanguage
English
Journal_Title
Proceedings of the IEEE
Publisher
ieee
ISSN
0018-9219
Type
jour
DOI
10.1109/5.97299
Filename
97299
Link To Document