- Full text PDF available (9)
Synchronous programming is available through several formally defined languages having very different characteristics: ESTEREL is imperative, while LUSTRE and SIGNAL are declarative in style; STATECHARTS and ARGOS are graphical languages that allow one to program by constructing hierarchical automata. Our motivation for taking the synchronous design… (More)
SODOI (Synchronous Object Oriented Design FlOw for Embedded ApplIcations) is a design ow for the development of embedded systems. It is based on the language synchronous Eifel (sE) which uniies the synchrony hypothesis with OO design principles. sE uses a compact and optimized intermediate representation of Synchronous Automatons which allows to apply both… (More)
We propose to extend the synchronous language Esterel by coordination primitives and by an asynchronous parallel composition operation on the level of modules. This is to program reactive systems such that subsystems may proceed at their own speed without enforcing a global knowledge of time. We intend is to stick with the synchronous language paradigm as… (More)
Design of complex controller calls for models that are both simple to grasp and mathematically sound. They should support information hiding to facilitate re-use and exibility. The combination of the synchronous model with object-orientation promises to be a solution. Today controller design is a multi-displicinary eeort, involving e.g. control engineers… (More)
The programming language synERJY is presented. It integrates object-orientation and synchronous formalisms in the spirit of Esterel, Lustre, and Statecharts.