Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

Description

This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held in Lille, France in June 2019. The 18 full papers presented in this book were carefully reviewed and selected from 38 submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling and track planning; safety process and validation; modelling; formal verification; and security. Front Matter ....Pages i-xix Front Matter ....Pages 1-1 Connected or Autonomous Trains? (Alessandro Fantechi)....Pages 3-19 Front Matter ....Pages 21-21 Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and Validation (Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, Philippe Bon)....Pages 23-40 Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System (Davide Basile, Alessandro Fantechi, Luigi Rucher, Gianluca Mandò)....Pages 41-58 Performance Evaluation of Metro Regulations Using Probabilistic Model-Checking (Nathalie Bertrand, Benjamin Bordais, Loïc Hélouët, Thomas Mari, Julie Parreaux, Ocan Sankur)....Pages 59-76 Front Matter ....Pages 77-77 Automated Planning of ETCS Tracks (Stefan Dillmann, Reiner Hähnle)....Pages 79-90 The Recent Applications of Machine Learning in Rail Track Maintenance: A Survey (Muhammad Chenariyan Nakhaee, Djoerd Hiemstra, Mariëlle Stoelinga, Martijn van Noort)....Pages 91-105 Safe and Time-Optimal Control for Railway Games (Shyam Lal Karra, Kim Guldstrand Larsen, Florian Lorber, Jiří Srba)....Pages 106-122 Front Matter ....Pages 123-123 A Tool-Supported Model-Based Method for Facilitating the EN50129-Compliant Safety Approval Process (Faiz Ul Muram, Barbara Gallina, Samina Kanwal)....Pages 125-141 Efficient Data Validation for Geographical Interlocking Systems (Jan Peleska, Niklas Krafczyk, Anne E. Haxthausen, Ralf Pinger)....Pages 142-158 Formal Model Validation Through Acceptance Tests (Tomas Fischer, Dana Dghyam)....Pages 159-169 Front Matter ....Pages 171-171 A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules (Yves Ledru, Akram Idani, Rahma Ben Ayed, Abderrahim Ait Wakrime, Philippe Bon)....Pages 173-190 RBS2HLL (Naïm Aber, Benjamin Blanc, Nathalie Ferkane, Mohand Meziani, Julien Ordioni)....Pages 191-201 Property-Based Modelling and Validation of a CBTC Zone Controller in Event-B (Mathieu Comptier, Michael Leuschel, Luis-Fernando Mejia, Julien Molinero Perez, Mareike Mutz)....Pages 202-212 Front Matter ....Pages 213-213 Interlocking Formal Verification at Alstom Signalling (Camille Parillaud, Yoann Fonteneau, Fabien Belmonte)....Pages 215-225 Survey on Formal Methods and Tools in Railways: The ASTRail Approach (Alessio Ferrari, Maurice H. ter Beek, Franco Mazzanti, Davide Basile, Alessandro Fantechi, Stefania Gnesi et al.)....Pages 226-241 B-Specification of Relay-Based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution (Dalay Israel de Almeida Pereira, David Deharbe, Matthieu Perin, Philippe Bon)....Pages 242-258 Front Matter ....Pages 259-259 Threat Modeling in the Railway Domain (Christoph Schmittner, Peter Tummeltshammer, David Hofbauer, Abdelkader Magdy Shaaban, Michael Meidlinger, Markus Tauber et al.)....Pages 261-271 Integration Approach for Communications-Based Train Control Applications in a High Assurance Security Architecture (Thorsten Schulz, Frank Golatowski, Dirk Timmermann)....Pages 272-283 Merging Worlds – Aligning Safety and Security (Christian Schlehuber, Dominik Renkel)....Pages 284-295 Back Matter ....Pages 297-297