Formalisation des fautes de circuits numériques et vérification de la sûreté de fonctionnement des circuits numériques en présence de fautes

par Jérôme Rocheteau

Thèse de doctorat en Technologies de l'information et des systèmes

Sous la direction de Jean-Louis Boulanger.

Soutenue en 2007

à Compiègne .

  • Titre traduit

    Formalization of digital circuit faults for safety verification of digital circuits in the presence of faults


  • Pas de résumé disponible.


  • Résumé

    L'objectif de ce travail de thèse consiste à fournir une démarche formelle pour la vérification de circuits numériques conçus en sécurité, c'est-à-dire qui sont prévus pour gérer certaines de leurs défaillances. Par démarche formelle, nous entendons le fait de pouvoir associer une signification mathématique et précise aux comportements des circuits numériques tant en mode normal, en l'absence de défaillance, qu'en mode dégradé, en présence de défaillances. Le but de ce travail est de permettre de déterminer dans quel contexte de défaillances un circuit numérique est sûr de fonctionnement. Le travail réalisé consiste, dans un premier temps, à enrichir un langage de spécification et de description des circuits numériques afin d'exprimer que des fautes - c'est-à-dire les causes de leurs défaillances - s'appliquent dessus et comment elles modifient le comportement des circuits numériques. Le premier objectif de cette thèse correspond donc à la formalisation des fautes de circuits numériques. Le second objectif correspond à l'élaboration d'un processus de vérification des circuits numériques en présence de fautes. Plus précisément, il s'agit de vérifier si leurs comportements sont sûrs de fonctionnement. Cet objectif est atteint en étendant les techniques de vérification existantes pour les circuits numériques.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (219 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. 140 réf.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Technologie de Compiègne. Service Commun de la Documentation.
  • Disponible pour le PEB
  • Cote : 2007 ROC 1724
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.