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: |
Download (351kB) | Preview
Export
Downloads
Downloads per month over past year