Safety

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
Automating an Analysis of Safety-Security Interactions for Railway Systems
Over recent years, the number of cyberattacks on safety-critical systems, including railways has been rapidly increasing. To analyze …
Ehsan Poorhadi, Elena Troubitsyna
PDF Cite