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 du projet RIMEL
- Ce projet a été coordonné par :
- LORIA (Université Henri Poincaré Nancy II)
- LABRI (Université Bordeaux I) et CLEARSY
Le projet RIMEL
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
Thématiques
Liées à cet référence
Liées à cet référence
