Cached sensornet transformation of non-silent self-stabilizing algorithms with unreliable links

Hirotsugu Kakugawa, Yukiko Yamauchi, Sayaka Kamei, Toshimitsu Masuzawa

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

A wireless sensor network is a set of nodes, each is equipped with sensors and a wireless communication device. Cached Sensornet Transform (CST for short) is a methodology for design and implementation of self-stabilizing algorithms for sensor networks. It transforms a self-stabilizing algorithm in the abstract computational model to a program for sensor networks. In the literature, only CST transformation of silent self-stabilizing algorithms have been investigated, while non-silent ones have not been investigated. Our contribution in this paper is threefold. We present a counterexample of a non-silent algorithm transformed by CST that does not behave correctly despite the original algorithm is correct. We show a sufficient condition for original algorithms and networks such that a transformed algorithm by CST behaves correctly. We present a token circulation algorithm that behaves correctly by CST, and derive upper bound of its expected convergence time.

Original languageEnglish
Title of host publicationStabilization, Safety, and Security of Distributed Systems - 11th International Symposium, SSS 2009, Proceedings
Pages428-442
Number of pages15
DOIs
Publication statusPublished - 2009
Event11th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2009 - Lyon, France
Duration: Nov 3 2009Nov 6 2009

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5873 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other11th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2009
CountryFrance
CityLyon
Period11/3/0911/6/09

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Cached sensornet transformation of non-silent self-stabilizing algorithms with unreliable links'. Together they form a unique fingerprint.

  • Cite this

    Kakugawa, H., Yamauchi, Y., Kamei, S., & Masuzawa, T. (2009). Cached sensornet transformation of non-silent self-stabilizing algorithms with unreliable links. In Stabilization, Safety, and Security of Distributed Systems - 11th International Symposium, SSS 2009, Proceedings (pp. 428-442). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5873 LNCS). https://doi.org/10.1007/978-3-642-05118-0_30