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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

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


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

    Erscheinungsdatum :

    2012


    Format / Umfang :

    9 pages


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch





    SAFETY IN THE RAILWAY CROSSING ENSURING METHOD

    EFANOV DMITRIJ VIKTOROVICH / PLOTNIKOV DMITRIJ GEORGIEVICH / OSADCHIJ GERMAN VLADIMIROVICH | Europäisches Patentamt | 2019

    Freier Zugriff

    SYSTEM FOR ENSURING SAFETY ON RAILWAY TRANSPORT

    DEJLID IVAN ANATOLEVICH / OLSHANSKIJ ALEKSEJ MIKHAJLOVICH / POPOV PAVEL ALEKSANDROVICH et al. | Europäisches Patentamt | 2021

    Freier Zugriff

    Methods and systems for improving permissiveness while ensuring the safety of an autonomous vehicle

    KOOPMAN JR PHILIP J | Europäisches Patentamt | 2024

    Freier Zugriff

    Methods and Systems for Improving Permissiveness While Ensuring the Safety of an Autonomous Vehicle

    KOOPMAN JR PHILIP J | Europäisches Patentamt | 2021

    Freier Zugriff