Formal approaches to mode conversion and positioning for vehicle system

Wen Su; Fan Yang; Xiaofeng Wu; Jian Guo; Huibiao Zhu

doi:10.1109/COMPSACW.2011.76

Formal approaches to mode conversion and positioning for vehicle system

Wen Su^*
, Fan Yang
, Xiaofeng Wu
, Jian Guo
, Huibiao Zhu

^*Corresponding author for this work

Software Engineering Institute

East China Normal University

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

3 Scopus citations

Abstract

The mode conversion and positioning of the vehicle subsystem of the Communication Based Train Control System (CBTC), need to be safe and reliable, being two critical components. To meet this requirement, we apply formal methods in the design of rail transport systems. This paper studies the specification and verification of the mode conversion and positioning system. The mode conversion system is studied by using Communicating Sequential Processes (CSP) combined with simple data structure. The positioning system is explored by combining CSP with Object-Z (OZ). Based on the achieved model, the safety property verification and simulation are proceeded by the automatic process analysis toolkit PAT.

Original language	English
Title of host publication	Proceedings - 35th Annual IEEE International Computer Software and Applications Conference Workshops, COMPSACW 2011
Pages	416-421
Number of pages	6
DOIs	https://doi.org/10.1109/COMPSACW.2011.76
State	Published - 2011
Event	35th Annual IEEE International Computer Software and Applications Conference Workshops, COMPSACW 2011 - Munich, Germany Duration: 18 Jul 2011 → 21 Jul 2011

Publication series

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

Conference

Conference	35th Annual IEEE International Computer Software and Applications Conference Workshops, COMPSACW 2011
Country/Territory	Germany
City	Munich
Period	18/07/11 → 21/07/11

Access to Document

10.1109/COMPSACW.2011.76

Cite this

Su, W., Yang, F., Wu, X., Guo, J., & Zhu, H. (2011). Formal approaches to mode conversion and positioning for vehicle system. In Proceedings - 35th Annual IEEE International Computer Software and Applications Conference Workshops, COMPSACW 2011 (pp. 416-421). Article 6032274 (Proceedings - International Computer Software and Applications Conference). https://doi.org/10.1109/COMPSACW.2011.76

@inproceedings{17c9d80d10ea45b09a3393634f5b076c,

title = "Formal approaches to mode conversion and positioning for vehicle system",

abstract = "The mode conversion and positioning of the vehicle subsystem of the Communication Based Train Control System (CBTC), need to be safe and reliable, being two critical components. To meet this requirement, we apply formal methods in the design of rail transport systems. This paper studies the specification and verification of the mode conversion and positioning system. The mode conversion system is studied by using Communicating Sequential Processes (CSP) combined with simple data structure. The positioning system is explored by combining CSP with Object-Z (OZ). Based on the achieved model, the safety property verification and simulation are proceeded by the automatic process analysis toolkit PAT.",

author = "Wen Su and Fan Yang and Xiaofeng Wu and Jian Guo and Huibiao Zhu",

year = "2011",

doi = "10.1109/COMPSACW.2011.76",

language = "英语",

isbn = "9780769544595",

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

pages = "416--421",

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

note = "35th Annual IEEE International Computer Software and Applications Conference Workshops, COMPSACW 2011 ; Conference date: 18-07-2011 Through 21-07-2011",

}

Su, W, Yang, F, Wu, X, Guo, J & Zhu, H 2011, Formal approaches to mode conversion and positioning for vehicle system. in Proceedings - 35th Annual IEEE International Computer Software and Applications Conference Workshops, COMPSACW 2011., 6032274, Proceedings - International Computer Software and Applications Conference, pp. 416-421, 35th Annual IEEE International Computer Software and Applications Conference Workshops, COMPSACW 2011, Munich, Germany, 18/07/11. https://doi.org/10.1109/COMPSACW.2011.76

Formal approaches to mode conversion and positioning for vehicle system. / Su, Wen; Yang, Fan; Wu, Xiaofeng et al.
Proceedings - 35th Annual IEEE International Computer Software and Applications Conference Workshops, COMPSACW 2011. 2011. p. 416-421 6032274 (Proceedings - International Computer Software and Applications Conference).

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

TY - GEN

T1 - Formal approaches to mode conversion and positioning for vehicle system

AU - Su, Wen

AU - Yang, Fan

AU - Wu, Xiaofeng

AU - Guo, Jian

AU - Zhu, Huibiao

PY - 2011

Y1 - 2011

N2 - The mode conversion and positioning of the vehicle subsystem of the Communication Based Train Control System (CBTC), need to be safe and reliable, being two critical components. To meet this requirement, we apply formal methods in the design of rail transport systems. This paper studies the specification and verification of the mode conversion and positioning system. The mode conversion system is studied by using Communicating Sequential Processes (CSP) combined with simple data structure. The positioning system is explored by combining CSP with Object-Z (OZ). Based on the achieved model, the safety property verification and simulation are proceeded by the automatic process analysis toolkit PAT.

AB - The mode conversion and positioning of the vehicle subsystem of the Communication Based Train Control System (CBTC), need to be safe and reliable, being two critical components. To meet this requirement, we apply formal methods in the design of rail transport systems. This paper studies the specification and verification of the mode conversion and positioning system. The mode conversion system is studied by using Communicating Sequential Processes (CSP) combined with simple data structure. The positioning system is explored by combining CSP with Object-Z (OZ). Based on the achieved model, the safety property verification and simulation are proceeded by the automatic process analysis toolkit PAT.

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

U2 - 10.1109/COMPSACW.2011.76

DO - 10.1109/COMPSACW.2011.76

M3 - 会议稿件

AN - SCOPUS:80055022743

SN - 9780769544595

T3 - Proceedings - International Computer Software and Applications Conference

SP - 416

EP - 421

BT - Proceedings - 35th Annual IEEE International Computer Software and Applications Conference Workshops, COMPSACW 2011

T2 - 35th Annual IEEE International Computer Software and Applications Conference Workshops, COMPSACW 2011

Y2 - 18 July 2011 through 21 July 2011

ER -

Formal approaches to mode conversion and positioning for vehicle system

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this