How Adaptive and Reliable is Your Program? - Formal Techniques for Distributed Objects, Components, and Systems Access content directly
Conference Papers Year : 2021

How Adaptive and Reliable is Your Program?

Abstract

We consider the problem of modelling and verifying the behaviour of systems characterised by a close interaction of a program with the environment. We propose to model the program-environment interplay in terms of the probabilistic modifications they induce on a set of application-relevant data, called data space. The behaviour of a system is thus identified with the probabilistic evolution of the initial data space. Then, we introduce a metric, called evolution metric, measuring the differences in the evolution sequences of systems and that can be used for system verification as it allows for expressing how well the program is fulfilling its tasks. We use the metric to express the properties of adaptability and reliability of a program, which allow us to identify potential critical issues of it w.r.t. changes in the initial environmental conditions. We also propose an algorithm, based on statistical inference, for the evaluation of the evolution metric.
Fichier principal
Vignette du fichier
509782_1_En_4_Chapter.pdf (602.15 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03740265 , version 1 (29-07-2022)

Licence

Attribution

Identifiers

Cite

Valentina Castiglioni, Michele Loreti, Simone Tini. How Adaptive and Reliable is Your Program?. 41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.60-79, ⟨10.1007/978-3-030-78089-0_4⟩. ⟨hal-03740265⟩
12 View
1 Download

Altmetric

Share

Gmail Facebook X LinkedIn More