Assurance technology for Tokyo Metropolitan Railway Network

System needs of growing systems including heterogeneous functions and operations are increased. High assurance system that achieves high reliability and high availability is very important for such systems. In order to realize high assurance system, we developed the assurance technology based on ADS (Autonomous Decentralized System). When a growing system changes or grows, its reliability may be lowered. In this paper, we clarify the risk factors which lower the reliability and quality of a growing system when the system is modified. We will then examine the technology to eliminate or mitigate those risk factors, and propose adaptive assurance technology that can minimize the risk. We also applied this technology to ATOS (Autonomous Decentralized Transport Operation Control System) for Tokyo Metropolitan Railway Network as an example of really changing and growing system and mention its effectiveness.

[1]  Victor P. Nelson Fault-tolerant computing: fundamental concepts , 1990, Computer.

[2]  Keisuke Bekki,et al.  Assurance Technology for Growing System an Its Application to Tokyo Metropolitan Railway Network , 2001 .

[3]  Kinji Mori,et al.  Atomicity of transaction processing in heterogeneous autonomous decentralized system , 1999, Proceedings. Fourth International Symposium on Autonomous Decentralized Systems. - Integration of Heterogeneous Systems -.

[4]  S. Louis Hakimi,et al.  Characterization of Connection Assignment of Diagnosable Systems , 1974, IEEE Transactions on Computers.

[5]  Raymond A. Paul,et al.  Toward Integrated Methods for High-Assurance Systems (Guest Editors' Introduction) , 1998, Computer.

[6]  Katsumi Kawano,et al.  Phased-in construction method of ATOS , 1999, Proceedings. Fourth International Symposium on Autonomous Decentralized Systems. - Integration of Heterogeneous Systems -.

[7]  Keisuke Bekki,et al.  Assurance System Technologies Based on Autonomous Decentralized System for Large Scale Transport Operation Control System , 2000 .

[8]  Hirokazu Ihara,et al.  Autonomous Decentralization Concept , 1984 .

[9]  Ira S. Moskowitz,et al.  A Network Pump , 1996, IEEE Trans. Software Eng..

[10]  Keisuke Bekki,et al.  Assurance technologies for growing systems and their application to large-scale transport operation control systems , 2001, Proceedings 5th International Symposium on Autonomous Decentralized Systems.

[11]  Hiroshi Yamamoto,et al.  Widely-distributed train-traffic computer control system and its step-by-step construction , 1995, Proceedings ISADS 95. Second International Symposium on Autonomous Decentralized Systems.

[12]  David A. Rennels,et al.  Fault-Tolerant Computing—Concepts and Examples , 1984, IEEE Transactions on Computers.

[13]  Hiroaki Nakanishi,et al.  Realization of autonomous decentralized computing with the RTO.k object structuring scheme and the HU-DF inter-process-group communication scheme , 1995, Proceedings ISADS 95. Second International Symposium on Autonomous Decentralized Systems.

[14]  Andrew S. Tanenbaum,et al.  Distributed operating systems , 2009, CSUR.

[15]  Fumio Kitahara,et al.  Distributed management for software maintenance in a wide-area railway system , 1997, Proceedings of the Third International Symposium on Autonomous Decentralized Systems. ISADS 97.