Safety Analysis Of Train Controlling Of RBC Scenes On CTCS-3 System

Radio Block Center(RBC)is regard as the key equipment of CTCS-3 system on the ground,the scenes related to RBC are the main ways of working.RBC plays an important role in the process of ensuring the sound operation of system.CTCS-3 system is a multidisciplinary field integration and promotion,train operation process and discrete information interaction of equipment interact with each other,The interaction leads to train controlling of RBC scenes have complex compositeness.The requirements specification of CTCS-3 system as the major job of the requirements stage in the system life cycle is the precondition and necessary conditions of the train control system development.CTCS-3system requirements specification is analyzed in detail essential functional requirements and solutions to ensure the safe operation of the train.System safety analysis in requirement stage is the key to system safety design and evaluation,it is of great significance to ensure the system safety.Therefore,regarding train controlling of RBC scenes containing RBC logout,RBC registration start,level transition and movement authority as the research objects and based on the complex compositeness,the safety of train controlling of RBC scenes in requirements stage has been analyzed according to CTCS-3 system requirements specification.The safety of train controlling of RBC scenes in requirement stage is studied by Unified Modeling Language(UML)and Polyhedral Hybrid Automaton Verifier(PHAVer).Firstly,UML extensibility mechanism of stereotype is used to extend UML,and then UML model of train controlling of RBC is established.Discrete information interaction and continuous dynamic evolution process,namely the complex compositeness of train controlling of RBC scenes is described by UML model.Secondly,according to CTCS-3 system requirements specification,the functional requirements are summarized.Based on transformational rules between UML and PHAVer,UML model of train controlling of RBC is transformed into PHAVer model.The correctness of PHAVer model is verified.Finally,through the analysis of train controlling of RBC scenes,the related equipment functional modules potential failures have been summarized,and the fault model is built.Then the PHAVer model containing fault is built by integrating the PHAVer model and the fault model.Functional module failures leading to functional requirements of train controlling of RBC are not satisfied are analysed by using PHAVer.The results of analysis implement the safety analysis of train controlling of RBC scenes,and guide subsequent system design and safety evaluation.