Sur la modélisation structurelle markovienne en fiabilité du logiciel - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1995

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

James Ledoux

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.
Fichier principal
Vignette du fichier
RR-2714.pdf (365.95 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00073977 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00073977 , version 1

Citer

James Ledoux. Sur la modélisation structurelle markovienne en fiabilité du logiciel. [Rapport de recherche] RR-2714, INRIA. 1995. ⟨inria-00073977⟩
104 Consultations
116 Téléchargements

Partager

Gmail Facebook X LinkedIn More