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.
Beschreibungsmittel für betriebliche Lastenhefte (z. B. für Stellwerke)
System requirements specifications - applications of an engineering-oriented framework
Signal+Draht ; 102 , 6 ; 29-34
01.01.2010
6 pages
Aufsatz (Zeitschrift)
Deutsch
© Metadata Copyright Deutsche Bahn AG. All rights reserved.
Beschreibungsmittel für betriebliche Lastenhefte (z.B. für Stellwerke)
Tema Archiv | 2010
|TIBKAT | 1990
|Lebensdauer elektronischer Stellwerke
Tema Archiv | 2006
|Die Zukunft Elektronischer Stellwerke
Tema Archiv | 1991
|Stellwerke deutscher Eisenbahnen : [seit 1870]
SLUB | 2012
|