White Rose University Consortium logo
University of Leeds logo University of Sheffield logo York University logo

Establishing Confidence in Safety Assessment Evidence

Sun, Linling (2012) Establishing Confidence in Safety Assessment Evidence. PhD thesis, University of York.

Linling Sun PHD thesis.pdf
Available under License Creative Commons Attribution-Noncommercial-No Derivative Works 2.0 UK: England & Wales.

Download (3254Kb)


With the increased complexity and higher safety commitment of modern safety–critical systems, safety assessment models of these systems are increasingly complicated and obscure. In practice, however, there is insufficient guidance on how to improve the understanding and evaluation of these models, while they are often used as important items of evidence in safety cases. This significantly threatens the confidence we can have in the soundness of safety cases. In this thesis, a coherent, structured approach to establishing confidence in safety assessment evidence is developed. Firstly, a means for the structured documentation of the core data elements of safety assessment models is defined, to support the development of both primary safety arguments and confidence arguments. Secondly, a model of evidence is developed to support the interfacing of safety assessment evidence with safety arguments. Thirdly, a structured cross-model inconsistency analysis method is proposed as a means of scrutinizing potentially inadequate models. Finally, an expanded argument construction process is established to add rigour to safety case development, and a number of argument patterns are designed to guide and inspire structured justification of the adequacy of safety assessment models as evidence for safety critical systems. The evaluation of the approach is carried out primarily through examples and cases studies. It is demonstrated that the approach is feasible and the confidence issue in safety assessment evidence is addressed more explicitly and more rigorously by using the approach.

Item Type: Thesis (PhD)
Keywords: safety evidence, safety assessment, confidence argument, safety case
Academic Units: The University of York > Computer Science (York)
Identification Number/EthosID: uk.bl.ethos.564172
Depositing User: Ms Linling Sun
Date Deposited: 29 Jan 2013 14:50
Last Modified: 08 Sep 2016 13:01
URI: http://etheses.whiterose.ac.uk/id/eprint/3183

You do not need to contact us to get a copy of this thesis. Please use the 'Download' link(s) above to get a copy.
You can contact us about this thesis. If you need to make a general enquiry, please see the Contact us page.

Actions (repository staff only: login required)