Statecharts: A visual formalism for complex systems
Science of Computer Programming
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hierarchical Automata as Model for Statecharts
ASIAN '97 Proceedings of the Third Asian Computing Science Conference on Advances in Computing Science
A formal approach to reactive systems software: a telecommunications application in ESTEREL
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
Implementing Statecharts in PROMELA/SPIN
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
An automatic mapping from statecharts to verilog
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Validated code generation for activity diagrams
ICDCIT'05 Proceedings of the Second international conference on Distributed Computing and Internet Technology
Translation of Z specifications to executable code: Application to the database domain
Information and Software Technology
Hi-index | 0.00 |
Statecharts and ESTEREL are two formalisms that have been widely used in the development of reactive systems. Statecharts are a powerful graphical formalism for system specification. ESTEREL is a rich synchronous programming language with supporting tools for formal verification. In this paper, we propose a translation of Statecharts to ESTEREL and discuss such an implementation. A characteristic feature of the translation is that deterministic Statechart programs can be effectively translated to ESTEREL and hence, the tools of verification of ESTEREL can be used for verifying Statechart programs as well. The translation serves as a diagnostic tool for checking nondeterminism. The translation is syntax-directed and is applicable for synchronous and asynchronous (referred to as the superstep model) models. In the paper, we shall describe the main algorithms for translation and implementation and illustrate the same with examples. We have built a prototype system based on the translation. It has the advantages of the visual power usually liked by engineers reflected in Statecharts and of a language that has a good semantic and implementation basis such as ESTEREL that can be gainfully exploited in the design of reliable reactive systems.