The Smart Systems Group congratulate Dr. Xingyu Zhao and his research team from Heriot-Watt University and The Centre for Software Reliability at the University of London, who revisit the problem of using operational testing to demonstrate high reliability in autonomous vehicles in their paper titled,
“Assessing safety-critical systems from operational testing: A study on autonomous vehicles“
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, results of operational testing with other evidence from design and verification. Growing use of machine learning in SCSs, by precluding most established methods for gaining assurance, makes evidence from operational testing even more important for supporting safety and reliability claims.
This paper has been accepted for publication in the journal Information and Software Technology, part of the Elsevier group.
You can download a copy of this Open Access publication via ScienceDirect