Trustworthy Autonomous Systems through  Verifiability

Mohammadreza Mousavi; Ana  Cavalcanti; Michael Fisher; Louise  Dennis; Rob Hierons; Bilal  Kaddouh; Effie Lai-Chong  Law; Rob  Richardson; Jan Oliver Ringert; Ivan Tyukin; Jim  Woodcock

Trustworthy Autonomous Systems through Verifiability

Mohammadreza Mousavi, Ana Cavalcanti, Michael Fisher, Louise Dennis, Rob Hierons, Bilal Kaddouh, Effie Lai-Chong Law, Rob Richardson, Jan Oliver Ringert, Ivan Tyukin, Jim Woodcock

Research output: Contribution to journal › Article › peer-review

135 Downloads (Pure)

Abstract

Autonomous systems have the promise to address many of our societal
challenges in a variety of areas: healthcare, climate, and economic growth,
are a few examples. To realise this potential, these systems need to be
trustworthy. In this paper, we describe research carried out by a UK
consortium to address a central issue in establishing trustworthiness:
verifiability. We explain the issues for verification that arise due to
autonomy: concerns with beneficiality as well as reliability, heterogeneous
artefacts and techniques, multi-disciplinary stakeholders. We also describe our vision for tackling these issues, and our progress so far.

Original language	English
Journal	IEEE SOFTWARE
Publication status	Accepted/In press - 7 Jul 2022

Access to Document

Verifiability___IEEE_Software_magazineAccepted author manuscript, 2.87 MBLicence: Unspecified

Cite this

@article{43ec353849654041992b0f3ccf49da20,

title = "Trustworthy Autonomous Systems through Verifiability",

abstract = "Autonomous systems have the promise to address many of our societalchallenges in a variety of areas: healthcare, climate, and economic growth,are a few examples. To realise this potential, these systems need to betrustworthy. In this paper, we describe research carried out by a UKconsortium to address a central issue in establishing trustworthiness:verifiability. We explain the issues for verification that arise due toautonomy: concerns with beneficiality as well as reliability, heterogeneousartefacts and techniques, multi-disciplinary stakeholders. We also describe our vision for tackling these issues, and our progress so far.",

author = "Mohammadreza Mousavi and Ana Cavalcanti and Michael Fisher and Louise Dennis and Rob Hierons and Bilal Kaddouh and Law, {Effie Lai-Chong} and Rob Richardson and Ringert, {Jan Oliver} and Ivan Tyukin and Jim Woodcock",

year = "2022",

month = jul,

day = "7",

language = "English",

journal = "IEEE SOFTWARE",

issn = "0740-7459",

publisher = "IEEE Computer Society",

}

TY - JOUR

T1 - Trustworthy Autonomous Systems through Verifiability

AU - Mousavi, Mohammadreza

AU - Cavalcanti, Ana

AU - Fisher, Michael

AU - Dennis, Louise

AU - Hierons, Rob

AU - Kaddouh, Bilal

AU - Law, Effie Lai-Chong

AU - Richardson, Rob

AU - Ringert, Jan Oliver

AU - Tyukin, Ivan

AU - Woodcock, Jim

PY - 2022/7/7

Y1 - 2022/7/7

N2 - Autonomous systems have the promise to address many of our societalchallenges in a variety of areas: healthcare, climate, and economic growth,are a few examples. To realise this potential, these systems need to betrustworthy. In this paper, we describe research carried out by a UKconsortium to address a central issue in establishing trustworthiness:verifiability. We explain the issues for verification that arise due toautonomy: concerns with beneficiality as well as reliability, heterogeneousartefacts and techniques, multi-disciplinary stakeholders. We also describe our vision for tackling these issues, and our progress so far.

AB - Autonomous systems have the promise to address many of our societalchallenges in a variety of areas: healthcare, climate, and economic growth,are a few examples. To realise this potential, these systems need to betrustworthy. In this paper, we describe research carried out by a UKconsortium to address a central issue in establishing trustworthiness:verifiability. We explain the issues for verification that arise due toautonomy: concerns with beneficiality as well as reliability, heterogeneousartefacts and techniques, multi-disciplinary stakeholders. We also describe our vision for tackling these issues, and our progress so far.

M3 - Article

SN - 0740-7459

JO - IEEE SOFTWARE

JF - IEEE SOFTWARE

ER -

Trustworthy Autonomous Systems through Verifiability

Abstract

Access to Document

Fingerprint

Cite this