Modeling of train control system and a method of assurance evaluation

M. Matsumoto, T. Tsurumaki, D. Watanabe, K. Mori

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

Abstract

Assurance technology is a general term for technology that utilizes a system which considers the two elements of heterogeneity and adaptability. There are various needs in railway systems, so assurance properties are also being sought for train control systems. Coexistence of heterogeneous systems and adaptability for smooth system replacement are sought within daily operational changes. In this paper we model train control systems and propose an assurance evaluation method.

Original languageEnglish
Title of host publicationProceedings - 22nd International Conference on Distributed Computing Systems Workshops, ICDCSW 2002
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages89-94
Number of pages6
Volume2002-January
ISBN (Electronic)0769515886
DOIs
Publication statusPublished - 2002
Externally publishedYes
Event22nd International Conference on Distributed Computing Systems Workshops, ICDCSW 2002 - Vienna, Austria
Duration: 2002 Jul 22002 Jul 5

Other

Other22nd International Conference on Distributed Computing Systems Workshops, ICDCSW 2002
CountryAustria
CityVienna
Period02/7/202/7/5

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Hardware and Architecture
  • Software

Fingerprint Dive into the research topics of 'Modeling of train control system and a method of assurance evaluation'. Together they form a unique fingerprint.

  • Cite this

    Matsumoto, M., Tsurumaki, T., Watanabe, D., & Mori, K. (2002). Modeling of train control system and a method of assurance evaluation. In Proceedings - 22nd International Conference on Distributed Computing Systems Workshops, ICDCSW 2002 (Vol. 2002-January, pp. 89-94). [1030753] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ICDCSW.2002.1030753