Online Conformance Testing of Non-determinism Time Delay in High-speed Train Control System Using UPPAAL-TRON

LV Jidong,ZHU Xiaolin,WANG Haifeng,LI Kaicheng,TANG Tao
DOI: https://doi.org/10.3969/j.issn.1001-8360.2016.01.009
2016-01-01
Abstract:As high-speed train control system is a typical real-time system,it is crucial to ensure the functional correctness of the train control system on time delay constraint.With increasing system complexity and inter-action,traditional offline testing method,which has been widely used in train control system’s functions con-formance testing,however,has been restricted from further use by the non-determinism of time delay in physi-cal environment.In this paper,the concept of online testing was introduced,where timed automata theory was used to model a typical scenario of RBC handover process of on-board equipment,and observable message chan-nels were defined to divide the model into two parts,the environment and the equipment.Test cases were im-plemented after being generated by using the tool UPPAAL-TRON,to find out inconsistencies between the RBC simulation test model and the testing requirements under non-deterministic time delay.The non-determin-istic delay of crossing interlock messages’conformance testing is accomplished using tool UPPAAL-TRON. Inconsistencies are found between system under test and its related testing specification.After modification of the parameters of the occupation function in RBC in the test model,the conformance testing of the non-deter-ministic time delay of transboundary interlocking message transmission in RBC handover scenario has been re-alized.
What problem does this paper attempt to address?