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).
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
