Partenaires

Ampère

Nos tutelles

CNRS Ecole Centrale de Lyon Université de Lyon Université Lyon 1 INSA de Lyon

Nos partenaires

Ingénierie@Lyon



Rechercher


Accueil > Thèses et HDR > Thèses en 2019

18/09/2019 - Xiaoshan LU

par Laurent Krähenbühl - publié le , mis à jour le

Xiaoshan Lu soutient sa thèse le 18/09/2019 à 10:00.
Lieu : INSA de Lyon, Bâtiment St-Exupéry, salle M2B

Titre :
Contribution à l’intégration de théorie du contrôle par supervision dans l’ingénierie dirigée par les modèles

Jury :
Pascal Berruet, Professeur, Université de Bretagne Sud (Rapporteur)
Véronique Carré-Ménétrier, Professeur, Université de Reims (Rapporteur)
Eric Niel, Professeur, INSA de Lyon (Directeur de thèse)
Laurent Piétrac, Maître de Conférences HDR, INSA de Lyon (co-directeur de thèse)

Résumé :
La Théorie du Contrôle par Supervision (TCS) est l’un des paradigmes formels les plus importants pour le développement de contrôleurs dans le cadre de l’étude des systèmes à événements discrets (SED). Le grand nombre de contributions scientifiques montre que la TCS suscite un intérêt académique considérable et il a été prouvé que cette théorie était applicable dans divers domaines industriels tels que les systèmes de fabrication, les systèmes embarqués ou les systèmes de transport. Avec cette théorie, les exigences qui sont traditionnellement vérifiées postérieurement à la conception du contr ?leur sont utilisées comme données d’entrées à la génération de ce contrôleur, qui est alors juste par construction. La conséquence immédiate est que l’étape de vérification n’a plus lieu d’être, ce qui élimine aussi tous les cycles de reconception et de vérification nécessaires à la mise au point du système. Cependant, cette théorie souffre d’un manque d’intégration dans un processus global de conception dans lequel les exigences initiales sur le système à concevoir sont utilisées pour définir d’une part les exigences sur ses sous-systèmes et d’autre part les contrôleurs locaux associés. L’ingénierie dirigée par les modèles (IDM) fournit les solutions permettant de gérer les limitations de SCT. L’objectif de cette étude est de proposer un nouveau cadre pour la conception des contr ?leurs, qui intègre à la fois TCS et IDM afin de combler les lacunes du paradigme formel et du processus d’ingénierie. Dans le cadre proposé, différents diagrammes SysML sont utilisés en tant que modèles complémentaires présentant les vues indispensables du système à étudier dans le processus de modélisation globale. De plus, afin de maintenir la cohérence entre les modèles SysML et les modèles formels, des méthodes de modélisation et de vérification formelles sont proposées. Une étude de cas présentée à la fin de la thèse montre que le cadre proposé, qui fournit un processus de développement global allant de l’analyse des besoins à la mise en œuvre du contrôleur, peut parfaitement répondre aux besoins de la pratique de l’ingénierie.

Mots-clés :
Théorie du Contrôle par Supervision, l’ingénierie dirigée par les modèles, SysML, approche formelle