A Counting model for software reliability analysis

James Ledoux 1 Gerardo Rubino 1
1 MODEL - Modeling Random Systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Abstract : Structural reliability models suffer from some drawbacks mainly related to the assumptions necessary to apply them. We propose a model which intends to overcome some of these limitations appearing in previous published works. We discuss on an approach that can make more realistic the usual Markovian assumptions when considering the structural modeling of the execution process. Moreover, we define a failure process allowing to model different and general situations and we give analytic results and algorithmic methods to perform the corresponding quantitative evaluations. We show that our model and the obtained results include as particular cases some previous proposed models. We also discuss about some interesting asymptotic properties of the model.
Type de document :
Rapport
[Research Report] RR-2060, INRIA. 1993
Liste complète des métadonnées

https://hal.inria.fr/inria-00074612
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 15:53:57
Dernière modification le : jeudi 11 janvier 2018 - 06:20:09
Document(s) archivé(s) le : lundi 5 avril 2010 - 00:12:19

Fichiers

Identifiants

  • HAL Id : inria-00074612, version 1

Collections

Citation

James Ledoux, Gerardo Rubino. A Counting model for software reliability analysis. [Research Report] RR-2060, INRIA. 1993. 〈inria-00074612〉

Partager

Métriques

Consultations de la notice

305

Téléchargements de fichiers

74