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

Kazuo Kera, Keisuke Bekki, Keiji Kamijyo, Kinji Mori

研究成果: Conference contribution

3 被引用数 (Scopus)

抄録

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.

本文言語English
ホスト出版物のタイトルProceedings of IEEE International Symposium on High Assurance Systems Engineering
出版社IEEE Computer Society
ページ228-233
ページ数6
2001-January
ISBN(印刷版)0769512755
DOI
出版ステータスPublished - 2001
外部発表はい
イベント6th IEEE International Symposium on High Assurance Systems Engineering, HASE 2001 - Boca Raton, United States
継続期間: 2001 10 222001 10 24

Other

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

ASJC Scopus subject areas

  • ソフトウェア
  • 安全性、リスク、信頼性、品質管理

フィンガープリント

「Adaptive step-by-step construction technique achieving high assurance for Tokyo Metropolitan railway network」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル