Analysis of a clock synchronization protocol for wireless sensor networks
DOI10.1016/J.TCS.2011.07.018zbMATH Open1307.68009OpenAlexW2109069777MaRDI QIDQ764293FDOQ764293
Authors: Faranak Heidarian, Julien Schmaltz, F. Vaandrager 
Publication date: 13 March 2012
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2011.07.018
Recommendations
- A filter-based clock synchronization protocol for wireless sensor networks
- Clock synchronization in wireless sensor networks: analysis and design of error precision based on lossy networked control perspective
- Average TimeSynch: a consensus-based protocol for clock synchronization in wireless sensor networks
- Time synchronization methods for wireless sensor networks: A survey
- Clock synchronization protocol for wireless sensor networks with bounded communication delays
model checkingtheorem provingtimed automatawireless sensor networksclock synchronization algorithmsindustrial application of formal methods
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Network design and communication in computer systems (68M10) Distributed systems (68M14) Network protocols (68M12)
Cites Work
- Formal Methods for the Design of Real-Time Systems
- Isabelle/HOL. A proof assistant for higher-order logic
- Time, clocks, and the ordering of events in a distributed system
- MCMT: a model checker modulo theories
- Methods, models and tools for fault tolerance
- Integrated formal methods. 6th international conference, IFM 2007, Oxford, UK, July 2--5, 2007. Proceedings.
- Analysis of a biphase mark protocol with Uppaal and PVS
- Gradient clock synchronization
- A formally verified algorithm for clock synchronization under a hybrid fault model
Cited In (6)
- Multi-scale verification of distributed synchronisation
- A secure clock synchronization scheme for wireless sensor networks against malicious attacks
- Shrinking timed automata
- Target-synchronization of the distributed wireless sensor networks under the same sleeping-awaking method
- A Filter‐based Clock Synchronization Protocol for Wireless Sensor Networks
- Title not available (Why is that?)
Uses Software
This page was built for publication: Analysis of a clock synchronization protocol for wireless sensor networks
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q764293)
