Model-based Method Of Positive Safety For Train Control RBC System In High Speed Line

Train Control System is the core equipment to supervise and control train's speed,which ensures the safety,punctuality and efficiency of train operation.In recent years,model-based development method has been gradually applied to the development of the train control system due to the advantages of development efficiency and cost,guaranteeing correctness of system design and software quality.RBC is the core equipment of the train control system which controls the train's safe operation by computing the movement authority to train.In this thesis,a positive safety protection function is realized by taking the continuous train speed change into computing process of train control information.RBC is modeled by discrete modeling method in tradition,while discrete modeling method cannot depict the system continuous behavior precisely and the the loss of some continuous details is inevitable.In order to describe these behavior precisely,hybrid theory is applied in the modeling of positive safety protection function.In this thesis,a hybrid modeling method of positive safety for train control system is studied,a positive safety function of RBC system is desiged and modeled and the hybrid dynamical simulation of the model is taken.The main work of the thesis is as following four aspects:(1)Passivity of the safety protection in the train control system based on traditional discrete control model is analyzed,and a positive safety protection method for train control system based on hybrid modeling is given,which describes the continuous change of train speed and running distance,calculates the corresponding discrete train control state and can forwardly find dangerous behavior that discrete model may omit.(2)Hybrid modeling method of the positive safety for train control system is studied.The formal expression of positive safety protection for train control system based on hybrid theory is given and the frame of realizing the hybrid positive safety for train control system by the combination of SCADE and Simulink is designed,which contains the process of the modeling and simulation verification of protection model.(3)Hybrid positive safety protection functions in train control RBC system is designed and the functional models of train state management,MA calculation and positive overspeed warning information calculation are builded by the method of combining SCADE and Simulink.(4)Train control system operation scenario oriented peripheral simulation model of RBC is builded.Incorporating the hybrid model of the positive safey function for RBC with the peripheral simulation model,the dynamic simulation of system is made and the simulation results are compared with the one on same scenario but modeled by discrete method.The results show that positive safety hybrid model of RBC can find the dangerous situation that discrete model cannot find and validates the effectiveness of the desiged function and the development method of positive safety for train control RBC system.Modeling method of positive safety for train control RBC system in high speed line studied in this thesis achieves the protection on continuous train behavior which can effectively improve the protection performance and control accuracy of train control system and enhances the initiative of train safety protection.The study has some referential significance for the development of the train control system.