Modèle hyperexponentiel en temps continu et en temps discret pour l'évaluation de la croissance de la sûreté de fonctionnement

par Mohamed Kaâniche

Thèse de doctorat en Informatique

Sous la direction de Jean-Claude Laprie et de Karama Kanoun.

Soutenue en 1992

à Toulouse, INPT .


  • Résumé

    Ce memoire presente des travaux et des resultats, aussi bien theoriques que pratiques, concernant la modelisation et l'evaluation de la croissance de fiabilite et de la croissance de disponibilite des systemes informatiques selon une approche boite noire et aussi selon une approche boite blanche. Nous considerons deux types de representation du comportement des systemes: une representation en temps continu permettant de caracteriser et d'evaluer l'evolution dans le temps des mesures de surete de fonctionnement d'un systeme materiel et logiciel, et une representation en temps discret, plus adaptee au logiciel, permettant de caracteriser l'evolution de la fiabilite d'un systeme en fonction du nombre d'executions effectuees. Les travaux presentes dans ce memoire s'articulent autour de deux modeles de croissance de fiabilite: le modele hyperexponentiel en temps continu et le modele hyperexponentiel en temps discret. Le premier est un modele deja existant; nous etudions ses principales caracteristiques de facon plus approfondie et nous l'utilisons dans le cadre d'une approche de modelisation, utilisant les reseaux de petri stochastiques generalises, permettant de modeliser la croissance de surete de fonctionnement d'un systeme a partir de celle de ses differents composants. Le deuxieme est un nouveau modele qui permet d'une part, de modeliser la croissance de fiabilite d'un logiciel en fonction du nombre d'executions effectuees, et d'autre part, de tenir compte de certaines caracteristiques de l'environnement d'utilisation du logiciel dans l'evaluation de son comportement tel qu'il est percu dans chacun des environnements dans lequel il est utilise. Ce modele constitue egalement la base d'une approche de modelisation en temps discret de la croissance de fiabilite de logiciels multi-composant

  • Titre traduit

    Continuous tima and discrete time hyperexponential model for dependability growth modeling


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (189 f.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. f. 177-184

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : C-KAA
  • Bibliothèque : École nationale supérieure d'électrotechnique, d'électronique, d'informatique, d'hydraulique et des télécommunications. Bibliothèque.
  • Disponible pour le PEB
  • Cote : 92INPT027H/1

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Non disponible pour le PEB
  • Cote : MF-1992-KAA
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.