Railway

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