City Research Online

How to reason about Risk, given Inevitable Doubt on Arguments for High Dependability

Bishop, P. G. ORCID: 0000-0003-3307-5159, Povyakalo, A. A. ORCID: 0000-0002-4068-422X & Strigini, L. ORCID: 0000-0002-4246-2866 (2024). How to reason about Risk, given Inevitable Doubt on Arguments for High Dependability. Paper presented at the SAFECOMP 2024, 17-20 Sep 2024, Florence, Italy.

Abstract

For highly critical systems, thorough and costly processes exist to verify that they are safe enough before they are allowed to operate. Yet any such a priori assessment is affected by uncertainty: it may be wrong. Examples like the Boeing 737 MAX and Fukushima underscore how badly they may, occasionally, be wrong. We argue that risk assessment should take into account, more explicitly than is now usual, this uncertainty. Basic quantitative reasoning shows how this would change how we describe the risk of operating a new system. This may set new priorities in safety assessment research. We identify some research directions that may help this community better to forecast and control risk.

Publication Type: Conference or Workshop Item (Paper)
Additional Information: © the authors, 2024.
Publisher Keywords: Risk assessment, risk quantification, safety case, epistemic uncertainty
Subjects: H Social Sciences > HD Industries. Land use. Labor > HD61 Risk Management
Q Science > QA Mathematics
Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments: School of Science & Technology
School of Science & Technology > Computer Science
School of Science & Technology > Computer Science > Software Reliability
SWORD Depositor:
[thumbnail of InevitableDoubt_SAFECOMP2024_v04l.pdf]
Preview
Text - Accepted Version
Download (351kB) | Preview

Export

Add to AnyAdd to TwitterAdd to FacebookAdd to LinkedinAdd to PinterestAdd to Email

Downloads

Downloads per month over past year

View more statistics

Actions (login required)

Admin Login Admin Login