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
2010-01-01
6 pages
Article (Journal)
German
© Metadata Copyright Deutsche Bahn AG. All rights reserved.
Beschreibungsmittel für betriebliche Lastenhefte (z.B. für Stellwerke)
Tema Archive | 2010
|Lastenhefte für Oberleitungsmessfahrzeuge
IuD Bahn | 2007
|TIBKAT | 1990
|Lebensdauer elektronischer Stellwerke
Tema Archive | 2006
|Die Zukunft Elektronischer Stellwerke
Tema Archive | 1991
|