Die Formalisierung von Methoden und Abläufen hat positive Auswirkungen auf die Transparenz des Ergebnisses des gesamten Lösungsprozesses, verursacht jedoch gleichzeitig zusätzliche Kosten. Das Ziel ist es daher, für konkrete Anwendungsfälle in der Eisenbahnsicherungstechnik den unter Kosten- und Nutzenperspektiven optimalen Grad der Formalisierung auszuwählen. Eine wichtige Voraussetzung dieser Auswahl ist die Kenntnis möglicher Formalisierungs-Abstufungen sowie deren Kosten- und Qualitätswirkung. Die Anwendung von formalen Methoden kann in zwei Dimensionen differenziert werden: hinsichtlich der Strenge der Anwendung und bezüglich des Anwendungsumfangs der Formalisierung. Im folgenden werden mögliche Ausprägungen beider Differenzierungskriterien erläutert. Formale Verfahren können und sollen aufgrund des notwendigen Aufwandes nicht zur Lösung jeder Problemstellung eingesetzt werden, vielmehr sollten sie klassische und bewährte Techniken im Bereich der Entwicklung von sicherheitsrelevanten Systemen ergänzen.
Zusätzliche Aspekte zur Anwendung von formalen Techniken
Additional aspects regarding the application of formal methods
Signal und Draht ; 93 , 7/8 ; 42-45
2001
4 Seiten, 2 Bilder, 8 Quellen
Aufsatz (Zeitschrift)
Deutsch
Zusätzliche Aspekte zur Anwendung von formalen Techniken
IuD Bahn | 2001
|Die Anwendung von formalen Techniken aus Sicht des Eisenbahn-Bundesamtes
British Library Conference Proceedings | 2000
|Beispielhafte Anwendung einer formalen Unfallanalysemethode
IuD Bahn | 2006
|Beispielhafte Anwendung einer formalen Unfallanalysemethode
Online Contents | 2006
|Aktuelle Aspekte, Entwicklungen und Techniken des kombinierten Verkehrs
Tema Archiv | 1990
|