Motivations:
- Distributed and heterogeneous target
architectures
- Critical systems: the failure of one
processor or channel must not cause the failure of the system
Goal: To
produce automatically distributed and
fault-tolerant code
Distribution specified with
SynDEx:
- Produces automatically distributed code
minimizing the usage of physical
resources
- Formal verification of the application before code
generation: design faults are thus eliminated
