Neben den heute zur Spezifikation von funktionalen Anforderungen in Lastenheften für Stellwerke eingesetzten informellen und semi-formalen Beschreibungsmitteln wird seit mehreren Jahren der Einsatz formaler Methoden im Eisenbahnwesen untersucht und vereinzelt in begrenzten Projekten erprobt. Es zeigte sich, dass ohne fundierte Kenntnisse in mathematischer Logik formale Methoden für viele (Eisenbahn-)Ingenieure nur schwer zugänglich sind. Vor diesem Hintergrund wurde ein ingenieurgerechtes formales Beschreibungsmittel zur Spezifizierung und Verifikation funktionaler Anforderungen entwickelt, das vorgestellt wird. Im Vordergrund steht dabei das objektbasierte Lastenheft, das zur Spezifizierung, Analyse und Verifizierung funktionaler Systemanforderungen für Stellwerksysteme dient.

    Nowadays, informal and semi-formal modeling languages are mainly used to specify functional system requirements of interlocking systems. To optimize the quality of these requirements, formal methods are investigated in projects with restricted scopes. Without a strong qualification in mathematical logics, railway engineers have difficulties to play active roles in these projects. From these experiences, an engineering-oriented formal framework is developed for specification, analysis and verification of runctional system requirements. These aspects will be introduced.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Additional title:

    System requirements specifications - applications of an engineering-oriented formal framework


    Contributors:

    Published in:

    Signal und Draht ; 102 , 6 ; 29-34


    Publication date :

    2010


    Size :

    6 Seiten, 4 Bilder, 5 Tabellen, 8 Quellen



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    German




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

    Hon, Yuen Man / Berglehner, Randolf / Gayen, Jan-Tecker | IuD Bahn | 2010



    Stellwerke

    Dahle, Terje Nils | TIBKAT | 1990


    Die Zukunft Elektronischer Stellwerke

    Frank, W. | Tema Archive | 1991


    Lebensdauer elektronischer Stellwerke

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