STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Software Requirements Analysis for Real-Time Process-Control Systems
IEEE Transactions on Software Engineering
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
An open graph visualization system and its applications to software engineering
Software—Practice & Experience - Special issue on discrete algorithm engineering
Embedding Imperative Synchronous Languages in Interactive Theorem Provers
ACSD '01 Proceedings of the Second International Conference on Application of Concurrency to System Design
Comfortable modeling of complex reactive systems
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Computing SyncCharts Reactions
Electronic Notes in Theoretical Computer Science (ENTCS)
Instantaneous Transitions in Esterel
Electronic Notes in Theoretical Computer Science (ENTCS)
SyncCharts in C: a proposal for light-weight, deterministic concurrency
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
On the pragmatics of model-based design
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
Statechart development beyond WYSIWYG
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Scenario-based verification in presence of variability using a synchronous approach
Frontiers of Computer Science: Selected Publications from Chinese Universities
| Hi-index | 0.00 |
Esterel and Safe State Machines (SSMs) are synchronous languages dedicated to the modeling of embedded reactive systems. While Esterel is a textual language, SSMs are based on the graphical Statecharts formalism. Statecharts are often more intuitive to understand than their textual counterpart, and their animated simulation can help to visualize subtle behaviors of a program. However, in terms of editing speed, revision management, and meta-modeling, the textual nature of Esterel is advantageous. We present an approach to transform Esterel v5 programs into equivalent SSMs. This permits a design flow where the designer develops a system at the Esterel level, but uses a graphical browser and simulator to inspect and validate the system under development.We synthesize SSMs in two phases. The first phase transforms an Esterel program into an equivalent SSM, using a structural translation that results in correct, but typically not very compact SSMs. The second phase iteratively applies optimization rules that aim to reduce the number of states, transitions and hierarchy levels to enhance readability of the SSM. As it turned out, this optimization is also useful for the traditional, manual design of SSMs. The complete transformation has been implemented in a prototypical modeling environment, which allows to demonstrate the practicality of this approach and the compactness of the generated SSMs.