On Specifying for Trustworthiness

TY - JOUR

T1 - On Specifying for Trustworthiness

AU - Abeywickrama, Dhaminda B.

AU - Bennaceur, Amel

AU - Chance, Greg

AU - Demiris, Yiannis

AU - Kordoni, Anastasia

AU - Levine, Mark

AU - Moffat, Luke

AU - Moreau, Luc

AU - Mousavi, Mohammadreza

AU - Nuseibeh, Bashar

AU - Ramamoorthy, Subramanian

AU - Ringert, Jan Oliver

AU - Wilson, James

AU - Windsor, Shane

AU - Eder, Kerstin

PY - 2023/6/22

Y1 - 2023/6/22

N2 - As autonomous systems (AS) increasingly become part of our daily lives, ensuring their trustworthiness is crucial. In order to demon- strate the trustworthiness of an AS, we first need to specify what is required for an AS to be considered trustworthy. This roadmap paper identifies key challenges for specifying for trustworthiness in AS, as identified during the “Specifying for Trustworthiness” workshop held as part of the UK Research and Innovation (UKRI) Trustworthy Autonomous Systems (TAS) programme. We look across a range of AS domains with consideration of the resilience, trust, functionality, verifiability, security, and governance and regu- lation of AS and identify some of the key specification challenges in these domains. We then highlight the intellectual challenges that are involved with specifying for trustworthiness in AS that cut across domains and are exacerbated by the inherent uncertainty involved with the environments in which AS need to operate.

AB - As autonomous systems (AS) increasingly become part of our daily lives, ensuring their trustworthiness is crucial. In order to demon- strate the trustworthiness of an AS, we first need to specify what is required for an AS to be considered trustworthy. This roadmap paper identifies key challenges for specifying for trustworthiness in AS, as identified during the “Specifying for Trustworthiness” workshop held as part of the UK Research and Innovation (UKRI) Trustworthy Autonomous Systems (TAS) programme. We look across a range of AS domains with consideration of the resilience, trust, functionality, verifiability, security, and governance and regu- lation of AS and identify some of the key specification challenges in these domains. We then highlight the intellectual challenges that are involved with specifying for trustworthiness in AS that cut across domains and are exacerbated by the inherent uncertainty involved with the environments in which AS need to operate.

U2 - https://doi.org/10.48550/arXiv.2206.11421

DO - https://doi.org/10.48550/arXiv.2206.11421

M3 - Article

SN - 0001-0782

JO - COMMUNICATIONS OF THE ACM

JF - COMMUNICATIONS OF THE ACM

ER -