DocumentCode
2844055
Title
A translation of Statecharts into Signal
Author
Beauvais, J.-R. ; Gautier, T. ; Le Guernic, P. ; Houdebine, R. ; Rutten, E.
Author_Institution
Campus de Beaulieu, IRISA, Rennes, France
fYear
1998
fDate
23-26 Mar 1998
Firstpage
52
Lastpage
62
Abstract
The languages for modeling reactive systems can be divided in two styles: the imperative ones and the declarative ones. The paper shows a way to translate a Statecharts specification (imperative) to a Signal one (declarative, equational, synchronous). This translation gives access to the Signal tools from a Statecharts specification: verification, efficient/distributed/compact code generation using the clock calculus available in Signal
Keywords
formal specification; program interpreters; program verification; systems analysis; Signal specification; Signal tools; Statecharts specification; clock calculus; efficient/distributed/compact code generation; reactive systems modeling languages; verification; Automata; Calculus; Circuits; Clocks; Control systems; Equations; Signal design; Signal generators; Signal processing; Wiring;
fLanguage
English
Publisher
ieee
Conference_Titel
Application of Concurrency to System Design, 1998. Proceedings., 1998 International Conference on
Conference_Location
Fukushima
Print_ISBN
0-8186-8350-3
Type
conf
DOI
10.1109/CSD.1998.657539
Filename
657539
Link To Document