论文信息 - A translation of Statecharts into Signal

A translation of Statecharts into Signal

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.

[1] A. A. Kountouris,et al. Profiling of SIGNAL programs and its application in the timing evaluation of design implementations , 1996 .

[2] Paul Le Guernic,et al. Sequencing Data Ow Tasks in Signal , 1994 .

[3] Pascal Raymond,et al. The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.

[4] Gérard Berry,et al. The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..

[5] Nicolas Halbwachs,et al. Compiling ARGOS into Boolean Equations , 1996, FTRTFT.

[6] Paul Le Guernic,et al. For a New Real-Time Methodology , 1994 .

[7] Albert Benveniste,et al. programmi language and its , 2001 .

[8] Éric Rutten,et al. The sequencing of data flow tasks in SIGNAL: application to active vision in robotics , 1994, Proceedings Sixth Euromicro Workshop on Real-Time Systems.

[9] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[10] Amnon Naamad,et al. The STATEMATE semantics of statecharts , 1996, TSEM.

[11] Axel Poigné,et al. Synchronous Automata for Reactive, Real-Time or Embedded Systems , 1996 .

[12] Gérard Berry,et al. The constructive semantics of pure esterel , 1996 .

[13] Thierry Gautier,et al. A Translation of Statecharts into Signal Approach of Time, Interoperability , 1998 .

[14] Michael von der Beeck,et al. A Comparison of Statecharts Variants , 1994, FTRTFT.