Towards a Framework for Certification of Reliable Autonomous Systems

01/24/2020
by   Michael Fisher, et al.
0

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.

READ FULL TEXT
research
12/01/2020

Another Tool in the Box: Why use Formal Methods for Autonomous Systems?

Formal Methods are mathematically-based techniques for software design a...
research
09/05/2021

Explaining Autonomous Decisions in Swarms of Human-on-the-Loop Small Unmanned Aerial Systems

Rapid advancements in Artificial Intelligence have shifted the focus fro...
research
07/23/2020

Improving Competence for Reliable Autonomy

Given the complexity of real-world, unstructured domains, it is often im...
research
10/20/2019

Autonomous Control of a Quadrotor-Manipulator; Application of Extended State Disturbance Observer

In this work, the autonomous control of a quadrotor-manipulator unmanned...
research
12/18/2021

An Autonomous Self-Incremental Learning Approach for Detection of Cyber Attacks on Unmanned Aerial Vehicles (UAVs)

As the technological advancement and capabilities of automated systems h...
research
07/08/2022

An Outlook on the Future Marine Traffic Management System for Autonomous Ships

In the shipping digitalisation process, the peak will be reached with th...
research
07/22/2020

Regulating human control over autonomous systems

In recent years, many sectors have experienced significant progress in a...

Please sign up or login with your details

Forgot password? Click here to reset