Modeling and verification of an automatic train protection system

Xijiao Xiong; Jing Liu; Miaomiao Zhang; Zuohua Ding

doi:10.1109/COMPSACW.2010.46

Modeling and verification of an automatic train protection system

Xijiao Xiong, Jing Liu^*, Miaomiao Zhang, Zuohua Ding

^*Corresponding author for this work

Software Engineering Institute

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Scopus citations

Abstract

Advances in automatic control technologies have made society extremely dependent on control software used in train operation and many other applications. Consequently, the trustability of control software is crucial. This has led to an increased emphasis on setting up a mechanism that can be used to guarantee the correctness of the models. In this paper, we proposed a process to integrate the modeling and verification techniques in Model Driven Architecture (MDA) and reported a successful application of the method to Automatic Train Protection (ATP) system. The ATP models are constructed and refined based on Refinement Calculus of Object Systems (rCOS). A modeling and verification trustable MDA tool is developed to facilitate the process.

Original language	English
Title of host publication	Proceedings - 34th Annual IEEE International Computer Software and Applications Conference Workshops, COMPSACW 2010
Pages	226-231
Number of pages	6
DOIs	https://doi.org/10.1109/COMPSACW.2010.46
State	Published - 2010
Event	34th Annual IEEE International Computer Software and Applications Conference Workshops, COMPSACW 2010 - Seoul, Korea, Republic of Duration: 19 Jul 2010 → 23 Jul 2010

Publication series

Name	Proceedings - International Computer Software and Applications Conference
ISSN (Print)	0730-3157

Conference

Conference	34th Annual IEEE International Computer Software and Applications Conference Workshops, COMPSACW 2010
Country/Territory	Korea, Republic of
City	Seoul
Period	19/07/10 → 23/07/10

Access to Document

10.1109/COMPSACW.2010.46

Cite this

Xiong, X., Liu, J., Zhang, M., & Ding, Z. (2010). Modeling and verification of an automatic train protection system. In Proceedings - 34th Annual IEEE International Computer Software and Applications Conference Workshops, COMPSACW 2010 (pp. 226-231). Article 5615791 (Proceedings - International Computer Software and Applications Conference). https://doi.org/10.1109/COMPSACW.2010.46

@inproceedings{8cc5c8aba02349b9bf2f1fe2138296d7,

title = "Modeling and verification of an automatic train protection system",

abstract = "Advances in automatic control technologies have made society extremely dependent on control software used in train operation and many other applications. Consequently, the trustability of control software is crucial. This has led to an increased emphasis on setting up a mechanism that can be used to guarantee the correctness of the models. In this paper, we proposed a process to integrate the modeling and verification techniques in Model Driven Architecture (MDA) and reported a successful application of the method to Automatic Train Protection (ATP) system. The ATP models are constructed and refined based on Refinement Calculus of Object Systems (rCOS). A modeling and verification trustable MDA tool is developed to facilitate the process.",

author = "Xijiao Xiong and Jing Liu and Miaomiao Zhang and Zuohua Ding",

year = "2010",

doi = "10.1109/COMPSACW.2010.46",

language = "英语",

isbn = "9780769541051",

series = "Proceedings - International Computer Software and Applications Conference",

pages = "226--231",

booktitle = "Proceedings - 34th Annual IEEE International Computer Software and Applications Conference Workshops, COMPSACW 2010",

note = "34th Annual IEEE International Computer Software and Applications Conference Workshops, COMPSACW 2010 ; Conference date: 19-07-2010 Through 23-07-2010",

}

Xiong, X, Liu, J, Zhang, M & Ding, Z 2010, Modeling and verification of an automatic train protection system. in Proceedings - 34th Annual IEEE International Computer Software and Applications Conference Workshops, COMPSACW 2010., 5615791, Proceedings - International Computer Software and Applications Conference, pp. 226-231, 34th Annual IEEE International Computer Software and Applications Conference Workshops, COMPSACW 2010, Seoul, Korea, Republic of, 19/07/10. https://doi.org/10.1109/COMPSACW.2010.46

Modeling and verification of an automatic train protection system. / Xiong, Xijiao; Liu, Jing; Zhang, Miaomiao et al.
Proceedings - 34th Annual IEEE International Computer Software and Applications Conference Workshops, COMPSACW 2010. 2010. p. 226-231 5615791 (Proceedings - International Computer Software and Applications Conference).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Modeling and verification of an automatic train protection system

AU - Xiong, Xijiao

AU - Liu, Jing

AU - Zhang, Miaomiao

AU - Ding, Zuohua

PY - 2010

Y1 - 2010

N2 - Advances in automatic control technologies have made society extremely dependent on control software used in train operation and many other applications. Consequently, the trustability of control software is crucial. This has led to an increased emphasis on setting up a mechanism that can be used to guarantee the correctness of the models. In this paper, we proposed a process to integrate the modeling and verification techniques in Model Driven Architecture (MDA) and reported a successful application of the method to Automatic Train Protection (ATP) system. The ATP models are constructed and refined based on Refinement Calculus of Object Systems (rCOS). A modeling and verification trustable MDA tool is developed to facilitate the process.

AB - Advances in automatic control technologies have made society extremely dependent on control software used in train operation and many other applications. Consequently, the trustability of control software is crucial. This has led to an increased emphasis on setting up a mechanism that can be used to guarantee the correctness of the models. In this paper, we proposed a process to integrate the modeling and verification techniques in Model Driven Architecture (MDA) and reported a successful application of the method to Automatic Train Protection (ATP) system. The ATP models are constructed and refined based on Refinement Calculus of Object Systems (rCOS). A modeling and verification trustable MDA tool is developed to facilitate the process.

UR - https://www.scopus.com/pages/publications/78649898258

U2 - 10.1109/COMPSACW.2010.46

DO - 10.1109/COMPSACW.2010.46

M3 - 会议稿件

AN - SCOPUS:78649898258

SN - 9780769541051

T3 - Proceedings - International Computer Software and Applications Conference

SP - 226

EP - 231

BT - Proceedings - 34th Annual IEEE International Computer Software and Applications Conference Workshops, COMPSACW 2010

T2 - 34th Annual IEEE International Computer Software and Applications Conference Workshops, COMPSACW 2010

Y2 - 19 July 2010 through 23 July 2010

ER -

Modeling and verification of an automatic train protection system

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this