Soutenance de thèse de Valentin BESNARD (promo 2017) | ERIS ESEO

En ligne
Lien visible pour les participants
La date limite de clôture des inscriptions est passée.

Assistez à la soutenance de thèse de Valentin BESNARD (Promotion 2017) !

Alumni ESEO, il a poursuivi son doctorat au sein de l'équipe de recherche ERIS de l'école dans le cadre d'une thèse menée en partenariat avec le Lab-STICC de l'ENSTA-Bretagne et le département de Recherche et Développement de Davidson Consulting*.

Le public n'étant pas autorisé, vous pourrez suivre la soutenance via le canal Teams dédié accessible après inscription à cet événement. Nous vous remercions de couper vos caméras et micros, et vous recommandons également d’éviter d’utiliser le chat pendant la soutenance et les questions.

*David Olivier (Promo 2002), Directeur R&D de Davidson Consulting est à l'origine de la collaboration de la société avec l'ESEO et a personnellement collaboré au suivi de cette thèse.

Intitulé de la sa thèse

"EMI : Une approche pour unifier l'analyse et l'exécution embarquée à l'aide d'un interpréteur de modèles pilotable". 

Résumé

La complexité croissante des systèmes embarqués les expose à davantage de bogues logiciels, d'erreurs de conception et de failles de sécurité. Les besoins en vérification et en validation sont donc de plus en plus importants. 

Pour exécuter et analyser des modèles de ces systèmes, des transformations sont généralement nécessaires pour obtenir (i) le code exécutable pouvant être déployé sur une cible embarquée et (ii) des modèles d'analyse permettant d'appliquer des techniques de vérification formelle (p. ex. de model-checking). 

Cependant, ces transformations typiquement non-prouvées sont à l'origine de fossés sémantiques et nécessitent d'établir une relation d’équivalence entre le code exécutable et les modèles d'analyse afin de garantir que ce qui est exécuté est bien ce qui a été vérifié. 

Pour unifier les activités d'analyse et l'exécution embarquée de modèles, l'approche EMI (Embedded Model Interpreter) repose sur un interpréteur de modèles pilotable permettant d'utiliser un unique couple (modèle + sémantique) pour toutes les activités de développement logiciel. 

Pour évaluer cette approche, un interpréteur de modèles UML a été conçu et appliqué à différents cas d'études de systèmes embarqués afin de mettre en œuvre diverses activités d'analyse (simulation, animation, débogage, model-checking, monitoring).


Le jury sera composé de :

  • Frédéric BONIOL, Professeur des Universités, ONERA/DTIS (rapporteur)
  • Benoît COMBEMALE, Professeur des Universités, Université de Rennes 1, IRISA/INRIA (rapporteur)
  • Isabelle BORNE, Professeur des Universités, Université Bretagne Sud, IRISA (examinateur)
  • Julien DEANTONI, Maître de conférences, HDR, Université Côte d'Azur, I3S (examinateur)
  • Frédéric JOUAULT, Enseignant-Chercheur, ESEO (examinateur - Alumni ESEO - promotion 2003)
  • Philippe DHAUSSY, Enseignant-Chercheur, HDR, ENSTA Bretagne, Lab-STICC (directeur de thèse)
  • Matthias BRUN, Enseignant-Chercheur, ESEO (encadrant de thèse)
  • Ciprian TEODOROV, Enseignant-Chercheur, ENSTA Bretagne, Lab-STICC (encadrant de thèse)
  • David OLIVIER, Directeur R&D, Davidson Consulting (invité - Alumni ESEO - promotion 2002)




61 vues Visites

J'aime

Evènements ESEO
Diffusé sur : Promotion 2002 - Planck, Promotion 2003 - Raman, Promotion 2017 - de Gennes
Veuillez vous connecter pour lire ou ajouter un commentaire

Évènements suggérés

mar.

26

janv.

[Innovation et Société] Technologies + Médecine

ESEO Angers

Angers