posted on 2015-12-07, 11:32authored bySunil Nair, Neil Walkinshaw, Tim Kelly, Jose Luis de la Vara
Safety cases present the arguments and evidence that can be used to justify the acceptable safety of a system. Many secondary factors such as the tools
used, the techniques applied, and the experience of the people who created the evidence, can affect an assessor’s confidence in the evidence cited by a safety case. One means of reasoning about this confidence and its inherent uncertainties is to present a ‘confidence argument’ that explicitly justifies the provenance of the evidence used. In this paper, we propose a novel approach to automatically construct these confidence arguments by enabling assessors to provide individual judgements concerning the trustworthiness and the appropriateness of the evidence. The approach is based on Evidential Reasoning and enables the derivation of a quantified aggregate of the overall confidence. The proposed approach is supported by a prototype tool (EviCA) and has been evaluated using the Technology Acceptance Model.
History
Citation
26th International Symposium on Software Reliability Engineering (ISSRE), 2015
Author affiliation
/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Computer Science
Source
26th IEEE International Symposium on Software Reliability Engineering, November 2–5, 2015 Gaithersburg, MD, USA
Version
AM (Accepted Manuscript)
Published in
26th International Symposium on Software Reliability Engineering (ISSRE)