CBTC System Dynamic Data Security Verification Method

Xiao Peng Hou; You Neng Huang

doi:10.4028/www.scientific.net/AMM.734.211

Paper Titles

The Construction of Remote Online Access to PLC Laboratory Based on Internet
p.194

The Design and Implementation Approach of a Dual Redundant Servo Controller
p.198

The Research of Moving Target Detection and Tracking System Based on DM6437
p.203

Study of the Production of Electrolytic Capacitors of Intelligent Network Equipment Management
p.207

CBTC System Dynamic Data Security Verification Method
p.211

LMI-Based H ∞ Control for Dual-Channel E-Commerce CLSC Networks and its Bullwhip Effect
p.216

Network Optimization of X-by-Wire System Based on FlexRay Bus
p.220

Design of Intelligent Measure and Control Software of Plant Growth Cabinet Based on Android System
p.224

Study for PID Temperature Control of Plant Growth Cabinet Based on Neural Network
p.229

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vol. 734CBTC System Dynamic Data Security Verification...

CBTC System Dynamic Data Security Verification Method

Abstract:

Communication based train control system as a train control system is designed to ensure driving safety, the system description and system function of the real environment is driven by different types of data. Data security is an important component part of CBTC system security, the dynamic data as interactive data within the system is more important influence on system safety, it is necessary to put forward the formal modeling for dynamic data security verification. This paper puts forward a kind of dynamic data security verification method for train control system based on UPPAAL. The unified modeling language (UML) is adopted to train control scene modeling analysis, through model transformation method to convert the UML sequence diagram to timed automata model, using UPPAAL validation tool for train control scenario simulation analysis, through dynamic data to meet security constraint conditions shows that the dynamic data security.

You might also be interested in these eBooks

Electronics, Automation and Engineering of Power Systems

View Preview

Info:

Periodical:

Applied Mechanics and Materials (Volume 734)

Pages:

211-215

DOI:

https://doi.org/10.4028/www.scientific.net/AMM.734.211

Citation:

Cite this paper

Online since:

February 2015

Authors:

Xiao Peng Hou*, You Neng Huang

Keywords:

Communication Based Train Control System, Dynamic Data Safety, Formal Modeling

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

* - Corresponding Author

References

[1] Alur R, Dill D L. A theory of timed automata[J]. Theoretical computer science, 1994, 126(2): 183-235.

DOI: 10.1016/0304-3975(94)90010-8

Google Scholar

[2] Rumbaugh J, Jacobson I, Booch G. Unified Modeling Language Reference Manual, The[M]. Pearson Higher Education, 2004. Matthew John Morley. Safety Assurance in Interlocking Design [D]. England: University of Edinburgh, (1996).

Google Scholar

[3] Mongardi G. Dependable computing for railway control systems[M]/Dependable Computing for Critical Applications 3. Springer Vienna, 1993: 255-277.

DOI: 10.1007/978-3-7091-4009-3_11

Google Scholar

[4] IEEE 1474. 4-2011. IEEE 1474. 3-2008. IEEE Recommended practice for Stand for Communication-Based Train Control (CBTC) System Design and Functional Allocations [s]: IEEE Vehicular Technology Society. [s]: IEEE Vehicular Technology Society.

DOI: 10.1109/ieeestd.2008.4618623

Google Scholar

[5] Yuan Cao, Tao Tang, Tianhua Xu, etc., formal methods in the application of train operation control system [J]. Journal of transportation engineering, 2010, 10 (1) : 112-126. In Chinese.

Google Scholar