A translation of statecharts to esterel

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1709, Issue , 1999, Pages 983-1007

  Seshia, S A ^a,b   Shyamasundar, R K ^a   Bhattacharjee, A K ^c   Dhodapkar, S D ^c  

^a TATA INSTITUTE OF FUNDAMENTAL RESEARCH   (India)

^b CARNEGIE MELLON UNIVERSITY   (United States)

^c BHABHA ATOMIC RESEARCH CENTRE   (India)

Author keywords

[No Author keywords available]

Indexed keywords

ESTERS; FORMAL VERIFICATION; SEMANTICS; SPECIFICATIONS; TRANSLATION (LANGUAGES); VISUAL LANGUAGES;

DIAGNOSTIC TOOLS; GRAPHICAL FORMALISMS; NON-DETERMINISM; PROTOTYPE SYSTEM; REACTIVE SYSTEM; SUPPORTING TOOL; SYNCHRONOUS PROGRAMMING; SYSTEM SPECIFICATION;

PROGRAM TRANSLATORS;

EID: 84949483471     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48118-4_3     Document Type: Conference Paper

References (11)

1. andré, с. SyncCharts: A Visual Representation of Reactive Behaviors. Tech. Rep. RR 95-52, I3S, Sophia-Antipolis, France, 1995.
2. André, с. Representation and Analysis of Reactive Behaviors: A Synchronous Approach. Tech. Rep. 96-28, Universite de Nice, Sophia-Antipolis, France, 1996.
3. beauvais, j.-r. et al. A Translation of Statecharts to Signal/DC+. Tech. rep., IRISA, 1997.
4. Berry, g. A Quick Guide to Esterel Version 5.10, release 1.0. Tech. rep., Ecole des Mines and INRIA, February 1997.
5. Berry, G., Halbwachs, N., and Maraninchi, f. Unpublished note on Esterel and Argos. 1995.
6. Harel, d. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming 8 (1987), 231-274.
7. Harel, d., and Naamad, a. The STATEMATE Semantics of StateCharts. ACM Transactions on Software Engineering and Methodology 5, 4 (October 1996).
8. LeGuernic, p. et al. Programming Real-time applications with Signal. Proceedings of the IEEE 79, 9 (September 1991), 1321-1336.
9. Mikk, E., Lakhnech, у., and Siegel, M. Hierarchical automata as model for statecharts. In LNCS (Dec. 1997), 1345, pp. 181-197.
10. Mikk, е., Lakhnech, у., Siegel, M., and Holzmann, g. Implementing Statecharts in Promela/SPIN. In Proc. of the 2nd IEEE Workshop on Industrial-Strength Formal Specification Techniques (1999), IEEE Computer Society.
11. Puchol, c. et al. A Formal Approach to Reactive Systems Software: A Telecommunications Application in Esterel. In Proc. of the Workshop on Industrial Strength Formal Specification Techniques (April 1995).