Distributed code generation

  • Nicolas Halbwachs
Part of the The Springer International Series in Engineering and Computer Science book series (SECS, volume 215)


Reactive systems are often implemented on distributed architectures, for several reasons:
  • the code distribution is imposed by the physical architecture (sensor and actuator localization, protocols, etc);

  • the code is implemented concurrently to improve its performances; and

  • the code distribution is performed to achieve fault-tolerance (redundancy, degraded behavior, etc).


Initial Program Execution Cycle Functional Semantic Actuator Localization Temporal Semantic 
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. 1.
    The syntactic meaiis to specify a site assignment in Estcrel and Argos reinahi to be studied.Google Scholar
  2. 2.
    Of course, we use a readable version of the OC code.Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 1993

Authors and Affiliations

  • Nicolas Halbwachs
    • 1
  1. 1.IMAG InstituteGrenobleFrance

Personalised recommendations