An assurance method for functional system expansion of Tokyo metropolitan railway system
暂无分享,去创建一个
[1] 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 -.
[2] David A. Rennels,et al. Fault-Tolerant Computing—Concepts and Examples , 1984, IEEE Transactions on Computers.
[3] 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.
[4] 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.
[5] 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.
[6] Raymond A. Paul,et al. Toward Integrated Methods for High-Assurance Systems (Guest Editors' Introduction) , 1998, Computer.
[7] Katsumi Kawano,et al. Phased-in construction method of ATOS , 1999, Proceedings. Fourth International Symposium on Autonomous Decentralized Systems. - Integration of Heterogeneous Systems -.
[8] Kinji Mori,et al. Autonomous successive construction technology without stopping system operation for real-time system , 2003, The Sixth International Symposium on Autonomous Decentralized Systems, 2003. ISADS 2003..
[9] Masayuki Matsumoto,et al. Application of Assurance Technology for Railway Signaling System , 2007, Eighth International Symposium on Autonomous Decentralized Systems (ISADS'07).
[10] Hirokazu Ihara,et al. Autonomous Decentralization Concept , 1984 .
[11] Keisuke Bekki,et al. Assurance System Technologies Based on Autonomous Decentralized System for Large Scale Transport Operation Control System , 2000 .
[12] Andrew S. Tanenbaum,et al. Distributed operating systems , 2009, CSUR.
[13] Kinji Mori,et al. Autonomous decentralized systems: Concept, data field architecture and future trends , 1993, Proceedings ISAD 93: International Symposium on Autonomous Decentralized Systems.
[14] 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.
[15] Akio Ando,et al. Assurance technology for large transport operation control system , 2005, Proceedings Autonomous Decentralized Systems, 2005. ISADS 2005..