Accepted Posters
The conference programme will include posters by:
- Barbara Gallina and Mattias Nyberg. An EN5012x-compliant OSLC-based Safety Case Generator.
- Giacomo Bersano, Mathieu Ramondou, Sergio Recio, Nicolas Ayache. A New Method to Address Security Issues of Railway Systems.
- Alexei Iliasov, Paulius Stankaitis, Luke Martin, Roberto Palacin. The SafeCap Platform for Modelling and Verification of Railway Networks.
- Dominik Hansen, Michael Leuschel, Nader Nayeri. Validation of Engineering Rules with B and ProB.
- Giovanni Neglia, Sara Alouf, Abdulhalim Dandoush, Sebastien Simoens, Pierre Dersin, Alina Tuholukova, Jerome Billion, Pascal Derouet. Performance Evaluation of Train Moving-Block Control.
- Subeer Rangra, Mohamed Sallak, Walter Schön, Frédéric Vanderhaegen. Human reliability analysis for railway operations: a framework for integration of human factors in risk analysis.
- Alessandro Fantechi, Stefania Gnesi, Anne Haxthausen, Jaco van de Pol, Marco Roveri, Helen Treharne. SaRDIn - A Safe Reconfigurable Distributed Interlocking.
