Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model
In 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 …
practical viability was evaluated in a field demonstration in 2017. Hybrid level 3 introduces …
Formalising the hybrid ERTMS level 3 specification in iUML-B and Event-B
We demonstrate refinement-based formal development of the hybrid,'fixed virtual
block'approach to train movement control for the emerging European Rail Traffic …
block'approach to train movement control for the emerging European Rail Traffic …
Validating the hybrid ERTMS/ETCS level 3 concept with Electrum
A Cunha, N Macedo - International Journal on Software Tools for …, 2020 - Springer
This paper reports on the development of a formal model for the Hybrid ERTMS/ETCS Level
3 concept in Electrum, a lightweight formal specification language that extends Alloy with …
3 concept in Electrum, a lightweight formal specification language that extends Alloy with …
SPD-Safe: Secure administration of railway intelligent transportation systems
The railway transport system is critical infrastructure that is exposed to numerous man-made
and natural threats, thus protecting this physical asset is imperative. Cyber security, privacy …
and natural threats, thus protecting this physical asset is imperative. Cyber security, privacy …
Validating the hybrid ERTMS/ETCS level 3 concept with electrum
This paper reports on the development of a formal model for the Hybrid ERTMS/ETCS Level
3 concept in Electrum, a lightweight formal specification language that extends Alloy with …
3 concept in Electrum, a lightweight formal specification language that extends Alloy with …
Standard conformance-by-construction with Event-B
Checking the conformance of a system design to a standard is a central activity in the system
engineering life cycle, a fortiori when the concerned system is deemed critical. Standard …
engineering life cycle, a fortiori when the concerned system is deemed critical. Standard …
A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard
A Mammar, M Frappier, SJ Tueno Fotso… - International Journal on …, 2020 - Springer
This paper presents a formal model of the case study proposed for the ABZ2018 conference,
which concerns the Hybrid ERTMS/ETCS Level 3 Standard. This standard allows trains to …
which concerns the Hybrid ERTMS/ETCS Level 3 Standard. This standard allows trains to …
Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach
SJ Tueno Fotso, M Frappier, R Laleau… - International Journal on …, 2020 - Springer
This paper presents a specification of the hybrid ERTMS/ETCS level 3 standard in the
framework of the case study proposed for ABZ2018. The specification is based on methods …
framework of the case study proposed for ABZ2018. The specification is based on methods …
Validation of the Hybrid ERTMS/ETCS Level 3 using Spin
P Arcaini, J Kofroň, P Ježek - International Journal on Software Tools for …, 2020 - Springer
Abstract The Hybrid ERTMS/ETCS Level 3 is a standard for the management and
interoperation of signalling for railways by the European Union. Its aim was to increase the …
interoperation of signalling for railways by the European Union. Its aim was to increase the …
Optimal railway routing using virtual subsections
The design of railway systems has become a non-trivial task which more and more demands
for efficient design automation methods. Modern railway systems based on standards such …
for efficient design automation methods. Modern railway systems based on standards such …