Testing Modeling Method for Safety Critical Function of High-Speed Railway Signal System

LI Yao; ZHANG Xiaoxia; GUO Jin; ZHANG Yadong

doi:10.3969/j.issn.0258-2724.20200378

Volume 57 Issue 1

Feb. 2022

Turn off MathJax

Article Contents

Abstract

References

Journal of Southwest Jiaotong University > 2022 > 57(1): 28-35, 45.

LI Yao, ZHANG Xiaoxia, GUO Jin, ZHANG Yadong. Testing Modeling Method for Safety Critical Function of High-Speed Railway Signal System[J]. Journal of Southwest Jiaotong University, 2022, 57(1): 28-35, 45. doi: 10.3969/j.issn.0258-2724.20200378

Citation:

LI Yao, ZHANG Xiaoxia, GUO Jin, ZHANG Yadong. Testing Modeling Method for Safety Critical Function of High-Speed Railway Signal System[J]. Journal of Southwest Jiaotong University, 2022, 57(1): 28-35, 45. doi: 10.3969/j.issn.0258-2724.20200378

Citation:

PDF( 2208 KB)

Testing Modeling Method for Safety Critical Function of High-Speed Railway Signal System

doi: 10.3969/j.issn.0258-2724.20200378

1.
School of Optoelectronic Science and Engineering, University of Electronic Science and Technology of China, Chengdu 611731, China
2.
School of Information Science and Technology, Southwest Jiaotong University, Chengdu 611756, China

Received Date: 12 Jun 2020
Rev Recd Date: 20 Nov 2020

Available Online: 15 Nov 2021

Publish Date: 25 Dec 2020

Abstract

Abstract

Testing model is an important basis to create the test cases of safety critical function of high-speed railway signal system. To solve the problem that the characteristics of signal system are not fully represented in the modeling process of safety critical function test of high-speed railway signal system, the modeling theory of timed finite state machine (TFSM) and test case generation method are proposed. The characteristics in the test modeling of high-speed railway signal system is analyzed, and the modeling requirements are put forward. Then, based on the theory of finite state machine, a modeling method of TFSM is proposed by utilizing functional logic and clock constraints, and its formal definition is established with Z notation. Further, the TFSM is transformed into timed automata, which can prove the consistency between them, and test cases are automatically generated with timed automata based testing theory. The switch conversion function of the computer interlocking system is used as an example to build the testing model of TFSM and generate the test cases. The result shows that compared with the test cases generated by timed automata, in terms of functional logic, the test cases generated by TFSM can fully cover those generated by timed automata, and add 16 more test cases with clock constraints, showing that TFSM can meet the testing modeling requirements for the safety critical function of high-speed railway signal system.
- railway signal system,
- modeling method,
- timed finite state machine,
- Z notation,
- timed automata

FullText(HTML)

References(24)

References

[1]	上官伟,胡福威,袁敏,等. 基于弹复力效应的列控车载设备可靠性分析方法[J]. 铁道学报,2018,40(6): 75-82. doi: 10.3969/j.issn.1001-8360.2018.06.010 SHANGGUAN Wei, HU Fuwei, YUAN Min, et al. Reliability analysis method for on-board equipment of train control system based on resilience effect[J]. Journal of the China Railway Society, 2018, 40(6): 75-82. doi: 10.3969/j.issn.1001-8360.2018.06.010
[2]	袁磊,吕继东,刘雨,等. 一种全覆盖的列控车载系统测试用例自动生成算法研究[J]. 铁道学报,2014,36(8): 55-62. doi: 10.3969/j.issn.1001-8360.2014.08.010 YUAN Lei, LÜ Jidong, LIU Yu, et al. Research on model-based test case generation method of onboard subsystem in CTCS-3[J]. Journal of the China Railway Society, 2014, 36(8): 55-62. doi: 10.3969/j.issn.1001-8360.2014.08.010
[3]	吕继东,朱晓琳,李开成,等. 基于模型的CTCS-3级列控系统测试案例自动生成方法[J]. 西南交通大学学报,2015,50(5): 917-927. doi: 10.3969/j.issn.0258-2724.2015.05.023 LYU Jidong, ZHU Xiaolin, LI Kaicheng, et al. Model-based test case automatic generation of CTCS-3 train control system[J]. Journal of Southwest Jiaotong University, 2015, 50(5): 917-927. doi: 10.3969/j.issn.0258-2724.2015.05.023
[4]	LI C L, LI K C, TANG T, et al. Model-based generation of safety test-cases for onboard systems[C]//2013 IEEE International Conference on Intelligent Rail Transportation Proceedings. Beijing: IEEE, 2013: 191-196.
[5]	魏柏全. 基于TAIO变异分析的新型列控系统安全功能测试评价研究[D]. 北京: 北京交通大学, 2018.
[6]	CHEN Lijie, ZHAO Tianshi, SUN Chao, et al. Test case generation method based on colored Petri net for train control system[C]//2018 3rd International Conference on System Reliability and Safety (ICSRS). Barcelona: IEEE, 2018: 1-5.
[7]	赵晓宇, 杨志杰, 吕旌阳. 基于有色Petri网的车载设备模式转换测试序列生成方法[J]. 中国铁道科学, 2017, 38(4): 115-123. ZHAO Xiaoyu, YANG Zhijie, LYU Jingyang, Test sequence generation method of mode transition for on-board equipment based on colored Petri net[J]. China Railway Science, 2017, 38(4): 115-123.
[8]	曹雅鑫. 基于UML状态图的列控中心轨道电路编码功能测试用例生成方法研究[D]. 成都: 西南交通大学, 2017.
[9]	王秀玄. 基于UML的列控中心改变运行方向功能测试用例生成方法研究[D]. 成都: 西南交通大学, 2016.
[10]	AMMANN P, OFFUTT J. Introduction[M]//Introduc- tion to Software Testing. Cambridge: Cambridge University Press, 2017: 3-24.
[11]	梅林. 形式化联锁软件测试技术研究[D]. 兰州: 兰州交通大学, 2014.
[12]	郭昊男. 新型列控系统车载ATP安全功能在线测试研究[D]. 北京: 北京交通大学, 2019.
[13]	富德佶. 基于模型的CTCS-3列控系统互联互通测试自动分析方法研究[D]. 北京: 北京交通大学, 2015.
[14]	谢林,杨扬. 基于模型的进路建立过程测试用例自动生成[J]. 铁道标准设计,2017,61(2): 109-116. XIE Lin, YANG Yang. Model-based automatic generation of test case of route establishment process[J]. Railway Standard Design, 2017, 61(2): 109-116.
[15]	HUANG Y S, CHUNG T H, CHEN C T. Modeling traffic signal control systems using timed colour Petri nets[C]//2005 IEEE International Conference on Systems, Man and Cybernetics. Waikoloa: IEEE, 2005: 1759-1764.
[16]	ZAID D H. Safecharts: a statecharts variant for safety-critical systems design[D]. Reading: University of Reading, 2005.
[17]	ANDRÉ C. Computing SyncCharts reactions[J]. Electronic Notes in Theoretical Computer Science, 2004, 88: 3-19. doi: 10.1016/j.entcs.2003.05.007
[18]	李耀. 铁路信号系统安全关键软件建模与分析方法[D]. 成都: 西南交通大学, 2018.
[19]	ZHANG Tao, HUANG Shaobin, HUANG Hongtao. An operational semantics for UML RT-statechart in model checking context[C]//2009 Fourth International Conference on Internet Computing for Science and Engineering. Harbin: IEEE, 2009: 12-18.
[20]	铁道部科学技术司, 铁道部运输局. CTCS-3级列控系统测试案例(V3.0): 科技运[2009] 59号[S]. 北京: [出版者不详], 2009.
[21]	铁道部科学技术司,铁道部运输局. CTCS-3级列控系统测试案例(V3.0):科技运[2009] 59号[S]. 北京: [出版者不详], 2009. doi: 10.3969/j.issn.0258-2724.2015.01.005 LI Yao, CHEN Rongwu, GUO Jin, et al. Modeling and verification of TSSM-based CBTC zone controller for urban rail transit[J]. Journal of Southwest Jiaotong University, 2015, 50（1）: 27-35. doi: 10.3969/j.issn.0258-2724.2015.01.005
[22]	张曙光. CTCS-3级列控系统总体技术方案[M]. 北京: 中国铁道出版社, 2008.
[23]	饶畅,李楠,张亚东,等. 铁路信号安全关键软件的组合测试序列集约简[J]. 西南交通大学学报,2020,55(3): 596-603. doi: 10.3969/j.issn.0258-2724.20190157 RAO Chang, LI Nan, ZHANG Yadong, et al. Combinatorial test sequence set reduction approach for railway signaling safety-critical software[J]. Journal of Southwest Jiaotong University, 2020, 55(3): 596-603. doi: 10.3969/j.issn.0258-2724.20190157
[24]	吴彪. 基于EFSM的测试用例自动生成方法的研究[D]. 杭州: 浙江理工大学, 2016.