LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Actualité » Doctorants

THIERRY-MIEG Yann

Docteur
Équipe : MoVe
Maître de Conférences [HDR]
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 - 10h - Site Scott - salle C.044
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]

4 Docteurs 2009 - 2013

Publications 2002-2020

 Mentions légales
Carte du site |