• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2013 Fiscal Year Final Research Report

A study on fault tolerant distributed algorithms for time-bounded Byzantine faults

Research Project

  • PDF
Project/Area Number 23700019
Research Category

Grant-in-Aid for Young Scientists (B)

Allocation TypeMulti-year Fund
Research Field Fundamental theory of informatics
Research InstitutionKyushu University

Principal Investigator

YAMAUCHI Yukiko  九州大学, システム情報科学研究科(研究院, 助教 (10546518)

Project Period (FY) 2011 – 2013
Keywords分散アルゴリズム / ビザンチン故障 / 一時故障 / 自己安定アルゴリズム
Research Abstract

Large-scale distributed systems require distributed algorithms that guarantee tolerance against faults at processes. We aim to propose a new fault model in between the transient fault model and the permanent Byzantine fault model, and extend existing design schemes for fault tolerant distributed algorithms, such as self-stabilization. We focused on the mobile Byzantine fault model, and we obtained distributed algorithms for the mobile Byzantine agreement problem. Additionally, we obtained results about design of self-stabilizing algorithms, such as probabilistically stabilizing algorithms with bounded expected stabilization time, memory complexity of the leader election problem in the population protocol model.

  • Research Products

    (19 results)

All 2014 2013 2012 2011

All Journal Article (2 results) (of which Peer Reviewed: 2 results) Presentation (17 results)

  • [Journal Article] A survey on pattern formation of autonomous mobile robots : asynchrony, obliviousness and visibility2013

    • Author(s)
      Yukiko Yamauchi
    • Journal Title

      Journal of Physics : Conference Series

      Volume: Vol.473 Pages: 012016

    • Peer Reviewed
  • [Journal Article] Loosely-stabilizing leader election in population protocol model2012

    • Author(s)
      Yuichi Sudo, Junya Nakamura, Yukiko Yamauchi, Fukuhito Ooshita, Hirotsugu Kakugawa, and Toshimitsu Masuzawa
    • Journal Title

      Theoretical Computer Science

      Volume: Vol.444 Pages: 100-112

    • Peer Reviewed
  • [Presentation] 移動ビザンチン合意アルゴリズムのための高信頼性伝送アルゴリズム2014

    • Author(s)
      佐々木徹
    • Organizer
      2013年度冬のLAシンポジウム
    • Place of Presentation
      京都大学数理解析研究所
    • Year and Date
      20140128-30
  • [Presentation] Mobile Byzantine agreement on arbitrary network2013

    • Author(s)
      Toru Sasaki
    • Organizer
      Proceedings of the 17th International Conference on Principles of Distributed Systems (OPODIS 2013)
    • Place of Presentation
      Nice, France(pp.236--250 (Springer 2013, LNCS 8304))
    • Year and Date
      20131216-18
  • [Presentation] An asynchronous self-stabilizing 6-approximation for the minimum connected dominating set with safe convergence2013

    • Author(s)
      Sayaka Kamei
    • Organizer
      Proceedings of the 15th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2013)
    • Place of Presentation
      Osaka, Japan(pp.251--265 (Springer 2013, LNCS 8255))
    • Year and Date
      20131116-18
  • [Presentation] トップダウンな回転手法を用いたスプレー木の実験的性能評価2013

    • Author(s)
      松川理拓
    • Organizer
      平成25年度(第66回)電気関係学会九州支部連合大会
    • Place of Presentation
      熊本大学
    • Year and Date
      20130924-25
  • [Presentation] A survey on pattern formation by mobile robots : asynchrony, obliviousness, and visibility2013

    • Author(s)
      Yukiko Yamauchi
    • Organizer
      ELC International Meeting on Inference, Computation, and Spin Glasses (ICSG2013)
    • Place of Presentation
      Sapporo University, Sapporo, Japan
    • Year and Date
      20130728-30
  • [Presentation] 一般のネットワーク上の移動ビザンチン合意問題について2013

    • Author(s)
      佐々木徹
    • Organizer
      第143回アルゴリズム研究会
    • Place of Presentation
      飯坂温泉伊勢谷
    • Year and Date
      20130301-08
  • [Presentation] ビザンチン故障と分散制御2013

    • Author(s)
      山内由紀子
    • Organizer
      最適化ワークショップ : 拡がっていく最適化, 九州大学マス・フォア・インダストリ研究所主催
    • Place of Presentation
      九州大学,福岡
    • Year and Date
      20130218-19
  • [Presentation] On space complexity of self-stabilizing leader election in population protocol based on three-interaction2013

    • Author(s)
      Xiaoguang Xu
    • Organizer
      第143回アルゴリズム研究会
    • Place of Presentation
      飯坂温泉伊勢谷
    • Year and Date
      2013-03-01
  • [Presentation] Mobile agent rendezvous on a probabilistic edge evolving ring2012

    • Author(s)
      Yukiko Yamauchi
    • Organizer
      Proceedings of the 3rd International Conference on Networking and Computing (ICNC 2012)
    • Place of Presentation
      Okinawa, Japan(pp.103--112)
    • Year and Date
      20121205-07
  • [Presentation] Asynchronous pattern formation by anonymous oblivious mobile robots2012

    • Author(s)
      Nao Fujinaga
    • Organizer
      Proceedings of the 26th International Symposium on Distributed Computing (DISC 2012)
    • Place of Presentation
      Salvador, Brazil(pp.312--325 (Springer 2012, LNCS 7611))
    • Year and Date
      20121016-18
  • [Presentation] Brief announcement : Probabilistic stabilization under probabilistic schedulers2012

    • Author(s)
      Yukiko Yamauchi
    • Organizer
      Proceedings of the 26th International Symposium on Distributed Computing (DISC 2012)
    • Place of Presentation
      Salvador, Brazil(pp.413--414 (Springer 2012, LNCS 7611))
    • Year and Date
      20121016-18
  • [Presentation] Brief announcement : Mobile agent rendezvous on edge evolving rings2012

    • Author(s)
      Tomoko Izumi
    • Organizer
      Proceedings of the 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2012)
    • Place of Presentation
      Toronto, Canada(pp.92--94(Springer 2012, LNCS 7596))
    • Year and Date
      20121001-04
  • [Presentation] Transitivity in distributed systems using exchange property of matroid bases2012

    • Author(s)
      山内由紀子
    • Organizer
      2012年度 夏のLA シンポジウム
    • Place of Presentation
      宮津ロイヤルホテル
    • Year and Date
      20120717-19
  • [Presentation] 確率的スケジューラの下での確率的自己安定2012

    • Author(s)
      山内由紀子
    • Organizer
      2011年度冬の LA シンポジウム
    • Place of Presentation
      京都大学数理解析研究所
    • Year and Date
      20120130-0201
  • [Presentation] 完全k部グラフにおける移動ビザンチン合意問題アルゴリズムの提案2012

    • Author(s)
      佐々木徹
    • Organizer
      平成24年度(第65回)電気関係学会九州支部連合大会
    • Place of Presentation
      長崎大学
    • Year and Date
      2012-09-24
  • [Presentation] Design and communication complexity of self-stabilizing protocols resilient to Byzantine faults2011

    • Author(s)
      Yukiko Yamauchi
    • Organizer
      Proceedings of the 2nd International Conference on Networking and Computing (ICNC 2011), Workshop on Frontiers of Distributed Computing
    • Place of Presentation
      Osaka, Japan(pp.372--379)
    • Year and Date
      20111130-1202
  • [Presentation] 悪意あるユーザ存在下での自律復旧型ネットワーク2011

    • Author(s)
      山内由紀子
    • Organizer
      日本オペレーションズ・リサーチ学会九州支部 平成23年度第1回講演・研究会
    • Place of Presentation
      福岡
    • Year and Date
      2011-07-23

URL: 

Published: 2015-06-25  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi