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