Accepted Posters

The following nine posters have been accepted for the conference. They will be displayed in the exhibition area, just outside the main lecture room, where all breaks (coffee, lunch and the Tuesday welcome reception) will take place.

Solving a Train Rescheduling Problem using Timed Coloured Petri Nets

  • Somsak Vanit-Anunchai, Anan Phonimdaeng, Ariya Areechot, Tachanon Issariyameteekul, Wiwat Vatanawood

Porting Relay-Based Schemas to a SIL4 Programmable Control Platform

  • David Deharbe, Paulin Fournier, Denis Sabatier, Damien Ledoux

High-speed Railway Operation Safety Management Maturity Model and Evaluation Method Based on Grey Comprehensive Evaluation Method

  • Li Kehong,Guo Jin, Zhang Yadong

The Use of Natural Language Processing (NLP) to Facilitate Higher Quality Requirements Engineering in Railway Systems Development

  • Johnny Beardsmore, Howard Parkinson, Clive Osman, Rhian Davies, Paul Rayson

An Approach to Improve SysML Railway Specification using UML-B and EVENT-B

  • Randolf Berglehner, Ibtihel Cherif, Abdul Rasheeq

Modelling and Verification of ERTMS – A Comparison of KeYmaera, Real-Time Maude, and UPPAAL

  • Aled Walters, Yong Zhang, Phillip James, Markus Roggenbach, Monika Seisenberger

Compositional Security Certification for Medium- to High-assurance COTS-based Systems in Environments with Emerging Threats

  • Sergey Tverdyshev, Holger Blasum, Klaus-Michael Koch, Benito Caracuel,  Reinhard Hametner, Petr Novobilsky, Frank Golatowski, Thorsten Schulz

SafeCap SSI Verification

  • Alexei Iliasov, Paulius Stankaitis, DomenicTaylor

Behaviour-Driven Formal Model Development Applied to ETCS Hybrid Level 3

  • Dana Dghyam, Tomas Fischer, Thai Son Hoang, Klaus Reichl, Colin Snook, Rupert Schlick, Thorsten Tarrach, Peter Tummeltshammer