Title | ||
---|---|---|
Simplifying the Formal Verification of Safety Requirements in Zone Controllers Through Problem Frames and Constraint-Based Projection. |
Abstract | ||
---|---|---|
Formal methods have been applied widely to verifying the safety requirements of communication-based train control (CBTC) systems, while the problem situations could be much simplified. In industrial practices of CBTC systems, however, huge complexity arises, which renders those methods nearly impossible to apply. In this paper, we aim to reduce the state space of formal verification problems in zo... |
Year | DOI | Venue |
---|---|---|
2018 | 10.1109/TITS.2018.2869633 | IEEE Transactions on Intelligent Transportation Systems |
Keywords | DocType | Volume |
Safety,Tracking,Software,Standards,Control systems,Complexity theory,Intelligent transportation systems | Journal | 19 |
Issue | ISSN | Citations |
11 | 1524-9050 | 1 |
PageRank | References | Authors |
0.37 | 0 | 7 |
Name | Order | Citations | PageRank |
---|---|---|---|
Zhengheng Yuan | 1 | 1 | 1.05 |
Xiaohong Chen | 2 | 4 | 6.55 |
Jing Liu | 3 | 6 | 9.92 |
Yijun Yu | 4 | 1558 | 113.40 |
Haiying Sun | 5 | 2 | 4.78 |
Tingliang Zhou | 6 | 7 | 4.64 |
Zhi Jin | 7 | 1493 | 137.87 |