Weak stochastic comparisons for performability verification

Abstract : The probabilistic model checking provides a precise formalism for the performance and reliability verification of telecommunication systems modeled by Markov chains. We study a queueing system similar to a Jackson network except that queues have a finite capacity. We propose to study in this paper (state and path) formulas from the Continuous Stochastic Logic (CSL), in order to verify performability properties. Unfortunately, transient and stationary analysis is very complex for multidimensional Markov processes. So we propose to use the stochastic comparisons in the sense of weak orderings to define bounding processes. Bounding processes are represented by independent M/M/1 queues for which transient and stationary distributions can be computed as the product of probability distributions of each queue. We use the increasing set method, and we develop an intuitive formalism based on events to establish weak stochastic comparisons
Type de document :
Communication dans un congrès
ASMTA 2009 : 16th International Conference on Analytical and Stochastic Modeling Techniques and Applications , Jun 2009, Madrid, Spain. Springer, Proceedings ASMTA 2009 : 16th International Conference on Analytical and Stochastic Modeling Techniques and Applications 5513, pp.294 - 308, 2009, 〈10.1007/978-3-642-02205-0_21〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01369734
Contributeur : Médiathèque Télécom Sudparis & Institut Mines-Télécom Business School <>
Soumis le : mercredi 21 septembre 2016 - 14:29:48
Dernière modification le : jeudi 3 mai 2018 - 16:58:02

Identifiants

Collections

Citation

Hind Castel-Taleb, Nihal Pekergin. Weak stochastic comparisons for performability verification. ASMTA 2009 : 16th International Conference on Analytical and Stochastic Modeling Techniques and Applications , Jun 2009, Madrid, Spain. Springer, Proceedings ASMTA 2009 : 16th International Conference on Analytical and Stochastic Modeling Techniques and Applications 5513, pp.294 - 308, 2009, 〈10.1007/978-3-642-02205-0_21〉. 〈hal-01369734〉

Partager

Métriques

Consultations de la notice

52