Dissertation > Excellent graduate degree dissertation topics show

Design and Implementation of ATO Redundant Mechanism for Fully Automatic Operation System

Author: ChenHaiYan
Tutor: MuJianCheng
School: Beijing Jiaotong University
Course: Traffic Information Engineering \u0026 Control
Keywords: ATO Quadruple Modular Redundant (QMR) Clock synchronization Data consistency SMV verification Functional test
CLC: U283.2
Type: Master's thesis
Year: 2012
Downloads: 54
Quote: 0
Read: Download Dissertation


With the development of science and technology and increased automation, the mode of urban rail transit system in world is also changing. As a new concept, advanced urban passenger traffic mode, Fully Automatic Operation (FAO) system represents a new urban rail transit development direction. However, safety integrity level of FAO system is four, and reliability index is higher than99.99%. Therefore, some control vehicles need to be considered redundant structure. As a non-fault vehicle, Automatic Train Operation (ATO) system on-board is urgent to design for reliability and security.In this paper, ATO on-board in FAO system is the research object. Combined with overall requirements analysis for ATO and Byzantine fault tolerance theory, Quadruple Modular Redundant (QMR) system for ATO is given in detail, to ensure ATO system has high reliability and high security.Based on IEEE1588which is a precision clock synchronization protocol, an improved high precision clock synchronization method is introduced to solve distributed system clock synchronization. With the use of handshake mechanisms and data processing, weaken the influence of various factors, QMR system for ATO can achieve sub-millisecond accuracy.Data consistency protocol is introduced to solve the input and output consistency of QMR system. With two rounds of information exchange, it can achieve coherence between the four channels to ensure the system can tolerate one Byzantine fault.Symbolic Model Verification (SMV) is introduced as a symbolic model checking tool. Clock synchronization method and Data consistency protocol are verified with SMV in the paper. It is proved that the safety of the model and the correctness of the design by the result of formal verification.Finally, in the laboratory environment, a simulation and test system is build to test the basis function of ATO redundant system. According to test results, it shows that the design of ATO redundant system in the paper is feasible and workable.

Related Dissertations

  1. Research and Realization of Precision Clock Synchronization Protocol,TP393.11
  2. Study on Time Synchronization Method for Urban Lighting Management System,TM923
  3. Clinical analysis of acute leukemia, promyelocytic retinoic acid , arsenic trioxide combined with low-dose Homoharringtonine alkali treatment,R733.71
  4. Research on Inventory Control and Optimization of ATO System in GR Elevator Company,F426.6;F224
  5. Research and Preparation of Silicone Coating,TQ633
  6. The Development of UV-Protective, Heat Insulated and Cooling Umbrella Fabric Finished by Nano-Materials,TB383.1
  7. Research of Clock Synchronization Over WIFI Networks,TN929.5
  8. Research on Monitoring System of High-Load Parallel Robot,TP242
  9. Study on the Allocation Strategy of Inventory and Capacity Based on Revenue Management under ATO Mode,F224
  10. Design and Properties of Heat-Insulating Materials,TB34
  11. IPCamera based DM368 HD Hardware System Design and Implementation,TN948.41
  12. Telecom BOSS system software testing,TP311.53
  13. Cloud-based distributed real-time database performance data storage and retrieval mechanism,TP311.13
  14. Effects and Mechanism of Arsenic Trioxide on Th17/IL-17 Axis in a Mouse Model of Asthma,R562.25
  15. Study of Planning, Control Process and Its Method under ATO Mode in V Company,F273
  16. Design and Implementation of Automatic Train Operation Simulation System Based on dSPACE,U284.48
  17. The credit cooperatives Agent Design and Implementation of the system of property maintenance fund management,TP311.52
  18. Research and Implementation of the Disaster-Tolerant Structure and Data Consistency Maintenance Technology Based on Heterogeneous-Databases,TP311.13
  19. Research on Mobile Agent Consistency in Mobile Database,TP311.13
  20. Research of Concurrency Control Technology for Mobile Transaction,TP311.13
  21. Research on Optimization of Automatic Train Operation for Saving Energy,U284.48

CLC: > Transportation > Rail transport > Railway communication,signal > Communications, signal theory > Application of the theory of reliability and security
© 2012 www.DissertationTopic.Net  Mobile