Supervision : 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.

2002-2006 Publications

• 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”, thesis, defence 09/28/2005, supervision 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)