The RIMEL
(incremental refinement of event models) project was selected by the Agence
National de la Recherche in the context of the 2006 edition of the “Security
and Information Technology” program.
This three year project,
- coordinated by LORIA (Université
Henri Poincaré Nancy I)
- and associating LABRI (Université
Bordeaux I) and ClearSy,
mainly involves the refinement
of event models and the systematization of this technique in the context of
targeted applications, specifically the design of algorithms or distributed
information systems.
The systematization of this
technique is based on the development of conceptual schemes referred to as
development patterns requiring validation by proof (proven development
patterns).
The organization of this project is based on the following:
-
Refinement theory: probabilistic refinement, refinement integrating time, consideration of the fatality
constraint
- Proof-based design patterns: formal
system engineering methodology
- Self-healing systems and distributed
algorithms
- Tools and distribution
