Improving Time Bounded Reachability Computations in Interactive Markov Chains

Abstract : Interactive Markov Chains ($\text {IMCs}$) are compositional behaviour models extending both Continuous Time Markov Chain (CTMC) and Labeled Transition System (LTS). They are used as semantic models in different engineering contexts ranging from ultramodern satellite designs to industrial system-on-chip manufacturing. Different approximation algorithms have been proposed for model checking of $\text {IMC}$, with time bounded reachability probabilities playing a pivotal role. This paper addresses the accuracy and efficiency of approximating time bounded reachability probabilities in $\text {IMC}$, improving over the state-of-the-art in both efficiency of computation and tightness of approximation. Experimental evidence is provided by applying the new method on a case study.
Type de document :
Communication dans un congrès
Farhad Arbab; Marjan Sirjani. 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. Springer Berlin Heidelberg, Lecture Notes in Computer Science, LNCS-8161, pp.250-266, 2013, Fundamentals of Software Engineering. 〈10.1007/978-3-642-40213-5_16〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01514669
Contributeur : Hal Ifip <>
Soumis le : mercredi 26 avril 2017 - 15:22:13
Dernière modification le : jeudi 20 septembre 2018 - 07:54:02
Document(s) archivé(s) le : jeudi 27 juillet 2017 - 12:53:31

Fichier

978-3-642-40213-5_16_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Hassan Hatefi, Holger Hermanns. Improving Time Bounded Reachability Computations in Interactive Markov Chains. Farhad Arbab; Marjan Sirjani. 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. Springer Berlin Heidelberg, Lecture Notes in Computer Science, LNCS-8161, pp.250-266, 2013, Fundamentals of Software Engineering. 〈10.1007/978-3-642-40213-5_16〉. 〈hal-01514669〉

Partager

Métriques

Consultations de la notice

36

Téléchargements de fichiers

83