Fang, Xinwei, Getir Yaman, Sinem, Calinescu, Radu orcid.org/0000-0002-2678-9260 et al. (2 more authors) (2024) Predicting Nonfunctional Requirement Violations in Autonomous Systems. ACM Transactions on Autonomous and Adaptive Systems. 6. ISSN 1556-4703
Abstract
Autonomous systems are often used in applications where environmental and internal changes may lead to requirement violations. Adapting to these changes proactively, i.e., before the violations occur, is preferable to recovering from the failures that may be caused by such violations. However, proactive adaptation needs methods for predicting requirement violations timely, accurately and with acceptable overheads. To address this need, we present a method that allows autonomous systems to predict violations of performance, dependability and other nonfunctional requirements, and therefore take preventative measures to avoid or otherwise mitigate them. Our method for predicting these autonomous system disruptions (PRESTO) comprises a design time stage and a run-time stage. At design-time, we use parametric model checking to obtain algebraic expressions that formalise the relationships between the nonfunctional properties of the requirements of interest (e.g., reliability, response time and energy use) and the parameters of the system and its environment. At run-time, we predict future changes in these parameters by applying piece-wise linear regression to online data obtained through monitoring, and we use the algebraic expressions to predict the impact of these changes on the system requirements. We demonstrate the application of PRESTO through simulation in case studies from two different domains.
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © 2024 Copyright held by the owner/author(s). |
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) The University of York > Faculty of Sciences (York) > Mathematics (York) |
Funding Information: | Funder Grant number EPSRC EP/V026747/1 |
Depositing User: | Pure (York) |
Date Deposited: | 03 Nov 2023 09:40 |
Last Modified: | 19 Dec 2024 00:17 |
Published Version: | https://doi.org/10.1145/3632405 |
Status: | Published |
Refereed: | Yes |
Identification Number: | 10.1145/3632405 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:204888 |
Download
Filename: 3632405.pdf
Description: Predicting Nonfunctional Requirement Violations in Autonomous Systems
Licence: CC-BY 2.5