The on-going UK SAFECAP project develops modeling 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) that will allow engineers to improve the node and junction capacity while guaranteeing operational safety. The SAFECAP DSL is introduced to define railway topology, its logical structure and signalling rules. The formal semantics of this graphical DSL, defined as part of our work, allows us to reason about system safety. The tooling environment, the SAFECAP Platform, offers graphical editing of railway schemas and an interface to a range of verification for ensuring railway operational safety. The work on extending the environment and its deployment in the railway sector continues with our SAFECAP partners: Invensys Rail and Swansea University.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    SafeCap Domain Language for Reasoning about Safety and Capacity


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


    Erscheinungsdatum :

    01.11.2012


    Format / Umfang :

    402815 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Reasoning about procedural knowledge

    GEORGEFF, M. | AIAA | 1985


    Probabilistic Logic Reasoning about Traffic Scenes

    Souza, Carlos R. / Santos, Paulo E. | Tema Archiv | 2011


    Monte Carlo road safety reasoning

    Broadhurst, A. / Baker, S. / Kanade, T. et al. | British Library Conference Proceedings | 2005


    Monte Carlo road safety reasoning

    Broadhurst, A. / Baker, S. / Kanade, T. | IEEE | 2005