Title | ||
---|---|---|
Verification of the safety communication protocol in train control system using colored Petri net. |
Abstract | ||
---|---|---|
This paper deals with formal and simulation-based verification of the safety communication protocol in ETCS (European Train Control System). The safety communication protocol controls the establishment of safety connection between train and trackside. Because of its graphical user interface and modeling flexibility upon the changes in the system conditions, this paper proposes a composition Colored Petri Net (CPN) representation for both the logic and the timed model. The logic of the protocol is proved to be safe by means of state space analysis: the dead markings are correct; there are no dead transitions; being fair. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1016/j.ress.2011.12.010 | Reliability Engineering & System Safety |
Keywords | DocType | Volume |
EURORADIO,The safety communication protocol,Colored petri net,Verification | Journal | 100 |
Issue | ISSN | Citations |
null | 0951-8320 | 12 |
PageRank | References | Authors |
0.71 | 17 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Lijie Chen | 1 | 18 | 6.90 |
Tao Tang | 2 | 664 | 78.90 |
Xianqiong Zhao | 3 | 12 | 0.71 |
Eckehard Schnieder | 4 | 62 | 16.66 |