Energy-efficient stabilization of distributed systems with intermittent dynamics

• Project/Area Number: 22300009
• Research Category: Grant-in-Aid for Scientific Research (B)
• Allocation Type: Single-year Grants
• Section: 一般
• Research Field: Software
• Research Institution: Osaka University
• Principal Investigator: MASUZAWA Toshimitsu 大阪大学, 情報科学研究科, 教授 (50199692)
• Co-Investigator(Kenkyū-buntansha): KAKUGAWA Hirotsugu 大阪大学, 大学院情報科学研究科, 准教授 (80253110) ; 大下 福仁 大阪大学, 情報科学研究科, 助教 (20362650)
• Co-Investigator(Renkei-kenkyūsha): OOSHITA Fukuhito 大阪大学, 大学院情報科学研究科, 准教授 (20362650)
• Project Period (FY): 2010-04-01 – 2014-03-31
• Project Status: Completed (Fiscal Year 2013)
• Budget Amount: ¥18,070,000 (Direct Cost: ¥13,900,000、Indirect Cost: ¥4,170,000); Fiscal Year 2013: ¥3,640,000 (Direct Cost: ¥2,800,000、Indirect Cost: ¥840,000); Fiscal Year 2012: ¥4,680,000 (Direct Cost: ¥3,600,000、Indirect Cost: ¥1,080,000); Fiscal Year 2011: ¥4,680,000 (Direct Cost: ¥3,600,000、Indirect Cost: ¥1,080,000); Fiscal Year 2010: ¥5,070,000 (Direct Cost: ¥3,900,000、Indirect Cost: ¥1,170,000)
• Keywords: アルゴリズム / ディペンダブル･コンピューティング / 分散システム / ネットワーク / エネルギー効率化 / 無線ネットワーク / モバイル・エージェント / ビザンチン故障 / ディペンダブル・コンピューティング

Research Abstract

We aimed to establish the theory and the techniques of distributed algorithms for energy-efficient self-adaptability and stability in networks with intermittent dynamics. Specifically, we worked on the following subjects and obtained results.
(1) Modeling of the energy consumption of the distributed algorithms. (2) Measurements of the stability of the distributed systems in networks with intermitten dynamics. (3) The tradeoff between the energy consumption and the stability of the distributed systems. (4) Stabilization techniques for energy-efficient distributed systems.

Research Products

• [Journal Article] Randomized gathering of mobile agents in anonymous unidirectional ring networks (2014)
  • Author(s): Fukuhito Ooshita, Shinji Kawai, Hirotsugu Kakugawa, Toshimitsu Masuzawa
  • Journal Title: IEEE Transactions on Parallel and Distributed Systems Volume: (to appear) Issue: 5 Pages: 1289-1296
  • DOI: 10.1109/tpds.2013.259
  • Peer Reviewed
• [Journal Article] Analysis of distributed token circulation algorithm with faulty random number generator (2014)
  • Author(s): Shinji Kawai, Fukuhito Ooshita, Hirotsugu Kakugawa, and Toshimitsu Masuzawa
  • Journal Title: Parallel Processing Letters Volume: Vol.24, No.1 Issue: 01 Pages: 1450002-1450002
  • DOI: 10.1142/s0129626414500029
  • Peer Reviewed
• [Journal Article] Efficient Randomized Byzantine Fault-Tolerant Replication Based on Special Valued Coin Tossing (2014)
  • Author(s): Junya Nakamura, Tadashi Araragi, Shigeru Masuyama, Toshimitsu Masuzawa
  • Journal Title: IEICE Transactions on Information and Systems Volume: E97.D Issue: 2 Pages: 231-244
  • DOI: 10.1587/transinf.E97.D.231
  • NAID: 130003394826
  • ISSN: 0916-8532, 1745-1361
  • Peer Reviewed
• [Journal Article] A Method of Parallelizing Consensuses for Accelerating Byzantine Fault Tolerance (2014)
  • Author(s): Junya Nakamura, Tadashi Araragi, Toshimitsu Masuzawa, Shigeru Masuyama
  • Journal Title: IEICE Transactions on Information and Systems Volume: E97.D Issue: 1 Pages: 53-64
  • DOI: 10.1587/transinf.E97.D.53
  • NAID: 130003385484
  • ISSN: 0916-8532, 1745-1361
  • Peer Reviewed
• [Journal Article] A Concurrent Partial Snapshot Algorithm for Large-Scale and Dynamic Distributed Systems (2014)
  • Author(s): Kim Yonghwan, Tadashi Araragi, Junya Nakamura, Toshimitsu Masuzawa
  • Journal Title: IEICE Transactions on Information and Systems Volume: E97.D Issue: 1 Pages: 65-76
  • DOI: 10.1587/transinf.E97.D.65
  • NAID: 130003385485
  • ISSN: 0916-8532, 1745-1361
  • Peer Reviewed
• [Journal Article] Linear time and space gathering of anonymous mobile agents in asynchronous trees (2013)
  • Author(s): Daisuke Baba, Tomoko Izumi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
  • Journal Title: Theoretical Computer Science Volume: Vol.478 Pages: 118-126
  • DOI: 10.1016/j.tcs.2013.01.022
  • Peer Reviewed
• [Journal Article] Loosely-stabilizing leader election in population protocol model (2012)
  • Author(s): Yuichi Sudo, Junya Nakamura, Yukiko Yamauchi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
  • Journal Title: Theoretical Computer Science Volume: Vol.444 Pages: 100-112
  • DOI: 10.1016/j.tcs.2012.01.007
  • NAID: 110007995566
  • Peer Reviewed
• [Journal Article] Self-stabilizing protocols on oriented chains with joins and leaves (2012)
  • Author(s): Doina Bein, Hirotsugu Kakugawa, Toshimitsu Masuzawa
  • Journal Title: International Journal of Autonomous and Adaptive Communications Systems Volume: Vol.5, No.2 Issue: 2 Pages: 178-199
  • DOI: 10.1504/ijaacs.2012.046284
  • Peer Reviewed
• [Journal Article] Sebastien Tixeuil, Bounding the impact of unbounded attacks in stabilization (2012)
  • Author(s): Swan Dubois, Toshimitsu Masuzawa
  • Journal Title: IEEE Transactions on Parallel and Distributed Systems Volume: Vol.23, No.3 Issue: 3 Pages: 460-466
  • DOI: 10.1109/tpds.2011.158
  • Peer Reviewed
• [Journal Article] Reliable communication on emulated channels resilient to transient faults (2011)
  • Author(s): Yukiko Yamauchi, Doina Bein, Toshimitsu Masuzawa
  • Journal Title: International Journal of Foundations of Computer Science Volume: Vol.22, No.5 Pages: 1099-1122
  • Peer Reviewed
• [Journal Article] Observations on non-silent self-stabilizing algorithms in sensor networks with probabilistically intermittent link failures (2011)
  • Author(s): H.Kakugawa, Y.Yamauchi, S.Kamei, T.Masuzawa
  • Journal Title: Theoretical Computer Science Volume: 412 Issue: 33 Pages: 4336-4349
  • DOI: 10.1016/j.tcs.2010.11.013
  • Peer Reviewed
• [Journal Article] Observations on non-silent self-stabilizing algorithms in sensor networks with probabilistically intermittent link failures (2011)
  • Author(s): Hirotsugu Kakugawa
  • Journal Title: Theoretical Computer Science Volume: Vol.412 Pages: 4336-4349
  • Peer Reviewed
• [Journal Article] Reliable communication on emulated channels resilient to transient faults (2011)
  • Author(s): Yukiko Yamauchi
  • Journal Title: International Journal of Foundations of Computer Science Volume: Vol.22 Pages: 1099-1122
  • Peer Reviewed
• [Journal Article] Loosely-stabilizing leader election in population protocol model
  • Author(s): Sudo, Nakamura, Yamauchi, Ooshita, Kakugawa, Masuzawa
  • Journal Title: Theoretical Computer Science Volume: (掲載確定)
  • NAID: 110007995566
  • Peer Reviewed
• [Journal Article] Self-stabilization with Byzantine tolerance for global tasks
  • Author(s): S.Dubois, T.Mesuzawa, S.Tixeuil
  • Journal Title: IEEE Transactions on Parallel and Distributed Systems Volume: (掲載確定)
  • Peer Reviewed
• [Presentation] 仮想グリッドネットワークにおける葉が多いBFS木の安全自己構成法 (2014)
  • Author(s): 高津周佑，大下福仁，角川裕次，増澤利光
  • Organizer: 電子情報通信学会コンピュテーション研究会
  • Place of Presentation: 明治大学（東京）
• [Presentation] 弦付リング構成のための空間計算量に優れた自己安定アルゴリズム (2014)
  • Author(s): 伊藤瑠美，大下福仁，角川裕次，増澤利光
  • Organizer: 電子情報通信学会コンピュテーション研究会
  • Place of Presentation: 東北大学（仙台）
• [Presentation] Local-informationbased self-optimizing routing in virtual grid networks (2013)
  • Author(s): Shusuke Takatsu, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa, Zigzag
  • Organizer: the 33rd International Conference on Distributed Computing Systems
  • Place of Presentation: Philadelphia, Pennsylvania, USA
• [Presentation] Laurence Pilard, Transitive approach for topology control in wireless sensor networks (2013)
  • Author(s): Karim Bessaoud, Alain Bui, Toshimitsu Masuzawa
  • Organizer: the 9th International Wireless Communications and Mobile Computing Conference
  • Place of Presentation: Cagliari, Sardinia - Italy
• [Presentation] Transitive approach for topology control in wireless sensor networks (2013)
  • Author(s): Karim Bessaoud, Alain Bui, Toshimitsu Masuzawa, Laurence Pilard
  • Organizer: the 9th International Wireless Communications and Mobile Computing Conference (IWCMC)
  • Place of Presentation: Cagliari, Sardinia, Italy
• [Presentation] Zigzag: Local-information-based self-optimizing routing in virtual grid networks (2013)
  • Author(s): Shusuke Takatsu, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
  • Organizer: the 33rd International Conference on Distributed Computing Systems (ICDCS)
  • Place of Presentation: Philadelphia, Pennsylvania, USA
• [Presentation] Randomized rendezvous of multiple mobile agents in anonymous unidirectional ring networks (2012)
  • Author(s): Shinji Kawai
  • Organizer: 電子情報通信学会コンピュテーション研究会
  • Place of Presentation: 東京大学
  • Year and Date: 2012-03-16
• [Presentation] Algorithms for partial gathering of mobile agents in asynchronous rings (2012)
  • Author(s): Masahiro Shibata, Shinji Kawai, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
  • Organizer: the 16th International Conference on Principles of Distributed Systems
  • Place of Presentation: Rome, Italy
• [Presentation] Communication-efficient self-stabilization in wireless networks (2012)
  • Author(s): Tomoya Takimoto, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
  • Organizer: the 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems
  • Place of Presentation: Toronto, Canada
• [Presentation] Randomized rendezvous of mobile agents in anonymous unidirectional ring network (2012)
  • Author(s): Shinji Kawai, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
  • Organizer: the 19th International Colloquium on Structural Information and Communication Complexity
  • Place of Presentation: Reykjavik, Iceland
• [Presentation] Randomized rendezvous of mobile agents in anonymous unidirectional ring networks (2012)
  • Author(s): Shinji Kawai
  • Organizer: the 19th International Colloquium on Structural Information and Communication Complexity
  • Place of Presentation: Reykjavik, Iceland
• [Presentation] Brief Announcement : A concurrent partial snapshot algorithm for large-scale and dynamic distributed systems (2011)
  • Author(s): Yonghwan Kim
  • Organizer: 13th International Symposium on Stabilization, Safety, and Security
  • Place of Presentation: Grenoble (France)
  • Year and Date: 2011-10-11
• [Presentation] Silence is golden : Self-stabilizing protocols communication-efficient after convergence (2011)
  • Author(s): Toshimitsu Masuzawa
  • Organizer: 13th International Symposium on Stabilization, Safety, and Security
  • Place of Presentation: Grenoble (France)(Invited talk)
  • Year and Date: 2011-10-10
• [Presentation] Maximum metric spanning tree made Byzantine tolerant (2011)
  • Author(s): Swan Dubois
  • Organizer: 25th International Symposium on Distributed Computing
  • Place of Presentation: Rome (Italy)
  • Year and Date: 2011-09-20
• [Presentation] Fast and compact self-stabilizing verification, computation, and fault detection of an MST (2011)
  • Author(s): Amos Korman
  • Organizer: 30th annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing
  • Place of Presentation: San Jose (USA)
  • Year and Date: 2011-06-08
• [Presentation] Advantages of optimal longcut route for wireless mobile users (2011)
  • Author(s): Gen Motoyoshi
  • Organizer: IEEE International Conference on Communications
  • Place of Presentation: Kyoto (Japan)
  • Year and Date: 2011-06-07
• [Presentation] Self stabilizing and fault-containing leader election resilient to time-bounded Byzantine faults (2011)
  • Author(s): Y.Yamauchi, T Mesuzawa, D.Bein
  • Organizer: 情報処理学会アルゴリズム研究会
  • Place of Presentation: 琉球大学
  • Year and Date: 2011-03-07
• [Presentation] Brief Announcement : A concurrent partial snapshot algorithm for large-scale and dynamic distributed systems (2011)
  • Author(s): Yonghwan Kim, Tadashi Araragi, Junya Nakamura, Toshimitsu Masuzawa
  • Organizer: the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems
  • Place of Presentation: Grenoble, France
• [Presentation] Silence is golden : Self-stabilizing protocols communication-efficient after convergence (2011)
  • Author(s): Toshimitsu Masuzawa
  • Organizer: the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems
  • Place of Presentation: Grenoble, France
  • Invited
• [Presentation] Maximum metric spanning tree made Byzantine tolerant (2011)
  • Author(s): Swan Dubois, Toshimitsu Masuzawa, Sebastien Tixeuil
  • Organizer: the 25th International Symposium on Distributed Computing
  • Place of Presentation: Rome, Italy
• [Presentation] Fast and compact self stabilizing verification, computation, and fault detection of an MST (2011)
  • Author(s): Amos Korman, Shay Kutten, Toshimitsu Masuzawa
  • Organizer: the 30th annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing
  • Place of Presentation: San Jose, California, USA
• [Presentation] Advantages of optimal longcut route for wireless mobile users (2011)
  • Author(s): Gen Motoyoshi, Yuichi Sudo, Tsutomu Murase, Toshimitsu Masuzawa
  • Organizer: IEEE International Conference on Communications
  • Place of Presentation: Kyoto, Japan
• [Presentation] Evaluation of self-stabilizing token circulation algorithm with faulty random number generators (2010)
  • Author(s): Shinji Kawai, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
  • Organizer: the Workshop on Dependability of Network Software Applications
  • Place of Presentation: Higashi Hiroshima, Japan
  • Year and Date: 2010-11-18
• [Presentation] Evaluation of self-stabilizing token circulation algorithm with faulty random number generators (2010)
  • Author(s): S.Kawai, F.Ooshita, H.Kakugawa, T.Masuzawa
  • Organizer: Workshop on Dependability of Network Software Applications
  • Place of Presentation: 広島大学
  • Year and Date: 2010-11-18
• [Presentation] On Byzantine containment properties of the min+1 protocol (2010)
  • Author(s): S.Dubois, T.Masuzawa, S.Tixeuil
  • Organizer: 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems
  • Place of Presentation: New York(USA)
  • Year and Date: 2010-09-20
• [Presentation] Adaptive containment of time-bounded Byzantine faults (2010)
  • Author(s): Y.Yamauchi, T.Masuzawe, D.Bein
  • Organizer: 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems
  • Place of Presentation: New York(USA)
  • Year and Date: 2010-09-20
• [Presentation] The impact of topology on Byzantine containment in stabilization (2010)
  • Author(s): S.Dubois, T.Masuzawa, S.Tixeuil
  • Organizer: 24th International Symposium on Distributed Computing
  • Place of Presentation: Cambridge(USA)
  • Year and Date: 2010-09-15
• [Presentation] An agent exploration in unknown undirected graphs with whiteboards (2010)
  • Author(s): Yuichi Sudo, Daisuke Baba, Junya Nakamura, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
  • Organizer: the 3rd Workshop on Reliability, Availability, and Security
  • Place of Presentation: Zurich, Switzerland
  • Year and Date: 2010-07-29
• [Presentation] An agent exploration in unknown undirected graphs with whiteboards (2010)
  • Author(s): Sudo, Baba, Nakamura Ooshita, Kakugawa, Masuzawa
  • Organizer: 3rd Workshop on Reliability, Availability, and Security
  • Place of Presentation: Zurich(Switzerland)
  • Year and Date: 2010-07-29
• [Presentation] Stabilizing locally maximizable tasks in unidirectional networks is hard (2010)
  • Author(s): T.Mesuzawa, S.Tixeuil
  • Organizer: 30th International Conference on Distributed Computing Systems
  • Place of Presentation: Genoa(Italy)
  • Year and Date: 2010-06-24
• [Presentation] Space-optimal rendezvous of mobile agents in asynchronous trees (2010)
  • Author(s): D, Baba, T.Izumi, F.Ooshita, H.Kakugawa, T.Masuzawa
  • Organizer: 17th International Colloquium on Structural Information and Communication Complexity
  • Place of Presentation: Sirince(Turkey)
  • Year and Date: 2010-06-08
• [Presentation] On Byzantine containment properties of the min+1 protocol (2010)
  • Author(s): Swan Dubois, Toshimitsu Masuzawa, Sebastien Tixeuil
  • Organizer: the 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems
  • Place of Presentation: New York City, New York, USA
• [Presentation] Adaptive containment of time-bounded Byzantine faults (2010)
  • Author(s): Yukiko Yamauchi, Toshimitsu Masuzawa, Doina Bein
  • Organizer: the 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems
  • Place of Presentation: New York City, New York, USA
• [Presentation] The impact of topology on Byzantine containment in stabilization (2010)
  • Author(s): Swan Dubois, Toshimitsu Masuzawa, Sebastien Tixeuil
  • Organizer: the 24th International Symposium on Distributed Computing
  • Place of Presentation: Cambridge, Massachusetts, USA
• [Presentation] Stabilizing locally maximizable tasks in unidirectional networks is hard (2010)
  • Author(s): Toshimitsu Masuzawa, Sebastien Tixeuil
  • Organizer: the 30th International Conference on Distributed Computing Systems
  • Place of Presentation: Genoa, Italy
• [Presentation] Space-optimal rendezvous of mobile agents in asynchronous trees (2010)
  • Author(s): Daisuke Baba, Tomoko Izumi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
  • Organizer: the 17th International Colloquium on Structural Information and Communication Complexity
  • Place of Presentation: Sirince, Turkey
• [Presentation] 同期リングにおけるモバイルエージェント均一配置アルゴリズム
  • Author(s): 妻鹿敏也
  • Organizer: 電子情報通信学会コンピュテーション研究会
  • Place of Presentation: 愛媛大学
• [Presentation] 非同期リングにおけるモバイルエージェント部分集合アルゴリズム
  • Author(s): 柴田将拡
  • Organizer: 電子情報通信学会コンピュテーション研究会
  • Place of Presentation: 愛媛大学