Development of future railway systems requires a rigorous modelling of safety and capacity conducted in an integrated way. Supported by EPSRC and Rail Safety and Standards Board the SafeCap project laid the foundations for overcoming challenges to railway capacity without undermining rail network safety. The main outcome of the project is the SafeCap Toolset, which relies on a formal Domain Specific Language, safety verification and capacity simulation methodologies. The work was conducted in close cooperation with Siemens Rail Automation and evaluated using the layouts of a number of UK stations. The Toolset is being further actively developed and evaluated in a series of industrial and impact acceleration projects.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Computing Science. Formal Modelling of Railway Safety and Capacity


    Beteiligte:
    A. Iliasov (Autor:in) / A. Romanovsky (Autor:in)

    Erscheinungsdatum :

    2015


    Format / Umfang :

    18 pages


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch




    The SafeCap Platform for Modelling Railway Safety and Capacity

    Iliasov, Alexei / Lopatkin, Ilya / Romanovsky, Alexander | Tema Archiv | 2013


    Formal Modelling Techniques for Efficient Development of Railway Control Products

    Butler, M. / Dghaym, D. / Fischer, T. et al. | British Library Conference Proceedings | 2017


    An HCPN Pattern for Railway Safety Critical Scenarios Formal Modeling

    Boudi, Zakaryae / El Koursi, El Miloudi / Collart-Dutilleul, Simon | British Library Conference Proceedings | 2015


    Formal methods for railway signalling

    Cullyer, W.J. / Wise, J.W. | Tema Archiv | 1989


    Computing Methods on Transport Capacity of China's Railway Network

    Zhou, Li / Hu, Siji / Jiang, Xiushan et al. | ASCE | 2002