Verifiable self-certifying autonomous systems

Michael Fisher; Emily C. Collins; Louise A. Dennis; Matt Luckcuck; Matt Webster; Michael Jump; Vincent Page; Charles Patchett; Fateme Dinmohammadi; David Flynn; Valentin Robu; Xingyu Zhao

doi:10.1109/ISSREW.2018.00028

Verifiable self-certifying autonomous systems

Michael Fisher, Emily C. Collins, Louise A. Dennis, Matt Luckcuck, Matt Webster, Michael Jump, Vincent Page, Charles Patchett, Fateme Dinmohammadi, David Flynn, Valentin Robu, Xingyu Zhao

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

26 Citations (Scopus)

98 Downloads (Pure)

Abstract

Autonomous systems are increasingly being used in safety-and mission-critical domains, including aviation, manufacturing, healthcare and the automotive industry. Systems for such domains are often verified with respect to essential requirements set by a regulator, as part of a process called certification. In principle, autonomous systems can be deployed if they can be certified for use. However, certification is especially challenging as the condition of both the system and its environment will surely change, limiting the effective use of the system. In this paper we discuss the technological and regulatory background for such systems, and introduce an architectural framework that supports verifiably-correct dynamic self-certification by the system, potentially allowing deployed systems to operate more safely and effectively.

Original language	English
Title of host publication	2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)
Publisher	IEEE
Pages	341-348
Number of pages	8
ISBN (Electronic)	9781538694435
DOIs	https://doi.org/10.1109/ISSREW.2018.00028
Publication status	Published - 19 Nov 2018

Keywords

autonomy
verification
certification

Access to Document

10.1109/ISSREW.2018.00028

Download pdf
© 2018 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Accepted author manuscript, 442 KB

Cite this

@inproceedings{b5138c91dbc449a2ba41d286ac5027de,

title = "Verifiable self-certifying autonomous systems",

abstract = "Autonomous systems are increasingly being used in safety-and mission-critical domains, including aviation, manufacturing, healthcare and the automotive industry. Systems for such domains are often verified with respect to essential requirements set by a regulator, as part of a process called certification. In principle, autonomous systems can be deployed if they can be certified for use. However, certification is especially challenging as the condition of both the system and its environment will surely change, limiting the effective use of the system. In this paper we discuss the technological and regulatory background for such systems, and introduce an architectural framework that supports verifiably-correct dynamic self-certification by the system, potentially allowing deployed systems to operate more safely and effectively.",

keywords = "autonomy, verification, certification",

author = "Michael Fisher and Collins, {Emily C.} and Dennis, {Louise A.} and Matt Luckcuck and Matt Webster and Michael Jump and Vincent Page and Charles Patchett and Fateme Dinmohammadi and David Flynn and Valentin Robu and Xingyu Zhao",

year = "2018",

month = nov,

day = "19",

doi = "10.1109/ISSREW.2018.00028",

language = "English",

pages = "341--348",

booktitle = "2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)",

publisher = "IEEE",

address = "United States",

}

TY - GEN

T1 - Verifiable self-certifying autonomous systems

AU - Fisher, Michael

AU - Collins, Emily C.

AU - Dennis, Louise A.

AU - Luckcuck, Matt

AU - Webster, Matt

AU - Jump, Michael

AU - Page, Vincent

AU - Patchett, Charles

AU - Dinmohammadi, Fateme

AU - Flynn, David

AU - Robu, Valentin

AU - Zhao, Xingyu

PY - 2018/11/19

Y1 - 2018/11/19

N2 - Autonomous systems are increasingly being used in safety-and mission-critical domains, including aviation, manufacturing, healthcare and the automotive industry. Systems for such domains are often verified with respect to essential requirements set by a regulator, as part of a process called certification. In principle, autonomous systems can be deployed if they can be certified for use. However, certification is especially challenging as the condition of both the system and its environment will surely change, limiting the effective use of the system. In this paper we discuss the technological and regulatory background for such systems, and introduce an architectural framework that supports verifiably-correct dynamic self-certification by the system, potentially allowing deployed systems to operate more safely and effectively.

AB - Autonomous systems are increasingly being used in safety-and mission-critical domains, including aviation, manufacturing, healthcare and the automotive industry. Systems for such domains are often verified with respect to essential requirements set by a regulator, as part of a process called certification. In principle, autonomous systems can be deployed if they can be certified for use. However, certification is especially challenging as the condition of both the system and its environment will surely change, limiting the effective use of the system. In this paper we discuss the technological and regulatory background for such systems, and introduce an architectural framework that supports verifiably-correct dynamic self-certification by the system, potentially allowing deployed systems to operate more safely and effectively.

KW - autonomy

KW - verification

KW - certification

U2 - 10.1109/ISSREW.2018.00028

DO - 10.1109/ISSREW.2018.00028

M3 - Conference contribution

SP - 341

EP - 348

BT - 2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)

PB - IEEE

ER -

Verifiable self-certifying autonomous systems

Abstract

Keywords

Access to Document

Fingerprint

Cite this