Railway Safety

Formal modeling of moving block signaling system
We provide a formal model of a part of ERTMS/ETCS moving block level 3 for safety analysis in the presence of cyber attacks.
PDF Code
Formal modeling of moving block signaling system
Formal modelling of the impact of cyber attacks on railway safety
Modern railway signaling extensively relies on wireless communication technologies for efficient operation. The communication …
Ehsan Poorhadi, Elena Troubitsyna, György Dán
PDF Cite