Raffinement Incrémental de Modèles EvènementieLs – RIMEL

Le projet RIMEL (Raffinement Incr´emental de Mod`eles ´ev´enementiELs) concerne principalement le raffinement
de mod`eles ´ev´enementiels et la syst´ematisation de cette technique dans le cadre d'applications
cibl´ees notamment la conception d'algorithmes ou syst`emes r´epartis. La syst´ematisation de cette technique
repose sur le d´eveloppement de sch´emas conceptuels appel´es patrons de d´eveloppement s'appuyant
sur une validation par la preuve (patrons de d´eveloppement prouv´es). Le d´eveloppement du protocole
IEEE 1394 amontr´e les limites de la port´ee s´emantique du raffinement et conduit `a recercher `a int´egrer
des extensions li´ees au traitement des aspects probabilistes et des contraintes ´eventuelles de temps. Le
travail est organis´e suivant les directions scientifiques suivantes :
-Th´eorie du raffinement : raffinement probablilsite, raffinement avec int´egration de temps, prise en compte
de contrainte de fatalit´e.
-Proof-based design patterns : m´ethodologie d'ing´enierie syst`eme formelle
-Self-Healing Systems et Algorithmes R´epartis
-Outils et diffusion
Les motivations de ce projet concernent principalement l'int´egration de la preuve math´ematique dans
le processus de d´eveloppement de syst`emes informatiques pour justifier la confiance et deux domaines
d'applications sont exploit´es pour inf´erer et valider les apports m´ethodologiques du raffinement.