Ohne fundierte Kenntnisse in mathematischer Logik sind formale Methoden für viele Eisenbahn-Ingenieure nur schwer zugänglich. Die Anforderungen betrieblicher Lastenhefte (System Requirements Specifikation - SRS) für deutsche Stellwerke sind bisher weitgehend in aussagenlogischen Sätzen in Prosa beschrieben. Vor diesem Hintergrund wurde ein ingenieurgerechtes formales Beschreibungsmittel zur Spezifizierung und Verifikation funktionaler Anforderungen entwickelt, bei der die funktionalen Anforderungen vor allen Dingen in einer klar definierten mathematischen Sprache ausgedrückt werden. Das Beschreibungsmittel besteht aus Spezifikationssprachen, Methoden und einem implementierten Programm und wird als OBLH-Tool bezeichnet. Es werden die Vorteile von OBLH hinsichtlich der Kriterien Eindeutigkeit und Klarheit, Verständlichkeit, Konsistenz, Korrektheit im Bezug auf das erwartete Systemverhalten, Prüfbarkeit, Benutzerfreundlichkeit beschrieben. Dieser Ansatz kann auch zur Spezifikation von funktionalen Anforderungen anderer Systeme wie z. B. ETCS genutzt werden.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Beschreibungsmittel für betriebliche Lastenhefte (z. B. für Stellwerke)


    Weitere Titelangaben:

    System requirements specifications - applications of an engineering-oriented framework



    Erschienen in:

    Signal+Draht ; 102 , 6 ; 29-34


    Erscheinungsdatum :

    01.01.2010


    Format / Umfang :

    6 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Deutsch




    Beschreibungsmittel für betriebliche Lastenhefte (z.B. für Stellwerke)

    Hon, Yuen Man / Gayen, Jan-Tecker / Berglehner, Randolf | Tema Archiv | 2010


    Stellwerke

    Dahle, Terje Nils | TIBKAT | 1990


    Lebensdauer elektronischer Stellwerke

    Roiser, Karl / Scharm, Christian | Tema Archiv | 2006


    Die Zukunft Elektronischer Stellwerke

    Frank, W. | Tema Archiv | 1991