Savoir-faire

RIMEL


RAFFINEMENT INCRÉMENTAL DE MODÈLE ÉVÉNEMENTIEL

Rimel : Raffinement incrémental de modèles événementiels


Projet


> DURÉE : 3 ans
> CE PROJET A ÉTÉ COORDONNÉ :
– Par le LORIA (Université Henri Poincaré Nancy II)
– Associant le LABRI (Université Bordeaux I) et ClearSy

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"


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

LIEN : Site du projet RIMEL