Call for Contributions 2023 - Conference
Dear authors, we are eagerly awaiting your final paper. Please upload the pdf to easychair. Also, please sent an email with the following three documents to Simon at simoncollart-dutilleuluniv-eiffelfr.
- pdf file of the final paper (just as backup)
- source file of the final paper
- Signed copyright form
For the Copyright form, use the following data:
Birgit Milius,Simon Collart Dutilleul, Thierry Lecomte Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 5th International Conference, RSSRail 2023, Berlin, Germany, June 10-12 october , 2023, Proceedings. Lecture Notes in Computer Science
Thank you very much!
We are very happy to announce that the fifth RSSRail will be happening on October 10-12, 2023 in Berlin.
The railway industry faces increasing pressure to improve system safety, to decrease production costs and time to market, to reduce carbon emissions and running costs, and to increase the capacity of the railway. Railway systems are now being integrated into larger multi-transport networks. Such systems require an even higher degree of automation at all levels of operation. These trends dramatically increase the complexity of railway applications and pose new challenges in developing novel methods of modelling, analysis, verification and validation to ensure their reliability, safety and security, as well as in supporting novel mechanisms and procedures to help make the case that development processes meet the mandated standards.
This conference will bring together researchers and developers working on railway system reliability, security and safety to discuss how all of these requirements can be met in an integrated way. It is also vital to ensure that advances in research (in both academia and industry) are driven by the real industrial needs. This will help ensure that such advances are followed by effective industrial deployment. Another particularly important objective is to integrate advances in research into the current development processes, and make them usable and scalable. Finally, a key goal is to develop advanced methods and tools that can ensure that the systems meet the requirements imposed by the regulatory standards and help in building the supportive arguments. This will be a working conference in which research challenges and progress will be discussed and evaluated by both researchers and engineers, focusing on their potential to be deployed in industrial settings.
Topics of particular interest include:
- Safety in development processes and safety management
- Combined approaches to safety and security
- System and software safety analysis
- Formal modelling and verification techniques
- System reliability
- Validation according to the standards
- Safety and security argumentation
- Fault and intrusion modelling and analysis
- Evaluation of system capacity, energy consumption, cost and their interplay
- Tool and model integration, tool chain
- Domain-specific languages and modelling frameworks
- Model reuse for reliability, safety and security
- Modelling for maintenance strategy engineering.
The conference proceedings will be published by Springer in the LNCS series. The conference submission will be via conference submission site. Submissions must be formatted in the Springer LNCS format.
Attention: The page limit of 16 pages does not take into account the pages with references, so its 16 pages plus references.
- April 28, 2023: abstract submission for all papers; abstract submission for tutorials
- May 12, 2023: full paper submission
- June 20, 2023: Notification
- July 14, 2023 camera-ready papers submitted
- July 14, 2023 abstract submission for posters
Submitted papers are reviewed by an international reviewing commitee composed of experts from both industrial and academic institutions.
You can find a summary including details in this PDF document.