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 bemet 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.

In 2025 we celebrate 200 years of modern railway. On September 27, 1825 the first train line (Railway) between Stockton and Darlington was opened to public: https://railway200.co.uk/about-railway-200/

Topics of Interest

    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