Sur la modélisation structurelle markovienne en fiabilité du logiciel - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1995

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

James Ledoux

Abstract

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 and versions

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

Identifiers

  • HAL Id : inria-00073977 , version 1

Cite

James Ledoux. Sur la modélisation structurelle markovienne en fiabilité du logiciel. [Rapport de recherche] RR-2714, INRIA. 1995. ⟨inria-00073977⟩
102 View
108 Download

Share

Gmail Facebook Twitter LinkedIn More