This paper describes a tooling platform that supports reasoning about railway capacity while ensuring system safety. It uses a Domain Specific Language (DSL) that allows signalling engineers to design stations and junctions, to check their safety and to evaluate the potential improvements of capacity while applying various alteration patterns that change the railway schemas. The platform uses a combination of model checking and SMT solving to verify system safety in the most efficient and user-friendly way. It includes several plug-ins that evaluate various capacity parameters. The tool uses the Eclipse technology, including its EMF and GMF frameworks. It has been developed in close cooperation with the Invensys Rail engineers and applied in a variety of mediumscale projects, which has demonstrated its ability to help understand the effects that changes in the plans and schemas can potentially have on capacity.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    The SafeCap Platform for Modelling Railway Safety and Capacity


    Beteiligte:


    Erscheinungsdatum :

    2013


    Format / Umfang :

    8 Seiten





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch





    Railway platform safety protection device

    LIN ZHAN / WANG ZHIFEI / DU CHENGXIN et al. | Europäisches Patentamt | 2020

    Freier Zugriff

    Railway platform safety guard assembly

    MIKE EAST / MARK SWANEPOEL / JURGENS FOURIE | Europäisches Patentamt | 2019

    Freier Zugriff

    Railway platform door safety protection device

    TAN MINGLI | Europäisches Patentamt | 2021

    Freier Zugriff

    Railway Platform Safety Method and Apparatus

    DANHA MICHAEL | Europäisches Patentamt | 2018

    Freier Zugriff