Reinhard Budde

Learn More
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)