THIERRY-MIEG Yann

Docteur
Équipe : MoVe
Date de départ : 31/08/2005
https://lip6.fr/Yann.Thierry-Mieg

Direction de recherche : Fabrice KORDON

Co-encadrement : ILIÉ Jean-Michel

Techniques pour le Model-Checking de spécifications de Haut Niveau

La taille et la complexité croissante des applications –accentuée par leur caractère réparti– pose des problèmes de plus en plus aigus de fiabilité des logiciels. Le model-checking est une méthode formelle qui permet l’analyse automatique du modèle formel d’un système, à la recherche de comportements déviants de la spécification. Elle est basée sur une exploration exhaustive de l’ensemble des états accessibles d’un système. Nous proposons dans cette thèse plusieurs techniques complémentaires, permettant de lutter efficacement contre le problème d’explosion combinatoire de l’espace d’états, inhérent au model checking. Nos travaux exploitent en particulier des techniques compositionnelles et hiérarchiques, appuyés par une structure de données originale de diagrammes de décision hiérarchiques. Nous exploitons également des techniques basées sur le regroupement en classes d’équivalence des états accessibles, validés par l’analyse automatique des symétries d’un modèle. Ces techniques sont cumulées entre elles, et couplées à des méthodes d’abstraction qui permettent d’adapter la construction de l’espace d’états à la propriété à vérifier. Enfin nous proposons d’intégrer l’utilisation de ces techniques dans une méthodologie de développement qui utilise une démarche de prototypage rapide (Rapid Application Development) orientée modèle (Model Based Development), pour permettre l’utilisation effective de ces techniques dans un contexte industriel.

Soutenance : 13/12/2004

Membres du jury :

S. Haddad (Univ paris 9) Rapporteur
S. Donatelli (Univ. Turin) [Rapporteur]
A. Boujjani (Univ. Paris 7)
J-M. Couvreur (Univ. Bordeaux 1)
J-M. Ilié (Univ Paris 5)
L. Petrucci (Univ. Paris 13)
F. Kordon (Univ. Paris 6) [Directeur]

Maître de Conférences [HDR]

4 Docteurs 2009 - 2013

Publications 2002-2023

Mentions légales
Carte du site