IEEE - Institute of Electrical and Electronics Engineers, Inc. - Towards safety monitoring of ETCS level 2 with parametrized extended live sequence charts

2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT)

Author(s): Ming Chai ; Jidong Lv ; Hongjie Liu ; Lu Zhang
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 August 2016
Conference Location: Birmingham, UK
Conference Date: 23 August 2016
Page(s): 440 - 446
ISBN (Electronic): 978-1-5090-1555-9
DOI: 10.1109/ICIRT.2016.7588766
Regular:

ETCS is an European signalling, control and automatic train protection system. Even with the most advanced quality assurance techniques, correctness of ETCS is hard to be ensured within the... View More

Advertisement