Adaptive step-by-step construction technique achieving high assurance for Tokyo Metropolitan railway network

Kazuo Kera, Keisuke Bekki, Keiji Kamijyo, Kinji Mori

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Abstract

The Autonomous Decentralized Transport Operation Control System (ATOS) is a large-scale autonomous decentralized system that controls train traffic in the 17 lines in the entire Tokyo region, with a total line distance of 1,100 km, which system is being introduced by East Japan Railway Co. (JR East). ATOS and other large-scale systems need the phasing-in of a system. What is more, with changes in technology and environment, the system must be modified and developed in response to ever-changing needs of society., What is more, such a highly public system as ATOS absolutely needs to ensure reliability. To operate the ever-changing and growing ATOS with high reliability and stability, we applied assurance technology. This paper describes "adaptive step-by-step construction technique achieving high assurance" applied here, evaluates the risk of the system, and demonstrates the effectiveness of the method applied.

Original languageEnglish
Title of host publicationProceedings of IEEE International Symposium on High Assurance Systems Engineering
PublisherIEEE Computer Society
Pages228-233
Number of pages6
Volume2001-January
ISBN (Print)0769512755
DOIs
Publication statusPublished - 2001
Externally publishedYes
Event6th IEEE International Symposium on High Assurance Systems Engineering, HASE 2001 - Boca Raton, United States
Duration: 2001 Oct 222001 Oct 24

Other

Other6th IEEE International Symposium on High Assurance Systems Engineering, HASE 2001
CountryUnited States
CityBoca Raton
Period01/10/2201/10/24

    Fingerprint

Keywords

  • Control systems
  • Electronic mail
  • Large-scale systems
  • Microelectronics
  • Paper technology
  • Rail transportation
  • Railway engineering
  • Stability
  • System testing
  • Technology management

ASJC Scopus subject areas

  • Software
  • Safety, Risk, Reliability and Quality

Cite this

Kera, K., Bekki, K., Kamijyo, K., & Mori, K. (2001). Adaptive step-by-step construction technique achieving high assurance for Tokyo Metropolitan railway network. In Proceedings of IEEE International Symposium on High Assurance Systems Engineering (Vol. 2001-January, pp. 228-233). [966823] IEEE Computer Society. https://doi.org/10.1109/HASE.2001.966823