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

Représentations formelles efficaces pour l'aide à la certification de contrôleurs logiques industriels

Résumé : Ce mémoire propose des représentations formelles pour contrôleurs logiques industriels qui visent à améliorer le passage à l'échelle des techniques de model-checking. Ces vérifications, focalisées sur les propriétés extrinsèques, permettent d'améliorer la sûreté et aident à la certification de ces contrôleurs. Premièrement, la représentation de contrôleurs ne comprend que les états qui sont pertinents pour la preuve de propriétés et minimise le nombre de variables qui caractérisent chaque état. Puis une représentation de chaque bloc fonctionnel, décrit dans un nouveau langage formel adapté à nos besoins, est incluse dans la représentation du contrôleur. Ces représentations permettent la vérification formelle du contrôleur, même avec des programmes de grande taille. La comparaison avec de précédentes représentations, ainsi que leur utilisation dans un contexte industriel, valide nos représentations et quantifie leur efficacité.
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-00202652
Contributeur : Vincent Gourcuff <>
Soumis le : lundi 7 janvier 2008 - 15:56:57
Dernière modification le : jeudi 9 février 2017 - 15:56:13
Document(s) archivé(s) le : mardi 13 avril 2010 - 16:37:49

Identifiants

  • HAL Id : tel-00202652, version 1

Collections

Citation

Vincent Gourcuff. Représentations formelles efficaces pour l'aide à la certification de contrôleurs logiques industriels. Automatique / Robotique. École normale supérieure de Cachan - ENS Cachan, 2007. Français. ⟨tel-00202652⟩

Partager

Métriques

Consultations de la notice

354

Téléchargements de fichiers

1369