New ACM paper on “Specifying for Trustworthiness”
Dec 22, 2023
10:28
A new paper on “Specifying for Trustworthiness” in Autonomous Systems has been published in Communications of the ACM (CACM).
Key findings include:
-
Autonomous Systems are increasingly becoming part of our daily lives. To demonstrate the trustworthiness of an autonomous system, we must first specify what is considered trustworthy.
-
This article looks across the range of autonomous- systems domains and identifies some of their key specification challenges.
-
Key intellectual challenges involved with specifying for trustworthiness in autonomous systems cut across the domains and are aggravated by the uncertainty in which the autonomous systems must operate.
This article paper results from the “Specifying for Trustworthiness” workshop held during the September 2021 TAS All Hands Meeting, which gathered a diverse group of researchers from all parts of the TAS program including its six NODES (Functionality, Governance and Regulation, Resilience, Security, Trust, Verifiability).