TY - JOUR
T1 - Towards a Framework for Certification of Reliable Autonomous Systems
AU - Fisher, Michael
AU - Mascardi, Viviana
AU - Rozier, Kristin Yvonne
AU - Schlingloff, Bernd-Holger
AU - Winikof, Michael
AU - Yorke-Smith, Neil
PY - 2021
Y1 - 2021
N2 - A computational system is called autonomous if it is able to make its own decisions, or take its own actions, without human supervision or control. The capability and spread of such systems have reached the point where they are beginning to touch much of everyday life. However, regulators grapple with how to deal with autonomous systems, for example how could we certify an Unmanned Aerial System for autonomous use in civilian airspace? We here analyse what is needed in order to provide verified reliable behaviour of an autonomous system, analyse what can be done as the state-of-the-art in automated verification, and propose a roadmap towards developing regulatory guidelines, including articulating challenges to researchers, to engineers, and to regulators. Case studies in seven distinct domains illustrate the article.
AB - A computational system is called autonomous if it is able to make its own decisions, or take its own actions, without human supervision or control. The capability and spread of such systems have reached the point where they are beginning to touch much of everyday life. However, regulators grapple with how to deal with autonomous systems, for example how could we certify an Unmanned Aerial System for autonomous use in civilian airspace? We here analyse what is needed in order to provide verified reliable behaviour of an autonomous system, analyse what can be done as the state-of-the-art in automated verification, and propose a roadmap towards developing regulatory guidelines, including articulating challenges to researchers, to engineers, and to regulators. Case studies in seven distinct domains illustrate the article.
KW - Artificial intelligence
KW - Autonomous systems
KW - Certification
KW - Verification
UR - http://www.scopus.com/inward/record.url?scp=85105747603&partnerID=8YFLogxK
U2 - 10.1007/s10458-020-09487-2
DO - 10.1007/s10458-020-09487-2
M3 - Article
SN - 1387-2532
VL - 35
SP - 1
EP - 65
JO - Autonomous Agents and Multi-Agent Systems
JF - Autonomous Agents and Multi-Agent Systems
IS - 1
M1 - 8
ER -