Distributed synthesis for well-connected architectures - Archive ouverte HAL
Communication Dans Un Congrès Année : 2006

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 set of all sets of input variables visible by output variables is totally ordered, under set inclusion. 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
GSZ-fsttcs2006.pdf (182.45 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00306316 , version 1 (01-08-2008)

Identifiants

Citer

Paul Gastin, Nathalie Sznajder, Marc Zeitoun. Distributed synthesis for well-connected architectures. FSTTCS06, 2006, Kolkata, India. pp.321-332, ⟨10.1007/11944836_30⟩. ⟨hal-00306316⟩
221 Consultations
151 Téléchargements

Altmetric

Partager

More