no code implementations • 20 Oct 2021 • 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 least as safe as a good human driver - before that AV is in extensive use.
no code implementations • 13 Oct 2021 • 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.
no code implementations • 19 Aug 2020 • Xingyu Zhao, Kizito Salako, Lorenzo Strigini, Valentin Robu, David Flynn
Context: Demonstrating high reliability and safety for safety-critical systems (SCSs) remains a hard problem.
no code implementations • 19 Aug 2019 • Xingyu Zhao, Valentin Robu, David Flynn, Kizito Salako, Lorenzo Strigini
There is an urgent societal need to assess whether autonomous vehicles (AVs) are safe enough.