Argos: an automaton-based synchronous language
Computer Languages
Hi-index | 0.00 |
The Modechart specification language is a formalism for the specification of real-time systems. A toolset for specification, analysis and simulation for Modechart specifications exists for supporting the design and construction of real-time systems. This paper introduces a new tool in the the toolset: a compiler for a class of Modechart specifications, namely, that of deterministic system specifications, extended by a subclass of the non-deterministic system specifications. The object code that the compiler generates is in Esterel, a member of the synchronous family of programming languages for real-time systems. We discuss a broad approach to the implementation of timina specifications, providing a range of implementation options, from the basic time step unrolling of states in Esterel, to the use of system timers. The compiler presented herein allows the specifier to obtain a correct implementation of a modecha program, including timing constraints.