A framework to measure the robustness of programs in the unpredictable environment
From MaRDI portal
Publication:6135769
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.
Cites work
- scientific article; zbMATH DE number 46153 (Why is no real title available?)
- scientific article; zbMATH DE number 1301626 (Why is no real title available?)
- scientific article; zbMATH DE number 2038772 (Why is no real title available?)
- scientific article; zbMATH DE number 1444349 (Why is no real title available?)
- scientific article; zbMATH DE number 3429908 (Why is no real title available?)
- scientific article; zbMATH DE number 5685899 (Why is no real title available?)
- A framework to measure the robustness of programs in the unpredictable environment
- A new simulation metric to determine safe environments and controllers for systems with unknown dynamics
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
- Approximate Abstractions of Stochastic Hybrid Systems
- Approximate model checking of stochastic hybrid systems
- Bio-PEPA: an extension of the process algebra PEPA for biochemical networks
- CONCUR 2005 – Concurrency Theory
- Calculation of the Wasserstein Distance Between Probability Distributions on the Line
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Formal verification of timed properties of randomized distributed algorithms
- Generalized Bisimulation Metrics
- How adaptive and reliable is your program?
- Measure theory. Vol. I and II
- Measuring masking fault-tolerance
- Metrics for labelled Markov processes
- On the empirical estimation of integral probability metrics
- Optimal Transport
- Overcoming overshoot performance limitations of linear systems with reset control
- Quantifying conformance using the Skorokhod metric
- Reactive, generative, and stratified models of probabilistic processes
- Risk excess measures induced by hemi-metrics
- Robust satisfaction of temporal logic over real-valued signals
- Robustness of temporal logic specifications for continuous-time signals
- SOS specifications for uniformly continuous operators
- Simulation distances
- Stochastic Hybrid Systems
- The methods of distances in the theory of probability and statistics.
- The metric linear-time branching-time spectrum on nondeterministic probabilistic processes
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)
