default search action
RSSRail 2016: Paris, France
- Thierry Lecomte
, Ralf Pinger, Alexander B. Romanovsky
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings. Lecture Notes in Computer Science 9707, Springer 2016, ISBN 978-3-319-33950-4
Keynote Talks
- Robin E. Bloomfield, Marcus Bendele, Peter G. Bishop
The Risk Assessment of ERTMS-Based Railway Systems from a Cyber Security Perspective: Methodology and Lessons Learned. 3-19 - Denis Sabatier:
Using Formal Proof and B Method at System Level for Industrial Projects. 20-31 - Jan Peleska, Wen-ling Huang, Felix Hübner:
A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers. 32-49
Security
- Joeri de Ruiter
A Formal Security Analysis of ERTMS Train to Trackside Protocols. 53-68 - Po-Chi Huang, Birgit Milius
Operational Security - A Coming Evolution of Railway Operational Procedures Under the IT Security Threat. 69-78 - Florent Pépin, Maria Grazia Vigliotti:
Risk Assessment of the 3Des in ERTMS. 79-92
Systems
- Xiao Han, Tao Tang, Jidong Lv, Haifeng Wang:
Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking. 95-105 - Marco Filax
Correct Formalization of Requirement Specifications: A V-Model for Building Formal Models. 106-122 - Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah:
Static Verification of Railway Schema and Interlocking Design Data. 123-133 - Christophe Limbrée, Quentin Cappart, Charles Pecheur, Stefano Tonetta:
Verification of Railway Interlocking - Compositional Approach with OCRA. 134-149 - Paulius Stankaitis, Alexei Iliasov:
Safety Verification of Heterogeneous Railway Networks. 150-159 - Anne Elisabeth Haxthausen
Comparing Formal Verification Approaches of Interlocking Systems. 160-177 - Luke J. W. Martin:
Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway Systems. 178-188
Verification and Validation
- Daniel Kästner, Christian Ferdinand:
Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements. 191-202 - Nazim Benaïssa, David Bonvoisin, Abderrahmane Feliachi, Julien Ordioni:
The PERF Approach for Formal Verification. 203-214 - Claire Dross, Yannick Moy:
Abstract Software Specifications and Automatic Proof of Refinement. 215-230 - Nicolas Breton, Yoann Fonteneau:
S3: Proving the Safety of Critical Systems. 231-242 - Sylvain Conchon, Mohamed Iguernelala:
Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo. 243-253
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-15 01:15 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: