An Esterel compiler for large control-dominated systems

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Volumn 21, Issue 2, 2002, Pages 169-183

  Edwards, Stephen A ^a,b,c  

^a IEEE   (United States)

^b SYNOPSYS INC   (United States)

^c Fu Foundation School of Engineering and Applied Science   (United States)

Author keywords

Code generation; Compilers; Concurrency; Embedded systems; Esterel; Reactive; Real time language; Synchronous

Indexed keywords

CODE GENERATION; CONCURRENT CONTROL FLOW GRAPH; ESTEREL COMPILER;

ALGORITHMS; CONCURRENCY CONTROL; EMBEDDED SYSTEMS; GRAPH THEORY; HIGH LEVEL LANGUAGES; REAL TIME SYSTEMS;

PROGRAM COMPILERS;

EID: 0036473766     PISSN: 02780070     EISSN: None     Source Type: Journal    
DOI: 10.1109/43.980257     Document Type: Article

References (27)

1. The synchronous approach to reactive realtime systems
2. The Esterel synchronous programming language: Design, semantics, implementation
3. The synchronous data flow programming language LUSTRE
4. Automatic distribution of reactive systems for asynchronous networks of processors
5. Synthesis of software programs for embedded control applications
6. Synthesis of software programs for embedded control applications
7. Generating efficient protocol code from an abstract specification
8. Constructive analysis of cyclic circuits
9. Une nouvelle méthode de compilation pour le language ESTEREL
10. Efficient compilation of Esterel for real-time embedded systems
11. Software synthesis of process-based concurrent programs
12. Compositional software synthesis of communicating processes
13. Sémantiques et modèles d'exécution des langages réactifs synchrones; application à Esterel
14. An algorithm for structuring flowgraphs
15. Structuring decompiled graphs
16. A fast algorithm for finding dominators in a flowgraph
17. Programming a reflex game in Esterel V3
18. Programming a digital wristwatch in Esterel V3
19. Hardware/software co-design of an avionics communication protocol interface system: An industrial case study
20. Esterel: A formal method applied to avionic software development
21. A case study in computer-aided co-design of embedded controllers
22. Modeling design constraints and biasing in simulation using BDDs
23. Heterogeneous modeling and simulation of embedded systems in El Greco
24. ECL: A specification environment for system-level design
25. Efficient chaotic iteration strategies with widenings
26. The constructive semantics of pure Esterel
27. The specification and execution of heterogeneous synchronous reactive systems