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