2 papers
cs.SE2022
Optimising the reliability that can be claimed for a software-based system based on failure-free tests of its components
Peter Bishop, Andrey Povyakalo
This short paper describes a numerical method for optimising the conservative confidence bound on the reliability of a system based on tests of its individual components. This is a…
cs.AI2021
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…