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

model checkingtheorem provingtimed automatawireless sensor networksclock synchronization algorithmsindustrial application of formal methods

Mathematics Subject Classification ID

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)

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)

• Multi-scale verification of distributed synchronisation
• A filter-based clock synchronization protocol for wireless sensor networks
• 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
• scientific article; zbMATH DE number 7156524 (Why is no real title available?)

Describes a project that uses

Uses Software

• Mcmt
• Automath
• Uppaal
• Isabelle/HOL
• 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)