55 citations · 131 across the 6 of their papers we have counts for
6 papers
Bootstrapping confidence in future safety based on past safe operation
Peter Bishop, Andrey Povyakalo, Lorenzo Strigini
With autonomous vehicles (AVs), a major concern is the inability to give meaningful quantitative assurance of safety, to the extent required by society - e.g. that an AV must be at…
HEDP: A Method for Early Forecasting Software Defects based on Human Error Mechanisms
Fuqun Huang, Lorenzo Strigini
As the primary cause of software defects, human error is the key to understanding, and perhaps to predicting and avoiding them. Little research has been done to predict defects on…
Improving Human Decisions by Adjusting the Alerting Thresholds for Computer Alerting Tools According to User and Task Characteristics
Marwa Gadala, Lorenzo Strigini, Peter Ayton
Objective: To investigate whether performance (number of correct decisions) of humans supported by a computer alerting tool can be improved by tailoring the tool's alerting thresho…
Assessing Safety-Critical Systems from Operational Testing: A Study on Autonomous Vehicles
Xingyu Zhao, Kizito Salako, Lorenzo Strigini +2
Context: Demonstrating high reliability and safety for safety-critical systems (SCSs) remains a hard problem. Diverse evidence needs to be combined in a rigorous way: in particular…
Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing
Xingyu Zhao, Valentin Robu, David Flynn +2
There is an urgent societal need to assess whether autonomous vehicles (AVs) are safe enough. From published quantitative safety and reliability assessments of AVs, we know that, g…
Evaluating the Assessment of Software Fault-Freeness
John Rushby, Bev Littlewood, Lorenzo Strigini
We propose to validate experimentally a theory of software certification that proceeds from assessment of confidence in fault-freeness (due to standards) to conservative prediction…