Author:
Hansen Dominik,Leuschel Michael,Körner Philipp,Krings Sebastian,Naulin Thomas,Nayeri Nader,Schneider David,Skowron Frank
Abstract
AbstractIn this article, we present a concrete realisation of the ETCS hybrid level 3 concept, whose practical viability was evaluated in a field demonstration in 2017. Hybrid level 3 introduces virtual subsections as sub-divisions of classical track sections with trackside train detection. Our approach introduces an add-on for the radio block centre (RBC) of Thales, called virtual block function (VBF), which computes the occupation states of the virtual subsections using the train position reports, train integrity information, and the track occupation states. From the perspective of the RBC, the VBF behaves as an interlocking that transmits all signal aspects for virtual signals introduced for each virtual subsection to the RBC. We report on the development of the VBF, implemented as a formal B model executed at runtime using ProB and successfully used in a field demonstration to control real trains.
Funder
Heinrich-Heine-Universität Düsseldorf
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference32 articles.
1. Hybrid ERTMS/ETCS level 3. Principles Ref: 16E042, Version: 1A, EEIG ERTMS Users Group, 123-133 Rue Froissart, 1040 Brussels, Belgium (2017)
2. Leuschel, M., Butler, M.J.: ProB: an automated analysis toolset for the B method. Int. J. Softw. Tools Technol. Transf. 10(2), 185–203 (2008)
3. Jiang, Z., Pajic, M., Moarref, S., Alur, R., Mangharam, R.: Modeling and verification of a dual chamber implantable pacemaker. In: Proceedings TACAS’2012, Volume 7214 of LNCS, pp. 188–203. Springer, Berlin (2012)
4. Hansen, D., Leuschel, M., Schneider, D., Krings, S., Körner, P., Naulin, T., Nayeri, N., Skowron, F.: Using a formal B model at runtime in a demonstration of the ETCS hybrid level 3 concept with real trains. In: Proceedings ABZ’2018, Volume 10817 of LNCS, pp. 292–306. Springer, Berlin (2018)
5. Abrial, J.-R.: The B-Book. Cambridge University Press, Cambridge (1996)
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献