Study on Formal Modeling and Safety Verification of Train-to-Train Communication
Author
Source
Wireless Communications and Mobile Computing
Issue
Vol. 2018, Issue 2018 (31 Dec. 2018), pp.1-9, 9 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2018-06-04
Country of Publication
Egypt
No. of Pages
9
Main Subjects
Information Technology and Computer Science
Abstract EN
VBTC (vehicle-to-vehicle communication based train control) has gradually become an important research trend in the field of rail transit.
This has resulted in advantages of decreasing the number of pieces of wayside equipment and improving the efficiency of real-time system communication.
Characteristics and mechanism of train-to-train communication, as key implementation technology of safety critical system, are given and discussed.
A new method, based on the LTS (labelled transition system) model checking, is proposed for verifying the safety properties in the communication procedure.
The LTS method is adapted to model system behaviours; analysis and safety verification are checked by means of LTSA (labelled transition system analyzer) software.
The results show that it is an efficient method to verify safety properties, as well as to assist the complex system’s design and development.
American Psychological Association (APA)
Feng, Haonan. 2018. Study on Formal Modeling and Safety Verification of Train-to-Train Communication. Wireless Communications and Mobile Computing،Vol. 2018, no. 2018, pp.1-9.
https://search.emarefa.net/detail/BIM-1215901
Modern Language Association (MLA)
Feng, Haonan. Study on Formal Modeling and Safety Verification of Train-to-Train Communication. Wireless Communications and Mobile Computing No. 2018 (2018), pp.1-9.
https://search.emarefa.net/detail/BIM-1215901
American Medical Association (AMA)
Feng, Haonan. Study on Formal Modeling and Safety Verification of Train-to-Train Communication. Wireless Communications and Mobile Computing. 2018. Vol. 2018, no. 2018, pp.1-9.
https://search.emarefa.net/detail/BIM-1215901
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-1215901