Raffinement Incrémental de Modèle EvénementieL (RIMEL)
Le projet RIMEL a été retenu par l’Agence Nationale de la Recherche, dans le cadre de l’édition 2006 du programme « sécurité et informatique »
- DURÉE : 3 ans
- site internet RIMEL
- CE PROJET A ÉTÉ COORDONNÉ :
- Par le LORIA (Université Henri Poincaré Nancy II)
- Associant le LABRI (Université Bordeaux I) et CLEARSY
Ce projet 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
