Research on Design Methodology of Dependable Distributed Software for Mobile Networks

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

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.