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.


    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 formal framework


    Beteiligte:

    Erschienen in:

    Signal und Draht ; 102 , 6 ; 29-34


    Erscheinungsdatum :

    2010


    Format / Umfang :

    6 Seiten, 4 Bilder, 5 Tabellen, 8 Quellen



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Deutsch




    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


    Lebensdauer elektronischer Stellwerke

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


    Die Zukunft Elektronischer Stellwerke

    Frank, W. | Tema Archiv | 1991