Modeling of train control system and a method of assurance evaluation

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

doi:10.1109/ICDCSW.2002.1030753

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

2 Citations (Scopus)

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 language	English
Title of host publication	Proceedings - 22nd International Conference on Distributed Computing Systems Workshops, ICDCSW 2002
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	89-94
Number of pages	6
Volume	2002-January
ISBN (Electronic)	0769515886
DOIs	https://doi.org/10.1109/ICDCSW.2002.1030753
Publication status	Published - 2002
Externally published	Yes
Event	22nd International Conference on Distributed Computing Systems Workshops, ICDCSW 2002 - Vienna, Austria Duration: 2002 Jul 2 → 2002 Jul 5

Other

Other	22nd International Conference on Distributed Computing Systems Workshops, ICDCSW 2002
Country/Territory	Austria
City	Vienna
Period	02/7/2 → 02/7/5

ASJC Scopus subject areas

Computer Networks and Communications
Hardware and Architecture
Software

Access to Document

10.1109/ICDCSW.2002.1030753

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. et al.

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

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

note = "22nd International Conference on Distributed Computing Systems Workshops, ICDCSW 2002 ; Conference date: 02-07-2002 Through 05-07-2002",

}

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

AN - SCOPUS:84994275541

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.

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

Y2 - 2 July 2002 through 5 July 2002

ER -

Modeling of train control system and a method of assurance evaluation

Abstract

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this