Analysis of a clock synchronization protocol for wireless sensor networks

DOI10.1016/J.TCS.2011.07.018MaRDI QIDQ764293zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

clock synchronization algorithmsindustrial application of formal methodsmodel checkingtheorem provingtimed automatawireless sensor networks

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Network protocols (68M12) Distributed systems (68M14) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

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

Cites work

• A formally verified algorithm for clock synchronization under a hybrid fault model
• Analysis of a biphase mark protocol with Uppaal and PVS
• Formal Methods for the Design of Real-Time Systems
• Gradient clock synchronization
• Integrated formal methods. 6th international conference, IFM 2007, Oxford, UK, July 2--5, 2007. Proceedings.
• Isabelle/HOL. A proof assistant for higher-order logic
• MCMT: a model checker modulo theories
• Methods, models and tools for fault tolerance
• Time, clocks, and the ordering of events in a distributed system

Cited in

(6)

• A secure clock synchronization scheme for wireless sensor networks against malicious attacks
• Multi-scale verification of distributed synchronisation
• Shrinking timed automata
• Target-synchronization of the distributed wireless sensor networks under the same sleeping-awaking method
• scientific article; zbMATH DE number 7156524 (Why is no real title available?)
• A filter-based clock synchronization protocol for wireless sensor networks

Describes a project that uses

Uses Software

• Uppaal
• Isabelle/HOL
• Automath
• Mcmt
• PRISM

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)