Data Completeness Modeling And Analysis For Movement Authority Of RBC Based On SPN

With the development of railway enterprise, it’s important that to improve the satey of train operation.The researchs and institutions begin to analyse the safety of train control system by theory study.Nowdays most train control system safety research is based on the equipment reliability but data completenes.The author is the mumber of project "CTCS-3date completeness research", and made the Movement Authority (MA) model to study the date completeness.In CTCS-3train control systems,Radio Block Center (RBC) is the core equipment,RBC and On-board equipment two-way communicate with GSM-R.RBC sends MA to on-board equipment to control the train operation.So it is important that the data completeness of MA for safety train operation.In order to research completeness, this paper constructs MA model by SPN modeling theory. Contrast the trandition theory, SPN introduced the time concept to prevent the influence of state explode and time-delay. It is suitable to study the timeliness and correctness of completeness.The model include MA date preparing module, MA calculating module, and MA sending module.Every module is two-layer model, top model and bottom model. Those top model is function model to achieve there demand.MA date preparing module and MA sending module has the same bottom model that is GSM-R communicate model. MA calculating module’s bottom model is scene judge model.It can select the scene to calculate MA.Finally this paper verify the MA model,and get the system period—successful rate curves to analysis the timelines and correctness of MA with TimeNET4.0. It may improve the China train control system safety theory study.