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.
Beschreibungsmittel für betriebliche Lastenhefte (z.B. für Stellwerke)
System requirements specifications - applications of an engineering-oriented formal framework
Signal und Draht ; 102 , 6 ; 29-34
2010
6 Seiten, 4 Bilder, 5 Tabellen, 8 Quellen
Article (Journal)
German
Beschreibungsmittel für betriebliche Lastenhefte (z. B. für Stellwerke)
IuD Bahn | 2010
|Oberleitungsanlagen - Lastenhefte für Oberleitungsmessfahrzeuge
Online Contents | 2007
|TIBKAT | 1990
|Die Zukunft Elektronischer Stellwerke
Tema Archive | 1991
|Lebensdauer elektronischer Stellwerke
Tema Archive | 2006
|