Distributed synthesis for well-connected architecturesReportar como inadecuado

Distributed synthesis for well-connected architectures - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 LSV - Laboratoire Spécification et Vérification Cachan 2 LaBRI - Laboratoire Bordelais de Recherche en Informatique

Abstract : 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.

Keywords : Synchronous architectures. Synthesis problem Distributed systems Synchronous architectures

Autor: Paul Gastin - Nathalie Sznajder - Marc Zeitoun -

Fuente: https://hal.archives-ouvertes.fr/


Documentos relacionados