Skip to Main content Skip to Navigation
Reports

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.
Document type :
Reports
Complete list of metadata

Cited literature [2 references]  Display  Hide  Download

https://hal.inria.fr/inria-00073977
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 2:13:05 PM
Last modification on : Thursday, February 11, 2021 - 2:48:05 PM
Long-term archiving on: : Monday, April 5, 2010 - 12:03:10 AM

Identifiers

  • HAL Id : inria-00073977, version 1

Citation

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

Share

Metrics

Record views

206

Files downloads

172