Conception et validation de systèmes informatiques à haute sûreté de fonctionnement - TEL - Thèses en ligne
Thèse Année : 1982

Design and validation of computer systems with high operating reliability

Conception et validation de systèmes informatiques à haute sûreté de fonctionnement

Résumé

Un système de description des calculateurs à haute sûreté de fonctionnement est proposé et appliqué à des calculateurs existants. Cette description nous conduit à proposer une démarche de conception devant faciliter la validation. Une methode d'évaluation de la sûreté de fonctionnement, destinée à fournir des évaluations pour la certification, est ensuite étudiée. Elle s'appuie sur une démarche non optimiste et permet de prendre en compte certains paramètres difficilement quantifiables (latence d'erreur par exemple). Les deux aspects de cette étude, conception et évaluation, sont appliqués à un calculateur tolérant les pannes développées dans le cadre de ce travail. (CARLl)
Fichier principal
Vignette du fichier
Pilaud.Eric_1982_these.pdf (6.29 Mo) Télécharger le fichier

Dates et versions

tel-00303295 , version 1 (21-07-2008)

Identifiants

  • HAL Id : tel-00303295 , version 1

Citer

Eric Pilaud. Conception et validation de systèmes informatiques à haute sûreté de fonctionnement. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1982. Français. ⟨NNT : ⟩. ⟨tel-00303295⟩
225 Consultations
83 Téléchargements

Partager

More