default search action
RSSRail 2019: Lille, France
- Simon Collart Dutilleul, Thierry Lecomte, Alexander B. Romanovsky:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings. Lecture Notes in Computer Science 11495, Springer 2019, ISBN 978-3-030-18743-9
Keynote Talk
- Alessandro Fantechi
:
Connected or Autonomous Trains? 3-19
Railways System and Infrastructure Advance Modelling
- Akram Idani
Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and Validation. 23-40 - Davide Basile
Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System. 41-58 - Nathalie Bertrand, Benjamin Bordais, Loïc Hélouët, Thomas Mari, Julie Parreaux, Ocan Sankur:
Performance Evaluation of Metro Regulations Using Probabilistic Model-Checking. 59-76
Scheduling and Track Planning
- Stefan Dillmann
Automated Planning of ETCS Tracks. 79-90 - Muhammad Chenariyan Nakhaee, Djoerd Hiemstra
The Recent Applications of Machine Learning in Rail Track Maintenance: A Survey. 91-105 - Shyam Lal Karra, Kim Guldstrand Larsen
Safe and Time-Optimal Control for Railway Games. 106-122
Safety Process and Validation
- Faiz Ul Muram
A Tool-Supported Model-Based Method for Facilitating the EN50129-Compliant Safety Approval Process. 125-141 - Jan Peleska, Niklas Krafczyk, Anne E. Haxthausen
Efficient Data Validation for Geographical Interlocking Systems. 142-158 - Tomas Fischer, Dana Dghaym:
Formal Model Validation Through Acceptance Tests. 159-169
Modelling
- Yves Ledru, Akram Idani
A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules. 173-190 - Naïm Aber, Benjamin Blanc, Nathalie Ferkane, Mohand Meziani, Julien Ordioni:
RBS2HLL - A Formal Modeling of Relay-Based Interlocking. 191-201 - Mathieu Comptier, Michael Leuschel, Luis-Fernando Mejia, Julien Molinero Perez, Mareike Mutz:
Property-Based Modelling and Validation of a CBTC Zone Controller in Event-B. 202-212
Formal Verification
- Camille Parillaud, Yoann Fonteneau, Fabien Belmonte:
Interlocking Formal Verification at Alstom Signalling. 215-225 - Alessio Ferrari
Survey on Formal Methods and Tools in Railways: The ASTRail Approach. 226-241 - Dalay Israel de Almeida Pereira
B-Specification of Relay-Based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution. 242-258
Security
- Christoph Schmittner
Threat Modeling in the Railway Domain. 261-271 - Thorsten Schulz
Integration Approach for Communications-Based Train Control Applications in a High Assurance Security Architecture. 272-283 - Christian Schlehuber, Dominik Renkel:
Merging Worlds - Aligning Safety and Security. 284-295
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-23 19:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: