Distributed synthesis for well-connected architectures - Archive ouverte HAL
Article Dans Une Revue Formal Methods in System Design Année : 2009

Distributed synthesis for well-connected architectures

Résumé

We study the synthesis problem for external linear or branching specifications and distributed, synchronous architectures with arbitrary delays on processes. External means that the specification only relates input and output variables. We introduce the subclass of uniformly well-connected (UWC) architectures for which there exists a routing allowing each output process to get the values of all inputs it is connected to, as soon as possible. We prove that the distributed synthesis problem is decidable on UWC architectures if and only if the output variables are totally ordered by their knowledge of input variables. We also show that if we extend this class by letting the routing depend on the output process, then the previous decidability result fails. Finally, we provide a natural restriction on specifications under which the whole class of UWC architectures is decidable.
Fichier principal
Vignette du fichier
DistSynth-GSZ08.pdf (317.9 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00408878 , version 1 (03-08-2009)

Identifiants

Citer

Paul Gastin, Nathalie Sznajder, Marc Zeitoun. Distributed synthesis for well-connected architectures. Formal Methods in System Design, 2009, 34 (3), pp.215-237. ⟨10.1007/s10703-008-0064-7⟩. ⟨hal-00408878⟩
156 Consultations
156 Téléchargements

Altmetric

Partager

More