Technical Programme

Session: TU3H Railway Industry
Day/Time Tuesday, 2021 September 21 / 15:20-16:20 hrs
Venue Cointreau

141

STPA-based Safety Analysis of Virtual Coupling Scenarios
Yiming Yang, Fei Yan, Ru Niu and Chunhai Gao

167

A Framework for Definition of Operational Design Domain for Safety Assurance of Autonomous Train Operation
Ru Niu, Sifan You, Shijie Zhang and Yige Lei

290

Formal Modeling of A new On-Board Train Integrity System ETCS Compliant
Insaf Sassi, Mohamed Ghazel and El-Miloudi El-Koursi