Research on Testing-based Safety Assessment Benchmark of Railway Computer Interlocking Software
Fangmei Wu · Journal of the China Railway Society · 2005
Railway computer interlocking is one typical safety-critical system. A lot of critical technique requirements protecting the system from hazards must be considered. Software defects liable to cause unsafety shall be located effectively and incontrovertible software safety assessment shall be made. Safety testing of the system is the most satisfactory technical means to investigate the vital safety function of the interlodsing software. On the basis of prior-stace testing work, the testing-based safety assessment benchmark is discussed systematically. Some fresh concepts are defined, for example, the unsafe item , the protecting-required hazard set and the extended protection ability etc. Classified safety benchmarks are described in a formaliaed way. The paper providesla useful theoretical basis for safety testing, safety assessment and quality management of computer interlocking. Some testing cases are also analyzed.