How Adaptive and Reliable is Your Program? - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

How Adaptive and Reliable is Your Program?

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Licence

Paternité

Identifiants

Citer

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 Consultations
1 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More