Synchronie Workbench

  • L. Holenderski
  • A. Poigné
Conference paper
Part of the Advances in Computing Science book series (ACS)


We are surrounded by reactive systems which continuously monitor and respond to events occurring in their environment. They are usually embedded as controllers in bigger systems, from such mundane things as washing machines and video recorders to more serious systems like mass transportation or nuclear power stations.


Finite State Machine Formal Verification Target Code Module Header Conventional Language 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Benveniste A. (1994): Synchronous languages provide safety in reactive systems design. In: Control Engineering, Sep. 1994, pp. 87–89Google Scholar
  2. Berry G., Gonthier G. (1992): The synchronous programming language Esterel: design, semantics, implementation. In: Science of Computer Programming, Vol. 19, pp. 87–152Google Scholar
  3. Halbwachs N. (1993): Synchronous Programming of Reactive Systems, Kluwer Academic Publishers, DordrechtMATHGoogle Scholar
  4. Halbwachs N., Caspi P., Raymond P., Pilaud D. (1991): The synchronous data flow programming language Lustre. In: Proceedings of the IEEE, Vol. 79(9), pp. 1305–1321Google Scholar
  5. Halbwachs N., Lagnier F., Raymond P. (1993): Synchronous observers and the verification of reactive systems. In: Proceedings of AMAST ‘83, Twente, The Netherlands, Springer-Verlag (Workshops in Computing)Google Scholar
  6. Holenderski L. (1997): Translating LEA to synchronous components. Report 1090, GMD (Forschungszentrum Informationstechnik GmbH), pp. 1–55Google Scholar
  7. Holenderski L., Poigné A. (1998): The multi-paradigm synchronous programming language LEA. In: FTH ‘88 (Workshop on Formal Techniques for Hardware and Hardware-like Systems), Marstrand, SwedenGoogle Scholar
  8. Maraninchi F. (1992): Operational and compositional semantics of synchronous automaton compositions. In: Proc. CONCUR ‘82, LNCS 630, Springer-Verlag, pp. 550–564Google Scholar
  9. Poigné A., Holenderski L. (1995): Boolean automata for implementing pure Esterel. Report 964, GMD (Forschungszentrum Informationstechnik GmbH), pp. 1–47Google Scholar
  10. SYRF ( 1997 ): Synchronous Reactive Formalisms, Esprit “Long Term Research“ Project 22703,
  11. SWB (1997): Synchronie Workbench, version 0.8,

Copyright information

© Springer-Verlag Wien 1999

Authors and Affiliations

  • L. Holenderski
  • A. Poigné

There are no affiliations available

Personalised recommendations