Distributing finite transition systems extended abstract

  • P. Caspi
  • A. Girault
Part of the Lecture Notes in Computer Science book series (LNCS, volume 605)


A program called Oc2rep has been written for the distributed memory case. It was tested on several Lustre and Esterel programs implemented on a Unix based LAN, and appeared to work satisfactorily, in the sense that the problem of distributed debugging was avoided. Yet some important studies are still to be undertaken: performance and optimization, bounding of the reaction time and finally fault tolerance.

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • P. Caspi
    • 1
  • A. Girault
    • 2
  1. 1.LGI MAGGrenoble cedexFrance
  2. 2.Merlin-Gerin Département SESGrenoble cedexFrance

Personalised recommendations