A framework to measure the robustness of programs in the unpredictable environment
From MaRDI portal
Publication:6135769
DOI10.46298/LMCS-19(3:2)2023arXiv2111.15319MaRDI QIDQ6135769FDOQ6135769
Simone Tini, Valentina Castiglioni, Michele Loreti
Publication date: 26 August 2023
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Abstract: Due to the diffusion of IoT, modern software systems are often thought to control and coordinate smart devices in order to manage assets and resources, and to guarantee efficient behaviours. For this class of systems, which interact extensively with humans and with their environment, it is thus crucial to guarantee their correct behaviour in order to avoid unexpected and possibly dangerous situations. In this paper we will present a framework that allows us to measure the robustness of systems. This is the ability of a program to tolerate changes in the environmental conditions and preserving the original behaviour. In the proposed framework, the interaction of a program with its environment is represented as a sequence of random variables describing how both evolve in time. For this reason, the considered measures will be defined among probability distributions of observed data. The proposed framework will be then used to define the notions of adaptability and reliability. The former indicates the ability of a program to absorb perturbation on environmental conditions after a given amount of time. The latter expresses the ability of a program to maintain its intended behaviour (up-to some reasonable tolerance) despite the presence of perturbations in the environment. Moreover, an algorithm, based on statistical inference, is proposed to evaluate the proposed metric and the aforementioned properties. We use two case studies to the describe and evaluate the proposed approach.
Full work available at URL: https://arxiv.org/abs/2111.15319
Cites Work
- Measure theory. Vol. I and II
- On the empirical estimation of integral probability metrics
- Optimal Transport
- Title not available (Why is that?)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Simulation distances
- Approximate Abstractions of Stochastic Hybrid Systems
- Metrics for labelled Markov processes
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
- Reactive, generative, and stratified models of probabilistic processes
- Title not available (Why is that?)
- Stochastic Hybrid Systems
- Calculation of the Wasserstein Distance Between Probability Distributions on the Line
- Robustness of temporal logic specifications for continuous-time signals
- The Methods of Distances in the Theory of Probability and Statistics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Approximate model checking of stochastic hybrid systems
- Title not available (Why is that?)
- CONCUR 2005 – Concurrency Theory
- Bio-PEPA: an extension of the process algebra PEPA for biochemical networks
- Measuring masking fault-tolerance
- Formal verification of timed properties of randomized distributed algorithms
- Robust Satisfaction of Temporal Logic over Real-Valued Signals
- SOS specifications for uniformly continuous operators
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi
- Generalized Bisimulation Metrics
- A framework to measure the robustness of programs in the unpredictable environment
- Title not available (Why is that?)
- Quantifying conformance using the Skorokhod metric
- Overcoming overshoot performance limitations of linear systems with reset control
- The metric linear-time branching-time spectrum on nondeterministic probabilistic processes
- How adaptive and reliable is your program?
- Risk excess measures induced by hemi-metrics
- A new simulation metric to determine safe environments and controllers for systems with unknown dynamics
Cited In (4)
This page was built for publication: A framework to measure the robustness of programs in the unpredictable environment
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6135769)
