Distributed code generation

Abstract

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).