Accès direct au contenu

DGM

Version anglaise

aide

DGM > Recherche

Test de conformité de contrôleurs logiques spécifiés en Grafcet

le 8 juillet 2011

Thèse de Julien PROVOST (LURPA) Domaine : Electronique - Electrotechnique - Automatique

Julien PROVOST

Julien PROVOST

Jury
  • Janan ZAYTOON, Professeur à l'Université de Reims, Président
  • Hassane ALLA, Professeur à l'Université de Grenoble, Rapporteur
  • Thierry JÉRON, Directeur de recherche à l'INRIA Rennes, Rapporteur
  • Franck CORBIER, Docteur Ingénieur R&D Geensoft/Dassault Systèmes, Examinateur
  • Jean-Marc FAURE, Professeur à SUPMECA, Directeur de thèse
  • Jean-Marc ROUSSEL, Maître de conférences à l'ENS Cachan, Encadrant


Mots-clés : Test de conformité, Grafcet, Contrôleurs logiques, Automate Programmable Industriel, Transformation de modèle, SIC-testabilité

Résumé

Les travaux présentés dans ce mémoire de thèse s'intéressent à la génération et à la mise en oeuvre de séquences de test pour le test de conformité de contrôleurs logiques. Dans le cadre de ces travaux, le Grafcet (IEC 60848 (2002)), langage de spécification graphique utilisé dans un contexte industriel, a été retenu comme modèle de spécification. Les contrôleurs logiques principalement considérés dans ces travaux sont les automates programmables industriels (API) Afin de valider la mise en oeuvre du test de conformité pour des systèmes de contrôle/commande critiques, les travaux présentés proposent :

  • Une formalisation du langage de spécification Grafcet. En effet, l'application des méthodes usuelles de vérification et de validation nécessitent la connaissance du comportement à partir de modèles formels. Cependant, dans un contexte industriel, les modèles utilisés pour la description des spécifications fonctionnelles sont choisis en fonction de leur pouvoir d'expression et de leur facilité d'utilisation, mais ne disposent que rarement d'une sémantique formelle.
  • Une étude de la mise en oeuvre de séquences de test et l'analyse des verdicts obtenus lors du changement simultané de plusieurs entrées logiques. Une campagne d'expérimentation a permis de quantifier, pour différentes configurations de l'implantation, le taux de verdicts erronés dus à ces changements simultanés.
  • Une définition du critère de SIC-testabilité d'une implantation. Ce critère, déterminé à partir de la spécification Grafcet, définit l'aptitude d'une implantation à être testée sans erreur de verdict. La génération automatique de séquences de test minimisant le risque de verdict erroné est ensuite étudiée.
Type :
Thèses - HDR
Lieu(x) :
Campus de Cachan

Laboratoire d'accueil

Ecole doctorale


Logo EDSP

Mémoire de thèse

TamponHal

Page professionnelle actuelle

Recherche d'une actualité

Recherche d'une actualité