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 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.
Work partly supported by the European research project HPRN-CT-2002-00283 GAMES and by the ACI Sécurité Informatique 2003-22 (VERSYDIS).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ahlswede, R., Cai, N., Li, S.-Y.R., Yeung, R.W.: Network information flow. IEEE Trans. Inform. Theory 46(4), 1204–1216 (2000)
Church, A.: Logic, arithmetic, and automata. In: Int. Symp. of Mathematicians, pp. 23–35 (1962)
Finkbeiner, B., Schewe, S.: Uniform distributed synthesis. In: Proc. 20th IEEE Symp. on Logic in Computer Science (LICS 2005). IEEE Computer Society Press, Los Alamitos (2005)
Gastin, P., Sznajder, N., Zeitoun, M.: Distributed synthesis for well-connected architectures. Technical report, LSV (2006)
Kupferman, O., Vardi, M.Y.: Synthesizing distributed systems. In: Proceedings of LICS 2001. Computer Society Press (2001)
Kupferman, O., Vardi, M.Y.: Church’s problem revisited. The Bulletin of Symbolic Logic 5(2), 245–263 (1999)
Lehman, A.R., Lehman, E.: Complexity classification of network information flow problems. In: Proceedings of SODA 2004, pp. 142–150. SIAM, Philadelphia (2004)
Madhusudan, P., Thiagarajan, P.S.: Distributed controller synthesis for local specifications. In: Orejas, F., Spirakis, P.G., van Leeuwen, J. (eds.) ICALP 2001. LNCS, vol. 2076, pp. 396–407. Springer, Heidelberg (2001)
Muller, D.E., Schupp, P.E.: Simulating alternating tree automata by nondeterministic automata: New results and new proofs of theorems of Rabin, McNaughton and Safra. Theoret. Comput. Sci. 2(1), 90–121 (1995)
Peterson, G., Reif, J.: Multiple-person alternation. In: 20th Annual Symposium on Foundations of Computer Science, San Juan, Puerto Rico, pp. 348–363. IEEE, New York (1979)
Pnueli, A., Rosner, R.: Distributed reactive systems are hard to synthesize. In: Proceedings of 31st IEEE Symp. FOCS, pp. 746–757 (1990)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gastin, P., Sznajder, N., Zeitoun, M. (2006). Distributed Synthesis for Well-Connected Architectures. In: Arun-Kumar, S., Garg, N. (eds) FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science. FSTTCS 2006. Lecture Notes in Computer Science, vol 4337. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11944836_30
Download citation
DOI: https://doi.org/10.1007/11944836_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-49994-7
Online ISBN: 978-3-540-49995-4
eBook Packages: Computer ScienceComputer Science (R0)