Accès direct au contenu

Lurpa

Version anglaise

aide

LURPA > Publications > Thèses et HdR > Thèses

Validation fonctionnelle de contrôleurs logiques : contribution au test de conformité et à l'analyse en boucle fermée

le 4 décembre 2014

Thèse d'Anaïs GUIGNARD (LURPA) Domaine : Electronique - Electrotechnique - Automatique

photo-guignard.jpg

photo-guignard.jpg

Jury



Mots-clés : Validation fonctionnelle, Automate Programmable Industriel, Machine de Mealy, Test de conformité, Validation en boucle fermée, Modèles formels

Résumé : Les travaux présentés dans ce mémoire de thèse s'intéressent à la validation fonctionnelle de contrôleurs logiques par des techniques de test de conformité et de validation en boucle fermée. Le modèle de spécification est décrit dans le langage industriel Grafcet et le contrôleur logique est supposé être un automate programmable industriel (API) mono-tâche. Afin de contribuer à ces techniques de validation fonctionnelle, ces travaux présentent :
- Une extension d'une méthode de formalisation du Grafcet par traduction sous la forme d'une machine de Mealy. Cette extension permet de produire un modèle formel de la spécification lorsque le Grafcet est implanté selon un mode d'interprétation sans recherche de stabilité, qui n'est pas préconisé dans la norme IEC 60848 mais largement utilisé dans les applications industrielles.
- Une contribution au test de conformité par la définition d'un ensemble de relations de conformité basées sur l'observation de plusieurs cycles d'exécution pour chaque pas de test.
- Une contribution à la validation en boucle fermée par la définition d'un critère de fin d'observation et par une technique d'identification en boite grise pour la construction et l'analyse du système en boucle fermée.

Type :
Thèses - HDR

Laboratoire d'accueil

Ecole doctorale

Mémoire de thèse

TamponHal

Recherche d'une actualité

Recherche d'une actualité