Croissance de la sûreté de fonctionnement des logiciels. Caractérisation, modélisation, évaluation

Karama Kanoun 1
1 LAAS-TSF - Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique
LAAS - Laboratoire d'analyse et d'architecture des systèmes [Toulouse]
Résumé : Dans ce mémoire nous nous intéressons à l'évaluation de la sûreté de fonctionnement d'un système informatique et plus particulièrement du logiciel. Nous considérons à la fois les aspects de fiabilité (prise en compte des temps hors défaillance uniquement) et de disponibilité (prise en compte simultanée des temps hors défaillance et des temps où le système est défaillant. Nous nous intéressons à la sûreté de fonctionnement d'un logiciel déjà codé et qui est en cours d'évolution. cette évolution a pour origine soit des corrections, soit des changements de spécifications, situation couramment appelé "croissance de fiabilité"
Type de document :
Thèse
Performance et fiabilité [cs.PF]. Institut National Polytechnique De Toulouse, 1989. Français
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/tel-01964462
Contributeur : Karama Kanoun <>
Soumis le : mercredi 9 janvier 2019 - 16:11:05
Dernière modification le : jeudi 10 janvier 2019 - 01:25:02

Fichier

These-Etat-KK-1989.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : tel-01964462, version 1

Citation

Karama Kanoun. Croissance de la sûreté de fonctionnement des logiciels. Caractérisation, modélisation, évaluation. Performance et fiabilité [cs.PF]. Institut National Polytechnique De Toulouse, 1989. Français. 〈tel-01964462〉

Partager

Métriques

Consultations de la notice

39

Téléchargements de fichiers

14