| Autor: |
Mathijs Schuts, Feng Zhu, Faranak Heidarian, Frits Vaandrager |
| Jazyk: |
angličtina |
| Rok vydání: |
2009 |
| Předmět: |
|
| Zdroj: |
Electronic Proceedings in Theoretical Computer Science, Vol 13, Iss Proc. QFM 2009, Pp 41-54 (2009) |
| Druh dokumentu: |
article |
| ISSN: |
2075-2180 |
| DOI: |
10.4204/EPTCS.13.4 |
| Popis: |
We present a detailled timed automata model of the clock synchronization algorithm that is currently being used in a wireless sensor network (WSN) that has been developed by the Dutch company Chess. Using the Uppaal model checker, we establish that in certain cases a static, fully synchronized network may eventually become unsynchronized if the current algorithm is used, even in a setting with infinitesimal clock drifts. |
| Databáze: |
Directory of Open Access Journals |
| Externí odkaz: |
|
