Event-B

Automated Integrated Analysis of Safety-Security Interactions for Railway Systems
A framework for analysis safety security interactions of railway signaling systems based on SysMl and Event-B.
Dec 7, 2023 10:30 AM — 11:30 AM Vehicle Engineering Laboratory (VEL), Teknikringen 8
Ehsan Poorhadi, Elena Troubitsyna
Automating an Analysis of Safety-Security Interactions for Railway Systems
A framework for analysis the impact of cyber attacks on safety of railway signaling systems based on SysMl and Event-B.
Oct 11, 2023 11:30 AM — 12:00 PM Berlin Change hub
Ehsan Poorhadi, Elena Troubitsyna
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
EBSysMLSec
Translation of SysML models to Event-B specification for formal analysis.
Code
EBSysMLSec
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
Formalising the impact of security attacks on IoT safety
Modern safety-critical systems become increasingly networked and interconnected. Often the communication between the system components …
Ehsan Poorhadi, Elena Troubitsyna, György Dán
PDF Cite