Supervision : Fabrice KORDON

LfP : un langage de spécification pour supporter une démarche de développement par prototypage pour les systèmes répartis

Le développement rapide d'applications réparties sûres par leur conception correcte et leur implémentation conforme constitue un sujet de recherche délicat qui nécessite des solutions dans chacun de ces domaines : 1) Description d'architectures logicielles ; 2) Vérification et validation de la conception ; 3) Implémentation conforme des modèles ; 4) Méthodologies de développement.
Nos objectifs ont été de définir un langage de spécification adapté aux applications réparties afin de capturer leurs éléments caractéristiques, de les développer dans le contexte du développement par prototypage et de les déployer de manière transparente sur des architectures hétérogènes. Nous avons eu constamment à l'esprit les contraintes suivantes : - permettre la génération automatique des éléments qui assurent le contrôle réparti puisqu'il s'agit du point le plus délicat de ces systèmes, - rester compatible avec les démarches de développement de l'industrie et en particulier avec des standards comme UML (Unified Modelling Language), afin d'apporter une aide aux ingénieurs sans perturber leur travail, - supporter l'évaluation des prototypes par simulation mais aussi la vérification de leurs propriétés par utilisation des méthodes formelles,
Dans cette thèse nous proposons comme solution LfP (A langage for Prototyping) un langage de spécification ayant les capacités de description d'un ADL (Architectural Description Language) formel, compatible et complémentaire avec la notation UML. ce langage est facilement intégrable dans une démarche de développement par prototypage évolutif.

2000-2004 Publications

• 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)
• 2001
  • F. Kordon, I. Vernier‑Mounier, E. Paviot‑Adet, D. Regep : “Formal Verification of Embedded Distributed Systems in a Prototyping Approach”, International Workshop on Engineering Automation for Software Intensive System Integration, Monterey, United States (2001)
  • D. Regep, F. Kordon : “LfP : A specification language for rapid prototyping of concurrent systems”, 12^th IEEE International Workshop on Rapid System Prototyping, Monterey, United States, pp. 90-96, (IEEE) (2001)
• 2000
  • D. Regep, F. Kordon : “Using MetaScribe to prototype an UML to C++/Ada95 code generator”, 11^th IEEE International Workshop on Rapid System Prototyping, Paris, France, pp. 128-133, (IEEE) (2000)