Verifiable Self-Certifying Autonomous Systems

Michael Fisher; Emily Collins; Louise Dennis; Matt Luckcuck; Matt Webster; Mike 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 Collins
, Louise Dennis
, Matt Luckcuck
, Matt Webster
, Mike Jump
, Vincent Page
, Charles Patchett
, Fateme Dinmohammadi
, David Flynn
, Valentin Robu
, Xingyu Zhao

Formal Methods

University of Liverpool
Heriot-Watt University, Edinburgh

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

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	Proceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018
Editors	Roberto Natella, Sudipto Ghosh, Nuno Laranjeiro, Robin Poston, Bojan Cukic
Publisher	IEEE
Pages	341-348
Number of pages	8
ISBN (Electronic)	9781538694435
DOIs	https://doi.org/10.1109/ISSREW.2018.00028
Publication status	Published - 16 Nov 2018
Event	29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018 - Memphis, United States Duration: 15 Oct 2018 → 18 Oct 2018

Publication series

Name	Proceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018

Conference

Conference	29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018
Country/Territory	United States
City	Memphis
Period	15/10/18 → 18/10/18

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 9 Industry, Innovation, and Infrastructure

Keywords

autonomy
certification
software
verification

Access to Document

10.1109/ISSREW.2018.00028

https://ieeexplore.ieee.org/document/8539217

Cite this

Fisher, M., Collins, E., Dennis, L., Luckcuck, M., Webster, M., Jump, M., Page, V., Patchett, C., Dinmohammadi, F., Flynn, D., Robu, V., & Zhao, X. (2018). Verifiable Self-Certifying Autonomous Systems. In R. Natella, S. Ghosh, N. Laranjeiro, R. Poston, & B. Cukic (Eds.), Proceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018 (pp. 341-348). Article 8539217 (Proceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018). IEEE. https://doi.org/10.1109/ISSREW.2018.00028

Fisher, Michael ; Collins, Emily ; Dennis, Louise et al. / Verifiable Self-Certifying Autonomous Systems. Proceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018. editor / Roberto Natella ; Sudipto Ghosh ; Nuno Laranjeiro ; Robin Poston ; Bojan Cukic. IEEE, 2018. pp. 341-348 (Proceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018).

@inproceedings{d5ac9aedb4444dcd966357ae85993469,

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, certification, software, verification",

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

note = "Funding Information: Authors acknowledge funding for this work in the UK by EPSRC through the ORCA [EP/R026173] Robotics and Artificial Intelligence Hub. Publisher Copyright: {\textcopyright} 2018 IEEE. Copyright: Copyright 2019 Elsevier B.V., All rights reserved.; 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018 ; Conference date: 15-10-2018 Through 18-10-2018",

year = "2018",

month = nov,

day = "16",

doi = "10.1109/ISSREW.2018.00028",

language = "English",

series = "Proceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018",

publisher = "IEEE",

pages = "341--348",

editor = "Roberto Natella and Sudipto Ghosh and Nuno Laranjeiro and Robin Poston and Bojan Cukic",

booktitle = "Proceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018",

address = "United States",

}

Fisher, M , Collins, E , Dennis, L, Luckcuck, M, Webster, M, Jump, M, Page, V, Patchett, C, Dinmohammadi, F, Flynn, D, Robu, V & Zhao, X 2018, Verifiable Self-Certifying Autonomous Systems. in R Natella, S Ghosh, N Laranjeiro, R Poston & B Cukic (eds), Proceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018., 8539217, Proceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018, IEEE, pp. 341-348, 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018, Memphis, United States, 15/10/18. https://doi.org/10.1109/ISSREW.2018.00028

Verifiable Self-Certifying Autonomous Systems. / Fisher, Michael ; Collins, Emily ; Dennis, Louise et al.
Proceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018. ed. / Roberto Natella; Sudipto Ghosh; Nuno Laranjeiro; Robin Poston; Bojan Cukic. IEEE, 2018. p. 341-348 8539217 (Proceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018).

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Verifiable Self-Certifying Autonomous Systems

AU - Fisher, Michael

AU - Collins, Emily

AU - Dennis, Louise

AU - Luckcuck, Matt

AU - Webster, Matt

AU - Jump, Mike

AU - Page, Vincent

AU - Patchett, Charles

AU - Dinmohammadi, Fateme

AU - Flynn, David

AU - Robu, Valentin

AU - Zhao, Xingyu

N1 - Funding Information: Authors acknowledge funding for this work in the UK by EPSRC through the ORCA [EP/R026173] Robotics and Artificial Intelligence Hub. Publisher Copyright: © 2018 IEEE. Copyright: Copyright 2019 Elsevier B.V., All rights reserved.

PY - 2018/11/16

Y1 - 2018/11/16

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 - certification

KW - software

KW - verification

U2 - 10.1109/ISSREW.2018.00028

DO - 10.1109/ISSREW.2018.00028

M3 - Conference contribution

AN - SCOPUS:85059852971

T3 - Proceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018

SP - 341

EP - 348

BT - Proceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018

A2 - Natella, Roberto

A2 - Ghosh, Sudipto

A2 - Laranjeiro, Nuno

A2 - Poston, Robin

A2 - Cukic, Bojan

PB - IEEE

T2 - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018

Y2 - 15 October 2018 through 18 October 2018

ER -

Fisher M , Collins E , Dennis L, Luckcuck M, Webster M, Jump M et al. Verifiable Self-Certifying Autonomous Systems. In Natella R, Ghosh S, Laranjeiro N, Poston R, Cukic B, editors, Proceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018. IEEE. 2018. p. 341-348. 8539217. (Proceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018). doi: 10.1109/ISSREW.2018.00028

Verifiable Self-Certifying Autonomous Systems

Abstract

Publication series

Conference

UN SDGs

Keywords

Access to Document

Fingerprint

Cite this