PRISM: probabilistic model checking for performance and reliability analysis

Abstract : Probabilistic model checking is a formal verification technique for the modelling and analysis of stochastic systems. It has proved to be useful for studying a wide range of quantitative properties of models taken from many diffierent application domains. This includes, for example, performance and reliability properties of computer and communication systems. In this paper, we give an overview of the probabilistic model checking tool PRISM, focusing in particular on its support for continuous-time Markov chains and Markov reward models, and how these can be used to analyse performability properties.
Type de document :
Article dans une revue
ACM SIGMETRICS Performance Evaluation Review, Association for Computing Machinery, 2009, 36 (4), pp.40-45. 〈10.1145/1530873.1530882〉
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00457906
Contributeur : Brigitte Briot <>
Soumis le : jeudi 18 février 2010 - 16:38:14
Dernière modification le : lundi 13 novembre 2017 - 12:08:04
Document(s) archivé(s) le : jeudi 18 octobre 2012 - 15:30:31

Fichier

acmper_prismperf.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Marta Kwiatkowska, Gethin Norman, David Parker. PRISM: probabilistic model checking for performance and reliability analysis. ACM SIGMETRICS Performance Evaluation Review, Association for Computing Machinery, 2009, 36 (4), pp.40-45. 〈10.1145/1530873.1530882〉. 〈inria-00457906〉

Partager

Métriques

Consultations de la notice

200

Téléchargements de fichiers

402