SysML

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