Sur la modélisation structurelle markovienne en fiabilité du logiciel

James Ledoux 1
1 MODEL - Modeling Random Systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Résumé : La sûreté de fonctionnement est une qualité essentielle requise pour un système réparable. Nous développons ici un modèle structurel markovien dédié aux systèmes logiciels. Il permet le calcul (exact) de diverses métriques de sûreté de fonctionnement en tenant compte des éventuels temps de recouvrement de défaillances. Ces indices sont obtenus sous une forme analytique en utilisant les propriétés des processus markoviens, puis nous donnons les moyens de mettre en oeuvre leur évaluation numérique. Le modèle décrit est suffisamment général pour inclure la majorité des modèles structurels markoviens connus et en particulier celui de Littlewood. Diverses questions sont également abordées à partir d'exemples simples~: l'évaluation (a priori) de l'impact sur la sûreté de fonctionnement du logiciel de modifications locales d'architecture du système et d'actions de maintenance de composants (actifs ou de recouvrement). Ceci inclut, en particulier, la prise en compte de la croissance de fiabilité de certains composants. Enfin, nous donnons quelques propriétés asymptotiques du processus dedéfaillance.
Type de document :
Rapport
[Rapport de recherche] RR-2714, INRIA. 1995
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00073977
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 14:13:05
Dernière modification le : jeudi 11 janvier 2018 - 06:20:09
Document(s) archivé(s) le : lundi 5 avril 2010 - 00:03:10

Fichiers

Identifiants

  • HAL Id : inria-00073977, version 1

Collections

Citation

James Ledoux. Sur la modélisation structurelle markovienne en fiabilité du logiciel. [Rapport de recherche] RR-2714, INRIA. 1995. 〈inria-00073977〉

Partager

Métriques

Consultations de la notice

165

Téléchargements de fichiers

106