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.
Type de document :
Thèse
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-00348404
Contributeur : Jean-Marc Faure Connectez-vous pour contacter le contributeur
Soumis le : jeudi 18 décembre 2008 - 17:27:56
Dernière modification le : lundi 15 février 2021 - 10:47:55
Archivage à long terme le : : mardi 8 juin 2010 - 17:51:53

Identifiants

  • HAL Id : tel-00348404, version 1

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

375

Téléchargements de fichiers

409