2014/04/29 by Rob Ashmore, Ashmore, Rob
Computer Science · Decision Sciences · Engineering · #FOS: Computer and information sciences #Risk and Safety Analysis #Safety Systems Engineering in Autonomy #Software Engineering (cs.SE) #Software Reliability and Analysis Research
paper · pdf · doi:10.48550/arxiv.1404.7528
openalex publication_date 2014/04/29 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We argue that quantifying software reliability is important in demonstrating that system-level risks are As Low As Reasonably Practicable (ALARP). Furthermore, we demonstrate that such quantification is possible in at least one meaningful case. It is, however, unlikely to be practical in every case. This means it is unlikely to be included as an explicit objective in standards. Hence, for those cases where software reliability can be quantified, merely following a standard may lead to risk-reduction opportunities being missed.