Abstract Considering their increasing complexity, industrial systems are, in general, specified in a natural language. In railway systems, the design phase results an ambiguous and laborious system specification. The objective of this paper is to present ScOLa, a formal modeling language based on scenarios and built for railway system specifications. Its novelty resides in its restriction to a small set of concepts and its multiple representations (textual and graphical). The language offers means to understand what the system is supposed to do and to be as well as to support a dialog with experts so to be sure that they got everything correctly. The language is depicted on the railway automation solution Trainguard MT CBTC of Siemens.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Modeling the CBTC Railway System of Siemens with ScOLa


    Beteiligte:
    Issad, Melissa (Autor:in) / Kloul, Leïla (Autor:in) / Rauzy, Antoine (Autor:in) / Berkani, Karim (Autor:in)


    Erscheinungsdatum :

    2017-07-27


    Format / Umfang :

    10 pages




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch





    CBTC RADIOCOMMUNICATION INFRASTRUCTURE FOR A RAILWAY SIGNALING SYSTEM OF THE CBTC TYPE

    GIROUD ANNE CECILE / MADRANGES HENRI | Europäisches Patentamt | 2017

    Freier Zugriff


    CBTC CBTC signal system and handover method in the system

    Europäisches Patentamt | 2016

    Freier Zugriff

    Radiocommunication infrastructure for a railway signalling system of the CBTC type

    GIROUD ANNE-CECILE / MADRANGES HENRI | Europäisches Patentamt | 2018

    Freier Zugriff