Systemanforderungsanalyse von Bahnbetriebsverfahren mit Hilfe der Ontological Hazard Analysis am Beispiel des Zugleitbetriebs nach FV-NE

Sieker B (2010)
Bielefeld (Germany): Bielefeld University.

Bielefelder E-Dissertation | Deutsch
 
Download
OA
Betreuer*in
Ladkin, Peter B.
Alternativer Titel
System requirements analysis of train dispatching protocols with Ontological Hazard Analysis
Abstract / Bemerkung
The Ontological Hazard Analysis (OHA) is a specification and analysis method for system safety requirements, based on many small but rigorous refinement steps and causal analysis. This development sequence is applied to train-dispatching protocols as defined in the German railway standard FV-NE. Ontological Hazard Analysis is a method for safety-requirements derivation and analysis that allows for logical traceability of safety requirements through system development through to (at least) design. It uses formal refinement and requires methods from formal logics, in particular many-sorted logics that use a number of different axioms.

Eisenbahnregelwerke sind traditionell in natürlicher Sprache verfasst. Dies führt zu zahlreichen Problemen beim Erstellen und Verifizieren von Lasten- und Pflichtenheften und bei der unzweideutigen Spezifikation von Systemen für ein bestimmtes Betriebsverfahren. Die Ontological Hazard Analysis ist eine Methode, mit der sich durch formale Verfeinerung ("Formal Refinement") vollständige Spezifikationen der Safety-Requirements erstellen lassen. Mit Hilfe des Model-Checkers SPIN werden weitere Eigenschaften des Systems geprüft, die keine Sicherheitsanforderungen sind. Die Ontological Hazard Analysis ist, anders als gängige andere Verfahren, in der Lage, für ein echtes Bahnbetriebsverfahren eine nahtlose Nachvollziehbarkeit (audit trail) von abstrakten Spezifikationen bis zum Quellcode - abgesehen von möglichen Compilerproblemen auch bis zum Objektcode - zu bieten, und dabei gleichzeitig logische, relative Vollständigkeit der Sicherheitsanforderungen (Safety Requirements) zu garantieren.
Stichworte
Message Flow Graph; Ontological Hazard Analysis; Meaning postulate; Message flow graph; Formal refinement; Bedeutungspostulat; Ontological Hazard Analysis; Zugleitbetrieb; Fahrdienstvorschrift; Formale Beschreibungstechnik; Formale Spezifikationstechnik; Schrittweise Verfeinerung
Jahr
2010
Page URI
https://pub.uni-bielefeld.de/record/2306191

Zitieren

Sieker B. Systemanforderungsanalyse von Bahnbetriebsverfahren mit Hilfe der Ontological Hazard Analysis am Beispiel des Zugleitbetriebs nach FV-NE. Bielefeld (Germany): Bielefeld University; 2010.
Sieker, B. (2010). Systemanforderungsanalyse von Bahnbetriebsverfahren mit Hilfe der Ontological Hazard Analysis am Beispiel des Zugleitbetriebs nach FV-NE. Bielefeld (Germany): Bielefeld University.
Sieker, B. (2010). Systemanforderungsanalyse von Bahnbetriebsverfahren mit Hilfe der Ontological Hazard Analysis am Beispiel des Zugleitbetriebs nach FV-NE. Bielefeld (Germany): Bielefeld University.
Sieker, B., 2010. Systemanforderungsanalyse von Bahnbetriebsverfahren mit Hilfe der Ontological Hazard Analysis am Beispiel des Zugleitbetriebs nach FV-NE, Bielefeld (Germany): Bielefeld University.
B. Sieker, Systemanforderungsanalyse von Bahnbetriebsverfahren mit Hilfe der Ontological Hazard Analysis am Beispiel des Zugleitbetriebs nach FV-NE, Bielefeld (Germany): Bielefeld University, 2010.
Sieker, B.: Systemanforderungsanalyse von Bahnbetriebsverfahren mit Hilfe der Ontological Hazard Analysis am Beispiel des Zugleitbetriebs nach FV-NE. Bielefeld University, Bielefeld (Germany) (2010).
Sieker, Bernd. Systemanforderungsanalyse von Bahnbetriebsverfahren mit Hilfe der Ontological Hazard Analysis am Beispiel des Zugleitbetriebs nach FV-NE. Bielefeld (Germany): Bielefeld University, 2010.
Alle Dateien verfügbar unter der/den folgenden Lizenz(en):
Copyright Statement:
Dieses Objekt ist durch das Urheberrecht und/oder verwandte Schutzrechte geschützt. [...]
Volltext(e)
Access Level
OA Open Access
Zuletzt Hochgeladen
2019-09-06T08:57:50Z
MD5 Prüfsumme
dc2cdbd6971893b2d73b658a0d025fbd

Export

Markieren/ Markierung löschen
Markierte Publikationen

Open Data PUB

Suchen in

Google Scholar