A Translation of Statecharts into Signal Approach of Time, Interoperability

Authors:
J. R. Beauvais;R. Houdebine;P. Le Guernic;E. Rutten;T. Gautier
Affiliations:
-;-;-;-;-
Venue:
CSD '98 Proceedings of the 1998 International Conference on Application of Concurrency to System Design
Year:
1998

Citing 0
Cited 5

Efficient scheduling of conditional behaviors for high-level synthesis

ACM Transactions on Design Automation of Electronic Systems (TODAES)
Mode-automata: a new domain-specific construct for the development of safe critical systems

Science of Computer Programming - Special issure on formal methods for industrial critical systems (FMICS 2000)
Visualizing graphical and textual formalisms

Information Systems
Design of clocked circuits using UML

Proceedings of the 2005 Asia and South Pacific Design Automation Conference
Translation of Z specifications to executable code: Application to the database domain

Information and Software Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

The languages for modeling reactive systems can be divided in two styles: the imperative ones and the declarative ones. This 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.