Abstract
Accurate risk assessment of safety-related systems involving software is a hard engineering problem for well-known reasons. We present two case studies in the use of Ontological Hazard Analysis (OHA), a semi-formal method for hazard identification and analysis aiding Correct-by-Construction (CbC) approaches to developing such systems. OHA controls very carefully the means of expression of safety requirements, starting with a simple semi-formal language and proceeding to more expressive requirements through formal refinement, a decades-old technique for CbC program development developed in the computerscience theory community. In the case studies, the use of OHA allows the risk assessment of the systems through known techniques, avoiding the general problems posed by non-continuity which are inherent in attempting to assess the risk of systems based on software.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Reference
Hazell RW, McHattie GV, Wrightson I (2001) Note on Hazard and Operability Studies [HAZOP]. Royal Society of Chemistry, London
Ladkin PB (2000) Causal Reasoning about Aircraft Accidents. In: Koornneef F, van der Meulen M (eds) Computer Safety, Reliability and Security, 19th international conference, SAFECOMP 2000. Springer Lecture Notes in Computer Science, 1943:344-360
Ladkin PB (2005) Ontological Analysis. Safety Systems 14(3) May 2005
Ladkin PB, Leue S (1995) Interpreting Message Flow Graphs. Formal Aspects of Computing 7:473–509
Lamport L (1995) TLA in Pictures. IEEE Trans. Software Engineering SE-21:768-775
Mackie JL (1974) The Cement of the Universe: A Study of Causation. Oxford University Press
Redmill F, Chudleigh M, Catmur J (1999) System Safety: HAZOP and Software HAZOP. John Wiley & Sons, Chichester
VDV (2004) Fahrdienstvorschrift für Nich-bundeseigene Eisenbahnen (FV-NE). Verband Deutscher Verkehrsunternehmen. Ausgabe 1984, Fassung 2004
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag London Limited
About this paper
Cite this paper
Stuphorn, J., Sieker, B., Ladkin, P.B. (2009). Dependable Risk Analysis for Systems with E/E/PE Components: Two Case Studies. In: Dale, C., Anderson, T. (eds) Safety-Critical Systems: Problems, Process and Practice. Springer, London. https://doi.org/10.1007/978-1-84882-349-5_6
Download citation
DOI: https://doi.org/10.1007/978-1-84882-349-5_6
Publisher Name: Springer, London
Print ISBN: 978-1-84882-348-8
Online ISBN: 978-1-84882-349-5
eBook Packages: Computer ScienceComputer Science (R0)