Accéder directement au contenu Accéder directement à la navigation
Thèse

Elaboration de propriétés formelles de contrôleurs logiques à partir d'analyse prévisionnelle par Arbre des Défaillances

Résumé : La difficulté d'exprimer les propriétés formelles d'un contrôleur logique en vue de sa vérification est un des obstacles majeurs à la diffusion de ce type de techniques. L'objectif de cette thèse est donc de faciliter l'élaboration de ces propriétés formelles en proposant une méthode basée sur l'analyse prévisionnelle par Arbre des Défaillances (AdD). Ainsi, une propriété sera la non réalisation d'une faute. Quatre contributions sont alors développées pour mettre au point cette méthode : deux contributions de nature méthodologique et deux autres de nature formelle. Les contributions de la première catégorie sont, d'une part, l'intégration, dans la structure de l'AdD, des fautes du logiciel de commande du contrôleur logique (dites fautes systématiques car reproductibles) et, d'autre part, la représentation de ces fautes systématiques avec un vocabulaire de portes prenant en compte les temps logique et physique. Les deux contributions formelles proposent une sémantique formelle, en premier lieu, des portes adoptées dans le travail, et deuxièmement, d'associations de portes. Enfin, un exemple permet de montrer l'intérêt de ces quatre propositions pour l'amélioration de la sûreté des contrôleurs logiques.
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-00348404
Contributeur : Jean-Marc Faure <>
Soumis le : jeudi 18 décembre 2008 - 17:27:56
Dernière modification le : jeudi 9 février 2017 - 15:01:28
Document(s) archivé(s) le : mardi 8 juin 2010 - 17:51:53

Identifiants

  • HAL Id : tel-00348404, version 1

Collections

Citation

Israel Barragan Santiago. Elaboration de propriétés formelles de contrôleurs logiques à partir d'analyse prévisionnelle par Arbre des Défaillances. Automatique / Robotique. École normale supérieure de Cachan - ENS Cachan, 2007. Français. ⟨tel-00348404⟩

Partager

Métriques

Consultations de la notice

412

Téléchargements de fichiers

767