TY  - THES
AB  - 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.
DA  - 2010
KW  - Message Flow Graph
KW  - Ontological Hazard Analysis
KW  - Meaning postulate
KW  - Message flow graph
KW  - Formal refinement
KW  - Bedeutungspostulat
KW  - Zugleitbetrieb
KW  - Fahrdienstvorschrift
KW  - Formale Beschreibungstechnik
KW  - Formale Spezifikationstechnik
KW  - Schrittweise Verfeinerung
LA  - ger
PY  - 2010
TI  - Systemanforderungsanalyse von Bahnbetriebsverfahren mit Hilfe der Ontological Hazard Analysis am Beispiel des Zugleitbetriebs nach FV-NE
UR  - https://nbn-resolving.org/urn:nbn:de:hbz:361-17823
Y2  - 2024-11-22T13:42:07
ER  -