Probabilistic Analysis of the Quality Calculus - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2013

Probabilistic Analysis of the Quality Calculus

Résumé

We consider a fragment of the Quality Calculus, previously introduced for defensive programming of software components such that it becomes natural to plan for default behaviour in case the ideal behaviour fails due to unreliable communication.This paper develops a probabilistically based trust analysis supporting the Quality Calculus. It uses information about the probabilities that expected input will be absent in order to determine the trustworthiness of the data used for controlling the distributed system; the main challenge is to take accord of the stochastic dependency between some of the inputs. This takes the form of a relational static analysis dealing with quantitative information.
Fichier principal
Vignette du fichier
978-3-642-38592-6_18_Chapter.pdf (230.62 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01515243 , version 1 (27-04-2017)

Licence

Identifiants

Citer

Hanne Riis Nielson, Flemming Nielson. Probabilistic Analysis of the Quality Calculus. 15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.258-272, ⟨10.1007/978-3-642-38592-6_18⟩. ⟨hal-01515243⟩
84 Consultations
102 Téléchargements

Altmetric

Partager

More