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)
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)
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)
The programming language synERJY is presented. It integrates object-orientation and synchronous formalisms in the spirit of Esterel, Lustre, and Statecharts.
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)
In recent years, an increasing number of school children is beginning to learn about robotics in the classroom in order to stir their interest in STEM professions. Teachers rely on simple educational robots and intuitive programming environments and graphical programming environments have become a frequent starting point for young robotics newbies. However,… (More)