Direction de recherche : Fabrice KORDON

Développement par prototypage et génération de code à partir de LfP, un langage de modélisation de haut niveau

Un grand nombre d'applications informatiques fonctionnent de manière réparties et coopérative sur un ensemble de postes dédiés à une tâche commune. Ces applications sont de plus en plus fréquemment hétérogènes, étant déployées à la foir sur des serveurs de grande capacité et sur des terminaux légers de type PDA. Outre les besoins fonctionnels, elles doivent également prendre en compte des éléments non-fonctionnels tels que des impératifs de sécurité, ou la gestion de topologies particulières. Dans ce contexte, nous nous intéressons au développement et au déploiement d'applications réparties fiables, c'est à dire ayant un comportement déterministe.

Soutenance : 28/09/2005

Membres du jury :

MALENFANT Jacques (Professeur à l'UPMC)
PAUTET Laurent (Professeur à l'ENST) [Rapporteur]
ESTRAILLIER Pascal (Professeur à l'Université de la Rochelle) [Rapporteur]
KORDON Fabrice (Professeur à l'UPMC)
GERVAIS Marie-Pierre (Professeur à l'Université Paris X)
BUCHS Didier (Professeur à l'Université de Genève)
COUVREUR Jean-Michel (Professeur à l'Université d'Orléan)
VELU Jean-Pierre (Expert de la direction technique SAGEM)

Publications 2002-2006

• 2006
  • F. Gilliers, F. Kordon, Y. Thierry‑Mieg : “Processus de fabrication de systèmes répartis centré sur un modèle : l’expérience du projet MORSE”, La Revue de l'électricité et de l'électronique, vol. 3, pp. 102-111, (Société de l'Électricité, de l'Électronique et des Technologies de l'Information et de la Communication) (2006)
• 2005
  • F. Gilliers : “Développement par prototypage et génération de code à partir de LfP, un langage de modélisation de haut niveau”, soutenance de thèse, soutenance 28/09/2005, direction de recherche Kordon, Fabrice (2005)
• 2004
  • F. Gilliers, F. Bréant, D. Poitrenaud, F. Kordon : “Model Checking of Highlevelobject Oriented Specifications : The LfP Experience”, 3^rd Workshop on Modelling of Objects, Components, and Agents (MOCA '04), Aarhus, Denmark, pp. 149-168 (2004)
  • F. Gilliers, F. Kordon, J.‑P. Velu : “Generation of Distributed Programs in their Target Execution Environment”, 15^th IEEE International Workshop on Rapid System Prototyping, Geneva, Switzerland, pp. 127-134, (IEEE Computer Society) (2004)
  • F. Bréant, J.‑M. Couvreur, F. Gilliers, F. Kordon, I. Mounier, E. Paviot‑Adet, D. Poitrenaud, D. Regep, G. Sutre : “Modeling and Verifying Behavioral Aspects”, chapter in Formal Methods for Embedded Distributed Systems - How to master the complexity, pp. 171-211, (Kluwer Academic Publishers), (ISBN: 1-4020-7996-6) (2004)
• 2003
  • D. Regep, Y. Thierry‑Mieg, F. Gilliers, F. Kordon : “Modélisation et vérification de systèmes répartis :une approche intégrée avec LfP”, Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Rennes, France (2003)
• 2002
  • F. Gilliers, F. Kordon, D. Regep : “A Model Based Development Approach for Distributed Embedded Systems”, 2002 Monterey Workshop : Radical Innovations of Software and Systems Engineering in the Future, vol. 2941, Lecture Notes in Computer Science, Venice, Italy, pp. 137-151, (Springer) (2002)