SIGNAL+DRAHT | Issue 06/2010
Beschreibungsmittel für betriebliche Lastenhefte (z.?B. für Stellwerke)
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 in diesem Artikel vorgestellt wird.