Modeling of Train Control System and a Method of Assurance Evaluation

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Masayuki MATSUMOTO Articles by Tadao TSURUMAKI Articles by Dai WATANABE Articles by Kinji MORI

22nd International Conference on Distributed Computing Systems Workshops (ICDCSW '02)

Vienna, Austria

July 02-July 05

ISBN: 0-7695-1588-6

	ASCII Text	x
	Masayuki MATSUMOTO, Tadao TSURUMAKI, Dai WATANABE, Kinji MORI, "Modeling of Train Control System and a Method of Assurance Evaluation," Distributed Computing Systems Workshops, International Conference on, pp. 89, 22nd International Conference on Distributed Computing Systems Workshops (ICDCSW '02), 2002.

	BibTex	x
	@article{ 10.1109/ICDCSW.2002.1030753, author = {Masayuki MATSUMOTO and Tadao TSURUMAKI and Dai WATANABE and Kinji MORI}, title = {Modeling of Train Control System and a Method of Assurance Evaluation}, journal ={Distributed Computing Systems Workshops, International Conference on}, volume = {0}, year = {2002}, isbn = {0-7695-1588-6}, pages = {89}, doi = {http://doi.ieeecomputersociety.org/10.1109/ICDCSW.2002.1030753}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Distributed Computing Systems Workshops, International Conference on TI - Modeling of Train Control System and a Method of Assurance Evaluation SN - 0-7695-1588-6 SP EP A1 - Masayuki MATSUMOTO, A1 - Tadao TSURUMAKI, A1 - Dai WATANABE, A1 - Kinji MORI, PY - 2002 KW - null VL - 0 JA - Distributed Computing Systems Workshops, International Conference on ER -

Masayuki MATSUMOTO, East Japan Railway Company

Tadao TSURUMAKI, East Japan Railway Company

Dai WATANABE, Hitachi, Ltd.

Kinji MORI, Tokyo Institute of Technology

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICDCSW.2002.1030753

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.

Citation:

Masayuki MATSUMOTO, Tadao TSURUMAKI, Dai WATANABE, Kinji MORI, "Modeling of Train Control System and a Method of Assurance Evaluation," icdcsw, pp.89, 22nd International Conference on Distributed Computing Systems Workshops (ICDCSW '02), 2002

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.