PRESTO: Predicting System-level Disruptions through Parametric Model Checking

05/07/2022
by   Xinwei Fang, et al.
0

Self-adaptive systems are expected to mitigate disruptions by continually adjusting their configuration and behaviour. This mitigation is often reactive. Typically, environmental or internal changes trigger a system response only after a violation of the system requirements. Despite a broad agreement that prevention is better than cure in self-adaptation, proactive adaptation methods are underrepresented within the repertoire of solutions available to the developers of self-adaptive systems. To address this gap, we present a work-in-progress approach for the pre diction of system-level disruptions (PRESTO) through parametric model checking. Intended for use in the analysis step of the MAPE-K (Monitor-Analyse-Plan-Execute over a shared Knowledge) feedback control loop of self-adaptive systems, PRESTO comprises two stages. First, time-series analysis is applied to monitoring data in order to identify trends in the values of individual system and/or environment parameters. Next, future non-functional requirement violations are predicted by using parametric model checking, in order to establish the potential impact of these trends on the reliability and performance of the system. We illustrate the application of PRESTO in a case study from the autonomous farming domain.

READ FULL TEXT
research
08/25/2022

Software Performability Analysis Using Fast Parametric Model Checking

We present an efficient parametric model checking (PMC) technique for th...
research
12/24/2018

Efficient Parametric Model Checking Using Domain Knowledge

We introduce an efficient parametric model checking (ePMC) method for th...
research
08/28/2023

Formal Modelling and Analysis of a Self-Adaptive Robotic System

Self-adaptation is a crucial feature of autonomous systems that must cop...
research
02/02/2021

Fast Parametric Model Checking through Model Fragmentation

Parametric model checking (PMC) computes algebraic formulae that express...
research
02/05/2021

Maintaining driver attentiveness in shared-control autonomous driving

We present a work-in-progress approach to improving driver attentiveness...
research
04/03/2018

A Learning Approach to Enhance Assurances for Real-Time Self-Adaptive Systems

The assurance of real-time properties is prone to context variability. P...
research
03/12/2019

Perpetual Assurances for Self-Adaptive Systems

Providing assurances for self-adaptive systems is challenging. A primary...

Please sign up or login with your details

Forgot password? Click here to reset