Assuring the machine learning lifecycle: Desiderata, methods, and challenges

R Ashmore, R Calinescu, C Paterson - ACM Computing Surveys (CSUR), 2021 - dl.acm.org
Machine learning has evolved into an enabling technology for a wide range of highly
successful applications. The potential for this success to continue and accelerate has placed …

Safety-critical advanced robots: A survey

J Guiochet, M Machin, H Waeselynck - Robotics and Autonomous Systems, 2017 - Elsevier
Developing advanced robotics applications is now facing the safety issue for users, the
environment, and the robot itself, which is a main limitation for their deployment in real life …

Safely entering the deep: A review of verification and validation for machine learning and a challenge elicitation in the automotive industry

M Borg, C Englund, K Wnuk, B Duran… - arXiv preprint arXiv …, 2018 - arxiv.org
Deep Neural Networks (DNN) will emerge as a cornerstone in automotive software
engineering. However, developing systems with DNNs introduces novel challenges for …

Adaptive generation of challenging scenarios for testing and evaluation of autonomous vehicles

GE Mullins, PG Stankiewicz, RC Hawthorne… - Journal of Systems and …, 2018 - Elsevier
In this paper we propose a new method for generating test scenarios for black-box
autonomous systems that demonstrate critical transitions in performance modes. This …

A modular digital twinning framework for safety assurance of collaborative robotics

JA Douthwaite, B Lesage, M Gleirscher… - Frontiers in Robotics …, 2021 - frontiersin.org
Digital twins offer a unique opportunity to design, test, deploy, monitor, and control real-
world robotic processes. In this paper we present a novel, modular digital twinning …

[HTML][HTML] Automatic traffic scenarios generation for autonomous ships collision avoidance system testing

V Bolbot, C Gkerekos, G Theotokatos, E Boulougouris - Ocean engineering, 2022 - Elsevier
Abstract The Collision Avoidance (CA) system constitutes a key enabling technology for the
Maritime Autonomous Surface Ships (MASS), the appropriate functionality of which is critical …

Automated generation of diverse and challenging scenarios for test and evaluation of autonomous vehicles

GE Mullins, PG Stankiewicz… - 2017 IEEE international …, 2017 - ieeexplore.ieee.org
We propose a novel method for generating test scenarios for a black box autonomous
system that demonstrate critical transitions in its performance modes. In complex …

Targeting requirements violations of autonomous driving systems by dynamic evolutionary search

Y Luo, XY Zhang, P Arcaini, Z Jin… - 2021 36th IEEE/ACM …, 2021 - ieeexplore.ieee.org
Autonomous Driving Systems (ADSs) are complex systems that must satisfy multiple
requirements such as safety, compliance to traffic rules, and comfortableness. However …

Can robot navigation bugs be found in simulation? an exploratory study

T Sotiropoulos, H Waeselynck… - … on software quality …, 2017 - ieeexplore.ieee.org
The ability to navigate in diverse and previously unknown environments is a critical service
of autonomous robots. The validation of the navigation software typically involves test …

Coverage based testing for V&V and safety assurance of self-driving autonomous vehicles: A systematic literature review

Z Tahir, R Alexander - 2020 IEEE International Conference On …, 2020 - ieeexplore.ieee.org
Self-driving Autonomous Vehicles (SAVs) are gaining more interest each passing day by the
industry as well as the general public. Tech and automobile companies are investing huge …