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

Kazuo Kera; Keisuke Bekki; Keiji Kamijyo; Kinji Mori

doi:10.1109/HASE.2001.966823

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 proceeding › Conference contribution

4 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 language	English
Title of host publication	Proceedings of IEEE International Symposium on High Assurance Systems Engineering
Publisher	IEEE Computer Society
Pages	228-233
Number of pages	6
Volume	2001-January
ISBN (Print)	0769512755
DOIs	https://doi.org/10.1109/HASE.2001.966823
Publication status	Published - 2001
Externally published	Yes
Event	6th IEEE International Symposium on High Assurance Systems Engineering, HASE 2001 - Boca Raton, United States Duration: 2001 Oct 22 → 2001 Oct 24

Other

Other	6th IEEE International Symposium on High Assurance Systems Engineering, HASE 2001
Country/Territory	United States
City	Boca Raton
Period	01/10/22 → 01/10/24

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

Access to Document

10.1109/HASE.2001.966823

Cite this

Adaptive step-by-step construction technique achieving high assurance for Tokyo Metropolitan railway network. / Kera, Kazuo; Bekki, Keisuke; Kamijyo, Keiji et al.
Proceedings of IEEE International Symposium on High Assurance Systems Engineering. Vol. 2001-January IEEE Computer Society, 2001. p. 228-233 966823.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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, 966823, IEEE Computer Society, pp. 228-233, 6th IEEE International Symposium on High Assurance Systems Engineering, HASE 2001, Boca Raton, United States, 01/10/22. https://doi.org/10.1109/HASE.2001.966823

@inproceedings{17c55d1ee79245d2b28f3e3537995844,

title = "Adaptive step-by-step construction technique achieving high assurance for Tokyo Metropolitan railway network",

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.",

keywords = "Control systems, Electronic mail, Large-scale systems, Microelectronics, Paper technology, Rail transportation, Railway engineering, Stability, System testing, Technology management",

author = "Kazuo Kera and Keisuke Bekki and Keiji Kamijyo and Kinji Mori",

year = "2001",

doi = "10.1109/HASE.2001.966823",

language = "English",

isbn = "0769512755",

volume = "2001-January",

pages = "228--233",

booktitle = "Proceedings of IEEE International Symposium on High Assurance Systems Engineering",

publisher = "IEEE Computer Society",

note = "6th IEEE International Symposium on High Assurance Systems Engineering, HASE 2001 ; Conference date: 22-10-2001 Through 24-10-2001",

}

TY - GEN

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

AU - Kera, Kazuo

AU - Bekki, Keisuke

AU - Kamijyo, Keiji

AU - Mori, Kinji

PY - 2001

Y1 - 2001

N2 - 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.

AB - 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.

KW - Control systems

KW - Electronic mail

KW - Large-scale systems

KW - Microelectronics

KW - Paper technology

KW - Rail transportation

KW - Railway engineering

KW - Stability

KW - System testing

KW - Technology management

UR - http://www.scopus.com/inward/record.url?scp=84948962722&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84948962722&partnerID=8YFLogxK

U2 - 10.1109/HASE.2001.966823

DO - 10.1109/HASE.2001.966823

M3 - Conference contribution

AN - SCOPUS:84948962722

SN - 0769512755

VL - 2001-January

SP - 228

EP - 233

BT - Proceedings of IEEE International Symposium on High Assurance Systems Engineering

PB - IEEE Computer Society

T2 - 6th IEEE International Symposium on High Assurance Systems Engineering, HASE 2001

Y2 - 22 October 2001 through 24 October 2001

ER -

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

Abstract

Other

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this