Model-based verification method for solving the parameter uncertainty in the train control system

2016 ◽  
Vol 145 ◽  
pp. 169-182 ◽  
Author(s):  
Ruijun Cheng ◽  
Jin Zhou ◽  
Dewang Chen ◽  
Yongduan Song
Keyword(s):  
Control System ◽  
Parameter Uncertainty ◽  
Verification Method ◽  
Train Control ◽  
Model Based ◽  
Train Control System

scholarly journals On Enhancing Safety of Train-Centric Train Control System using Model-Based Development

2016 ◽  
Vol 17 (7) ◽  
pp. 573-584
Author(s):  
Myung-Sung Choi ◽  
Joo-Uk Kim ◽  
Seok-Youn Han ◽  
Se-Chan Oh ◽  
Sang-Hyun Sim ◽  
...  
Keyword(s):  
Control System ◽  
Train Control ◽  
Model Based ◽  
Train Control System

CBTC System Dynamic Data Security Verification Method

2015 ◽  
Vol 734 ◽  
pp. 211-215
Author(s):  
Xiao Peng Hou ◽  
You Neng Huang
Keyword(s):  
Control System ◽  
Data Security ◽  
Timed Automata ◽  
Unified Modeling Language ◽  
Component Part ◽  
Dynamic Data ◽  
Verification Method ◽  
Train Control ◽  
Train Control System ◽  
Security Verification

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.

Sign in / Sign up

Export Citation Format

Share Document