On Specifying for Trustworthiness
| Autor: | Abeywickrama, Dhaminda B., Bennaceur, Amel, Chance, Greg, Demiris, Yiannis, Kordoni, Anastasia, Levine, Mark, Moffat, Luke, Moreau, Luc, Mousavi, Mohammadreza, Nuseibeh, Bashar, Ramamoorthy, Subramanian, Ringert, Jan Oliver, Wilson, James, Windsor, Shane, Eder, Kerstin |
|---|---|
| Rok vydání: | 2022 |
| Předmět: | |
| Zdroj: | Abeywickrama, D B, Bennaceur, A, Chance, G, Demiris, Y, Kordoni, A, Levine, M, Moffat, L, Luc, M, Mousavi, M R, Nuseibeh, B, Ramamoorthy, S, Ringert, J O, Wilson, J S, Windsor, S P & Eder, K I 2023, ' On Specifying for Trustworthiness ', Communications of the ACM . https://doi.org/10.48550/arXiv.2206.11421 Abeywickrama, D B, Bennaceur, A, Chance, G, Demiris, Y, Kordoni, A, Levine, M, Moffat, L, Moreau, L, Mousavi, M, Nuseibeh, B, Ramamoorthy, S, Ringert, J O, Wilson, J, Windsor, S & Eder, K 2023, ' On Specifying for Trustworthiness ', COMMUNICATIONS OF THE ACM . https://doi.org/10.48550/arXiv.2206.11421 |
| DOI: | 10.48550/arxiv.2206.11421 |
| Popis: | As autonomous systems are becoming part of our daily lives, ensuring their trustworthiness is crucial. There are a number of techniques for demonstrating trustworthiness. Common to all these techniques is the need to articulate specifications. In this paper, we take a broad view of specification, concentrating on top-level requirements including but not limited to functionality, safety, security and other non-functional properties. The main contribution of this article is a set of high-level intellectual challenges for the autonomous systems community related to specifying for trustworthiness. We also describe unique specification challenges concerning a number of application domains for autonomous systems. Comment: 12 pages, 2 figures |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|