On Specifying for Trustworthiness

要約

自律システム (AS) が私たちの日常生活の一部になるにつれて、その信頼性を確保することが重要になります。
AS の信頼性を実証するには、まず AS が信頼できるとみなされるために何が必要かを指定する必要があります。
このロードマップ ペーパーでは、英国リサーチ アンド イノベーション (UKRI) Trustworthy Autonomous Systems (TAS) プログラムの一環として開催された「信頼性の指定」ワークショップで特定された、AS の信頼性の指定に関する主要な課題を特定します。
私たちは、AS の復元力、信頼性、機能性、検証可能性、セキュリティ、ガバナンスと規制を考慮してさまざまな AS ドメインを調査し、これらのドメインにおける主要な仕様上の課題のいくつかを特定します。
次に、AS の信頼性の指定に関連する知的課題がドメインを横断し、AS が動作する必要がある環境に伴う固有の不確実性によって悪化する知的課題に焦点を当てます。

要約(オリジナル)

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.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google