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

Fingerprint

Control systems

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Hardware and Architecture
  • Software

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

Modeling of train control system and a method of assurance evaluation. / Matsumoto, M.; Tsurumaki, T.; Watanabe, D.; Mori, K.

Proceedings - 22nd International Conference on Distributed Computing Systems Workshops, ICDCSW 2002. Vol. 2002-January Institute of Electrical and Electronics Engineers Inc., 2002. p. 89-94 1030753.

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

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, 1030753, Institute of Electrical and Electronics Engineers Inc., pp. 89-94, 22nd International Conference on Distributed Computing Systems Workshops, ICDCSW 2002, Vienna, Austria, 02/7/2. https://doi.org/10.1109/ICDCSW.2002.1030753
Matsumoto M, Tsurumaki T, Watanabe D, Mori K. 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. Institute of Electrical and Electronics Engineers Inc. 2002. p. 89-94. 1030753 https://doi.org/10.1109/ICDCSW.2002.1030753
Matsumoto, M. ; Tsurumaki, T. ; Watanabe, D. ; Mori, K. / Modeling of train control system and a method of assurance evaluation. Proceedings - 22nd International Conference on Distributed Computing Systems Workshops, ICDCSW 2002. Vol. 2002-January Institute of Electrical and Electronics Engineers Inc., 2002. pp. 89-94
@inproceedings{1223347cc65244febeb02b72df78c62a,
title = "Modeling of train control system and a method of assurance evaluation",
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.",
author = "M. Matsumoto and T. Tsurumaki and D. Watanabe and K. Mori",
year = "2002",
doi = "10.1109/ICDCSW.2002.1030753",
language = "English",
volume = "2002-January",
pages = "89--94",
booktitle = "Proceedings - 22nd International Conference on Distributed Computing Systems Workshops, ICDCSW 2002",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
address = "United States",

}

TY - GEN

T1 - Modeling of train control system and a method of assurance evaluation

AU - Matsumoto, M.

AU - Tsurumaki, T.

AU - Watanabe, D.

AU - Mori, K.

PY - 2002

Y1 - 2002

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

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

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

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

U2 - 10.1109/ICDCSW.2002.1030753

DO - 10.1109/ICDCSW.2002.1030753

M3 - Conference contribution

VL - 2002-January

SP - 89

EP - 94

BT - Proceedings - 22nd International Conference on Distributed Computing Systems Workshops, ICDCSW 2002

PB - Institute of Electrical and Electronics Engineers Inc.

ER -