RIMEL

SetIn 2006

SetIn 2006

Le projet RIMEL (Raffinement Incrémental de Modèles événementiELs) a été retenu par l’Agence Nationale de la Recherche, dans le cadre de l’édition 2006 du programme « Sécurité et Informatique ».

Ce projet, d’une durée de 3 ans,

  • coordonné par le LORIA (Université Henri Poincaré Nancy I)
  • associant le LABRI (Université Bordeaux I) et ClearSy,

concerne principalement le raffinement de modèles événementiels et la systématisation de cette technique dans le cadre d’applications ciblées notamment la conception d’algorithmes ou systèmes répartis.

La systématisation de cette technique repose sur le développement de schémas conceptuels appelés patrons de développement s’appuyant sur une validation par la preuve (patrons de développement prouvés).

ANR - Agence National de la Recherche

ANR - Agence National de la Recherche

Ce projet est organisé suivant les directions suivantes :

  • théorie du raffinement : raffinement probabiliste, raffinement avec intégration du temps, prise en compte de contrainte de fatalité
  • proof-based design patterns : méthodologie d’ingénierie système formelle
  • self-healing systems et algorithmes répartis
  • outils et diffusion

Lien

Les commentaires sont fermés.