%0 Conference Proceedings
%T Verification of Ad Hoc Networks with Node and Communication Failures
%+ Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi [Genova] (DIBRIS)
%+ Laboratoire d'informatique Algorithmique : Fondements et Applications (LIAFA)
%+ Department of Computer Science and Engineering [Bologna] (DISI)
%+ Foundations of Component-based Ubiquitous Systems (FOCUS)
%A Delzanno, Giorgio
%A Sangnier, Arnaud
%A Zavattaro, Gianluigi
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)
%C Stockholm, Sweden
%Y Holger Giese
%Y Grigore Rosu
%I Springer
%3 Formal Techniques for Distributed Systems
%V LNCS-7273
%P 235-250
%8 2012-06-13
%D 2012
%Z Cognitive science/Computer scienceConference papers
%X We investigate the impact of node and communication failures on the decidability and complexity of parametric verification of a formal model of ad hoc networks. We start by considering three possible types of node failures: intermittence, restart, and crash. Then we move to three cases of communication failures: nondeterministic message loss, message loss due to conflicting emissions, and detectable conflicts. Interestingly, we prove that the considered decision problem (reachability of a control state) is decidable for node intermittence and message loss (either nondeterministic or due to conflicts) while it turns out to be undecidable for node restart/crash, and conflict detection.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-00909367/document
%2 https://inria.hal.science/hal-00909367/file/978-3-642-30793-5_15_Chapter.pdf
%L hal-00909367
%U https://inria.hal.science/hal-00909367
%~ UNIV-PARIS7
%~ CNRS
%~ INRIA
%~ INRIA-SOPHIA
%~ INRIASO
%~ INRIA_TEST
%~ TESTALAIN1
%~ IFIP-LNCS
%~ IFIP
%~ INRIA2
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-FORTE
%~ IFIP-FMOODS
%~ IFIP-LNCS-7273
%~ UNIV-PARIS