The on-going RSSB/EPSRC UK SafeCap project develops modelling techniques and tools for improving railway capacity while ensuring that safety standards are maintained. This paper reports recent SafeCap results on designing a Domain Specific Language (DSL), a verification infrastructure and the approaches to estimating and improving capacity.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Computing Science: The SafeCap Toolset for Improving Railway Capacity While Ensuring Its Safety


    Contributors:
    A. Iliasov (author) / A. Romanovsky (author)

    Publication date :

    2012


    Size :

    9 pages


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English





    SAFETY IN THE RAILWAY CROSSING ENSURING METHOD

    EFANOV DMITRIJ VIKTOROVICH / PLOTNIKOV DMITRIJ GEORGIEVICH / OSADCHIJ GERMAN VLADIMIROVICH | European Patent Office | 2019

    Free access

    SYSTEM FOR ENSURING SAFETY ON RAILWAY TRANSPORT

    DEJLID IVAN ANATOLEVICH / OLSHANSKIJ ALEKSEJ MIKHAJLOVICH / POPOV PAVEL ALEKSANDROVICH et al. | European Patent Office | 2021

    Free access