Synthèse Automatique de Contrôleurs avec Contraintes de Sûreté de Fonctionnement - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 1996

Controller Automatic Synthesis with Dependability Constraints

Synthèse Automatique de Contrôleurs avec Contraintes de Sûreté de Fonctionnement

Résumé

Cette thèse propose de nouvelles méthodes de synthèse automatique des contrôleurs internes aux circuits numériques. Elles permettent en particulier d'intégrer, directement au niveau du contrôleur, des dispositifs de détection d'erreurs ou de tolérance aux fautes. En ce qui concerne la détection d'erreurs, quatre flots de synthèse ont été implantés. Deux d'entre eux utilisent la méthode classique de duplication et comparaison, tandis que les deux autres sont basés sur la vérification d'un flot de contrôle par analyse de signature. La signature est une information permettant de caractériser la séquence parcourue d'états du contrôleur. La vérification du flot de contrôle correspond à la détection des séquences illégales d'états. En ce qui concerne la tolérance aux fautes, quatre flots ont été implantés. Deux d'entre eux utilisent la méthode classique de triplement et vote majoritaire, tandis que les deux autres sont basés sur l'utilisation d'un code correcteur d'erreurs lors du codage du contrôleur. Une erreur survenant dans le code de l'état courant peut ainsi être corrigée en utilisant les propriétés du code correcteur choisi. L'analyse des résultats de synthèse de nombreux exemples montre l'intérêt des nouvelles méthodes de détection et de tolérance proposées, et des algorithmes de synthèse implantés. Ainsi, ces méthodes et ces algorithmes permettent, entre autres, de définir de nouveaux compromis coût/sûreté de fonctionnement, en réduisant sensiblement le coût matériel de la redondance implantée. L'automatisation des traitements permet de plus de réduire le coût de conception lié à l'amélioration de la sûreté de fonctionnement des contrôleurs, en particulier lorsque des techniques plus pointues sont préférées à la redondance massive
Fichier principal
Vignette du fichier
Rochet.Raphael_1996_these.pdf (12.83 Mo) Télécharger le fichier

Dates et versions

tel-00345417 , version 1 (09-12-2008)

Identifiants

  • HAL Id : tel-00345417 , version 1

Citer

Raphaël Rochet. Synthèse Automatique de Contrôleurs avec Contraintes de Sûreté de Fonctionnement. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1996. Français. ⟨NNT : ⟩. ⟨tel-00345417⟩

Collections

UGA CNRS TDS-MACS
183 Consultations
58 Téléchargements

Partager

Gmail Facebook X LinkedIn More