As autonomous systems (AS) increasingly become part of our daily lives, ensuring their trustworthiness is crucial. In order to demonstrate 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 regulation 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.

翻译：随着自主系统日益融入日常生活，确保其可信性至关重要。为证明自主系统的可信性，我们首先需要明确其被认为可信所需满足的规范准则。本路线图论文梳理了在英国研究与创新署（UKRI）可信自主系统项目框架下举办的"可信规约制定"研讨会中识别出的关键挑战，聚焦自主系统可信性规范制定领域。我们跨域审视多种自主系统场景，综合考量其韧性、可信度、功能性、可验证性、安全性、治理与监管等方面，提炼出这些领域的主要规范制定挑战。进而阐明贯穿不同领域、因自主系统运行环境固有的不确定性而加剧的跨域性智能挑战——这些挑战源于为自主系统制定可信规约时涉及的核心认知难题。