Esterle, Lukas, Porter, Barry and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2021) Verification and Uncertainties in Self-integrating System. In: El-Araby, Esam, Kalogeraki, Vana, Pianini, Danilo, Lassabe, Frederic, Porter, Barry, Ghahremani, Sona, Nunes, Ingrid, Bakhouya, Mohamed and Tomforde, Sven, (eds.) Proceedings - 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021. 2nd IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021, 27 Sep - 01 Oct 2021 Proceedings - 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021 . IEEE , USA , pp. 220-225.
Abstract
Self-integrating and self-improving system are required to verify their state in order to understand whether they have achieved their goal or need to adapt themselves to reach it. In this short position paper, we outline the main challenges specifically when verifying systems interacting with each other and operating under uncertainties. A short outline of the uncertainties is given as well as a brief roadmap to overcome the main challenges faced by autonomous interwoven systems, operating in an open world with incomplete knowledge.
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Editors: |
|
Copyright, Publisher and Additional Information: | Funding Information: We are grateful to the Poul Due Jensen Foundation, which has supported the establishment of a new Centre for Digital Twin Technology at Aarhus University and supported parts of this research financially. This work was also partly supported by the UK Leverhulme Trust via the Self-Aware Datacentre project, grant RPG-2017-166. Publisher Copyright: © 2021 IEEE. |
Keywords: | Self-assembling,Self-improving,Self-integrating systems,Systems-of-systems,Verification |
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) |
Depositing User: | Pure (York) |
Date Deposited: | 07 Feb 2022 09:20 |
Last Modified: | 26 Jan 2025 00:05 |
Published Version: | https://doi.org/10.1109/ACSOS-C52956.2021.00050 |
Status: | Published |
Publisher: | IEEE |
Series Name: | Proceedings - 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021 |
Identification Number: | 10.1109/ACSOS-C52956.2021.00050 |
Related URLs: | |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:183279 |