Systerel is the technical leader of the Rodin platform, ensuring its maintenance and ongoing evolution.
The activities developed around the platform enable us to consolidate and further develop our expertise in the Eclipse ecosystem and in Event-B modeling.
What is the Rodin Platform?
The Rodin platform is the dedicated tool for Event-B modelling, robustly supporting model refinement and mathematical proof.
It was created in Zurich as part of the European FP7 project of the same name between 2004 and 2007. Systerel led its corrective and evolutionary maintenance from 2007 to 2025. Since then, maintenance has been carried out by IRIT and CentraleSupélec. It is an open-source platform based on the Eclipse IDE.
Use cases at Systerel
Formal modeling and proof of the safety of systems, such as:
- RATP Directive 41 for metro interlockings
- CBTC metro trackside systems
- HELISAR helicopter hoist system
ABZ conference and Rodin workshop
Systerel is a member of the program committee of the ABZ conferences, which are dedicated to the cross-fertilization of several formal methods, linked by their state-based and machine-based approaches: Abstract State Machines (ASM), Alloy, Classical B, Event-B, Temporal Logic of Actions (TLA), Vienna Development Method (VDM), and the Z notation.
Systerel has participated in the organization of all “Rodin User and Developer Workshop” events.
Publications
Systerel actively contributes to the dissemination of work carried out around the Rodin platform and formal methods.
Our teams regularly publish in leading international conferences and workshops, sharing feedback, methodological advances, and technical contributions.
All of our publications are available on our blog.