Distributed Synthesis with Incomparable Information

Béatrice Bérard 1 Serge Haddad 2 Mathieu Sassolas 1 Marc Zeitoun 3, 2
2 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
3 Laboratoire Bordelais de recherche en informatique
LaBRI - Laboratoire Bordelais de Recherche en Informatique
Abstract : Given (1) an architecture defined by processes and communication channels between them or with the environment, and (2) a specification on the messages transmitted over the channels, distributed synthesis aims at deciding existence of local programs, one for each process, that together meet the specification, whatever the environment does. Recent work shows that this problem can be solved when a linear preorder sorts the agents w.r.t. the information received from the environment. In this paper we show a new decidability result in the case where this preorder is broken by the addition of noisy agents embedded in a pipeline architecture. This case cannot be captured by the classical framework. Besides, this architecture makes it possible to model particular security threats, known as covert channels, where two users (the sender and the receiver) manage to communicate via a noisy protocol, and despite incomparable views over the environment.
Type de document :
Rapport
[Research Report] LSV-10-17, LSV. 2010
Liste complète des métadonnées

https://hal.inria.fr/hal-00779927
Contributeur : Stefan Haar <>
Soumis le : mardi 22 janvier 2013 - 17:17:23
Dernière modification le : jeudi 11 janvier 2018 - 06:27:07

Identifiants

  • HAL Id : hal-00779927, version 1

Collections

Citation

Béatrice Bérard, Serge Haddad, Mathieu Sassolas, Marc Zeitoun. Distributed Synthesis with Incomparable Information. [Research Report] LSV-10-17, LSV. 2010. 〈hal-00779927〉

Partager

Métriques

Consultations de la notice

247