Research on Design Methodology of Dependable Distributed Software for Mobile Networks

移动网络可靠分布式软件设计方法研究

• 批准号: 15300017
• 负责人: MASUZAWA Toshimitsu
• 金额: $ 10.11万
• 依托单位: Osaka University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (B)
• 财政年份: 2003
• 资助国家: 日本
• 起止时间: 2003 至 2006
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15300017/
• 关键词: Distributed Systems; Mobile Networks; P2P Networks; Dependability; Fault Tolerance; Self-Stabilization; Adaptability; Byzantine Faults; モバイルエージェント; モバイル計算機; ディベンダビリティ

The aim of this research project is to establish design methodology of dependable distributed software for mobile networks. We focused on two aspects of distributed software, distributed data management and distributed control, and considered design for dependability.1. Dependable Shared Objects :Since shared objects are fundamentals of distributed systems for sharing distributed data, it is necessary to establish a design method for dependable shared objects in mobile networks. In this research project, we considered design methodology of dependable shared objects in mobile networks and obtained the followings. (1) We proposed a method for introducing self-stabilization into shared objects, which guarantees high adaptability to transient faults and mobility, (2) we proposed fault-tolerant protocols for broadcast and consensus, which are fundamentals for implementing shared objects, and (3) we proposed efficient methods for resource finding in dynamic networks.2. Dependable Distributed Control :We considered dependable distributed control in mobile networks and obtained the followings. (1) We proposed protocols for controlling the number of mobile agents and their routings that succeed to attain high adaptability to mobility of mobile networks, (2) we proposed protocols for controlling the number of shared objects and their locations that succeed to attain high adaptability to mobility of mobile networks and (3) we proposed an effective method for designing and analyzing self-stabilizing protocols in mobile networks.

本研究计画的目的是建立移动的网路上可信赖分散式软体的设计方法。本文从分布式软件的两个方面，分布式数据管理和分布式控制，考虑了可靠性设计.可靠共享对象：由于共享对象是分布式系统共享分布式数据的基础，因此有必要建立一种在移动的网络中可靠共享对象的设计方法。在本研究计画中，我们考虑移动的网路中可信赖共享物件的设计方法，并取得下列成果。(1)提出了一种在共享对象中引入自稳定性的方法，保证了对瞬时故障和移动性的高度适应性;（2）提出了广播和一致性的容错协议，这是实现共享对象的基础;（3）提出了动态网络中资源发现的有效方法.可靠分布式控制：我们考虑了移动的网络中的可靠分布式控制，并得到了以下结果。(1)我们提出了控制移动的代理的数量和它们的路由的协议，成功地实现了对移动的网络的移动性的高适应性，（2）我们提出了控制共享对象的数量和它们的位置的协议，成功地实现了对移动的网络的移动性的高适应性，（3）我们提出了一种有效的方法来设计和分析自稳定协议在移动的网络。

项目成果

Condition Adaptation in Synchronous Consensus

同步共识中的条件适应

• 发表时间: 2006
• 期刊: IEEE Transactions on Computers vol.55(issue 7)
• 作者: T. Izumi;and T. Masuzawa
• 通讯作者: and T. Masuzawa

Biologically inspired self-adaptation of mobile agent population

移动代理群体的生物学启发自适应

• 发表时间: 2005
• 期刊: Proceedings of the 3rd Workshop on Self-adaptive and Autonomic Computing (DEXA International Workshop)
• 作者: Tomoko Suzuki;Taisuke Izumi;Fukuhito Ooshita;Toshimitsu Masuzawa
• 通讯作者: Toshimitsu Masuzawa

通信遅延が大きな並列計算環境に対するタスクスケジュールのためのクラスタリングアルゴリズム

大通信延迟并行计算环境下任务调度的聚类算法

• 发表时间: 2004
• 期刊: 情報処理学会論文誌 コンピューティングシステム 第45巻,No.SIG11(ACS7)
• 作者: 野口智史;大下福仁;増澤利光
• 通讯作者: 増澤利光

Synchronous condition-based consensus algorithm adapting to input-vector legality

适应输入向量合法性的同步条件一致性算法

• 发表时间: 2004
• 期刊: 電子情報通信学会研究報告 C0MP2004-31
• 作者: Yukiko Yamauchi;Toshimitsu Masuzawa;Toshimitsu Masuzawa;Taisuke Izumi;Yoshihiro Nakaminami;Hirotsugu Kakugawa;乾広二;高橋佑典;高橋佑典;Taisuke Izumi;Tomoko Suzuki;Taisuke Izumi;Hirotsugu Kakugawa;Hirotsugu Kakugawa;Yoshihiro Nakaminami;原口高裕;Yu Wu;Taisuke Izumi;Taisuke Izumi;Tomoko Suzuki;Tomoko Suzuki;Toshimitsu Masuzawa;Toshimitsu Masuzawa;添田祐司;桝田秀夫;Taisuke Izumi;山内由紀子;Tomoko Suzuki;Taisuke Izumi;片山喜章;Taisuke Izumi;Yuji Soeda;Hideo Masuda;Taisuke Izumi;Yukiko Yamauchi;Tomoko Suzuki;Taisuke Izumi;Yoshiaki Katayama;Taisuke Izumi;Tomoko Suzuki;Tomoko Suzuki;Toshimitsu Masuzawa;Toshimitsu Masuzawa;Taisuke Izumi;桝田秀夫;山内由紀子;Tomoko Suzuki;Taisuke Izumi;片山喜章;Taisuke Izumi;Tomoko Suzuki;添田 祐司;野口智史;Yoshihiro Nakaminami;Taisuke Izumi;野口智史;Taisuke Izumi;Taisuke Izumi;Yusuke Sakurai;野田佳邦;櫻井佑輔;浅越悟史;Taisuke Izumi;Taisuke Izumi
• 通讯作者: Taisuke Izumi

A method for evaluating efficiency of protocols on the asynchronous shared-state model

一种评估异步共享状态模型协议效率的方法

• 发表时间: 2003
• 期刊: Proceedings of the 6th International Symposium on Self-Stabilizing Systems
• 作者: Yukiko Yamauchi;Toshimitsu Masuzawa;Toshimitsu Masuzawa;Taisuke Izumi;Yoshihiro Nakaminami;Hirotsugu Kakugawa;乾広二;高橋佑典;高橋佑典;Taisuke Izumi;Tomoko Suzuki;Taisuke Izumi;Hirotsugu Kakugawa;Hirotsugu Kakugawa;Yoshihiro Nakaminami;原口高裕;Yu Wu;Taisuke Izumi;Taisuke Izumi;Tomoko Suzuki;Tomoko Suzuki;Toshimitsu Masuzawa;Toshimitsu Masuzawa;添田祐司;桝田秀夫;Taisuke Izumi;山内由紀子;Tomoko Suzuki;Taisuke Izumi;片山喜章;Taisuke Izumi;Yuji Soeda;Hideo Masuda;Taisuke Izumi;Yukiko Yamauchi;Tomoko Suzuki;Taisuke Izumi;Yoshiaki Katayama;Taisuke Izumi;Tomoko Suzuki;Tomoko Suzuki;Toshimitsu Masuzawa;Toshimitsu Masuzawa;Taisuke Izumi;桝田秀夫;山内由紀子;Tomoko Suzuki;Taisuke Izumi;片山喜章;Taisuke Izumi;Tomoko Suzuki;添田 祐司;野口智史;Yoshihiro Nakaminami;Taisuke Izumi;野口智史;Taisuke Izumi;Taisuke Izumi;Yusuke Sakurai;野田佳邦;櫻井佑輔;浅越悟史;Taisuke Izumi;Taisuke Izumi;鈴木朋子;Satoshi Noguchi;Yoshihiro Nakaminami;Taisuke Izumi;Satoshi Noguchi;Yoshikuni Noda;Yusuke Sakurai;Satoshi Asagoshi;Taisuke Izumi;Taisuke Izumi;Tomoko Suzuki;野口 智史;Yoshihiro Nakaminami;野口 智史;Taisuke Izumi;Taisuke Izumi;Taisuke Izumi;Taisuke Izumi;鈴木 朋子;Yoshihiro Nakaminami
• 通讯作者: Yoshihiro Nakaminami