scholarly journals On the Improving Integrity for Verification method of Train-Centric Train Control System Architecture using FMEA Safety Activity

2016 ◽  
Vol 17 (10) ◽  
pp. 68-78
Author(s):  
Joo-Uk Kim ◽  
Seh Chan Oh ◽  
Keum Bee Kim ◽  
Sang-Hyun Sim ◽  
Young-Min Kim
Keyword(s):  
Control System ◽  
System Architecture ◽  
Verification Method ◽  
Train Control ◽  
Train Control System ◽  
Control System Architecture

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.

Micro-Anode Guided Electroplating (MAGE) Control System

2006 ◽  
Vol 505-507 ◽  
pp. 115-120
Author(s):  
Dong Liang Lee ◽  
Jui Chang Lin ◽  
P.F. Kao ◽  
S.B. Jiang
Keyword(s):  
Control System ◽  
Surface Morphology ◽  
Measurement System ◽  
System Architecture ◽  
Power Source ◽  
Source Control ◽  
Equipment Development ◽  
Machine Interface ◽  
Man Machine Interface ◽  
Control System Architecture

This article releases the details of the equipment development for the micro-anode guided electroplating MAGE fabrication. The microstepping architecture, electroplating power source, control system architecture, measurement system, man machine interface and the control prodedure will be described. Metallic columns around 100 micrometers in diameter were fabricated up to 2cm long with this equipment to demonstrate its performance. An innovative intermittent MAGE mode is supported by this equipment so that it can produce micro columns of finer surface morphology and better circumferential uniformity than the conventional continuous electroplating.

Sign in / Sign up

Export Citation Format

Share Document