Verifiable Self-Certifying Autonomous Systems

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

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

9 Citations (Scopus)

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 languageEnglish
Title of host publicationProceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018
EditorsRoberto Natella, Sudipto Ghosh, Nuno Laranjeiro, Robin Poston, Bojan Cukic
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Pages341-348
Number of pages8
ISBN (Electronic)9781538694435
DOIs
Publication statusPublished - 16 Nov 2018
Externally publishedYes
Event29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018 - Memphis, United States
Duration: 15 Oct 201818 Oct 2018

Publication series

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

Conference

Conference29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018
CountryUnited States
CityMemphis
Period15/10/1818/10/18

Keywords

  • autonomy
  • certification
  • software
  • verification

Fingerprint Dive into the research topics of 'Verifiable Self-Certifying Autonomous Systems'. Together they form a unique fingerprint.

Cite this