Modèle hyperexponentiel en temps continu et en temps
discret pour l'évaluation de la croissance de la
sûreté de fonctionnement
Continuous time and discrete time hyperexponential model for dependability growth modeling
Mohamed Kaâniche
Rapport LAAS No92002
Doctorat, Institut
National Polytechnique, Toulouse, 13 Janvier 1992, N°519, 189p.,
Jury : J.C.LAPRIE, Président - Examinateurs : B.BARRE,
P.BESCOND, A.COSTES, K.KANOUN, Y.LEVENDEL, S.NATKIN
|
Résumé
Ce mémoire présente des travaux et des
résultats, aussi bien théoriques que pratiques,
concernant la modélisation et l'évaluation de la
croissance de fiabilité et de la croissance de
disponibilité des systèmes informatiques. Nous
considérons deux types de représentation du comportement
des systèmes : d'abord, en fonction du temps, et ensuite en
fonction du nombre d'exécutions effectuées.
Les travaux présentés dans ce mémoire s'articulent
autour de deux modèles de croissance de fiabilité : le
modèle hyperexponentiel en temps continu et le modèle
hyperexponentiel en temps discret. Pour chacun de ces deux
modèles, nous étudions d'abord, le cas d'un
système mono-composant, puis nous considérons le cas d'un
système multi-composant qui est tel que la croissance de
fiabilité de chacun de ses composants est
représentée par un modèle hyperexponentiel. Le
modèle hyperexponentiel en temps discret est également
utilisé pour prendre en compte certaines caractéristiques
de l'environnement d'utilisation du logiciel dans l'évaluation
de son comportement tel qu'il est perçu dans le temps par ses
utilisateurs dans chacun des environnements dans lequel il est mis en
œuvre.
Mots-clefs: Sûreté de
fonctionnement , Evaluation , Modèles complexes , Réseaux de Petri
stochastiques généralisés , Simulation hiérarchique , Injection de
fautes , Croissance de fiabilité , Sécurité-confidentialité , Modèles
de développement
Abstract
This dissertation presents theoretical and practical results
on computer system reliability and availability growth modeling. Two
kinds of system behavior characterizations are considered: first, with
respect to time, and second, with respect to the number of executions
performed.
The dissertation is centered on two reliability growth models:
the continuous time hyperexponential model and the discrete time
hyperexponential model. For each of these models, we consider first,
single component systems, and second, multi-component systems such that
the reliability growth of each component of the considered system is
characterised by the hyperexponential model. The discrete time
hyperexponential model is also used to account for some characteristics
of the software's environment to evaluate dependability measures of the
software that are particular to the environment in which it is executed.
Keywords: Dependability ,
Complex models , Generalized Stochastic Petri Nets , Hierarchical
simulation , Fault injection , Reliability growth , Security ,
Development process models
|