Home | Search | Help  
Home Page Università di Genova

Technical Report Details

Date 22-7-2011
Number DISI-TR-11-05
Title On the Verification of Timed Ad Hoc Networks
Authors Parosh Abdulla, Giorgio Delzanno, Othmane Rezine, Arnaud Sangnier, Riccardo Traverso
Bibtex Entry
E-mail delzanno@disi.unige.it
Link http://www.disi.unige.it/person/DelzannoG/Papers/tahn.pdf
Abstract We study decidability and undecidability results for parameterized verification of a formal model of timed Ad Hoc network protocols. The communication topology is represented by a graph and the behavior of each node is represented by a timed automaton communicating with its neighbors via broadcast messages. We consider verification problems formulated in terms of reachability, starting from initial configurations of arbitrary size, of a configuration that contain at least one occurrence of a node in a certain state. We study the problem for dense and discrete time and compare the results with those obtained for (fully connected) networks of timed automata.
Back to Technical Reports