Systerel est le leader technique de la plate-forme RODIN en assurant sa maintenance et ses évolutions. Les activités développées autour de la plate-forme nous permettent de consolider et développer notre expertise dans l’écosystème Eclipse et la modélisation en B événementiel.
Qu’est-ce que plate-forme RODIN ?
La plate-forme RODIN est l’outil dédié à la modélisation en B événementiel, supportant de façon robuste le raffinement de modèles et la preuve mathématique.
Elle a été créée à Zurich lors du projet européen (FP7) éponyme entre 2004 et 2007. Systerel a piloté sa maintenance évolutive et corrective de 2007 à 2025. Depuis, la maintenance est assurée par l’IRIT et Centrale-Supelec. Il s’agit d’une plate-forme Open Source basée sur l’IDE Eclipse.
Cas d’usage à Systerel
Modélisation et preuve formelle de la sécurité de systèmes tels que :
- Directive 41 de la RATP pour les interlockings métro
- Sol métro CBTC
- Treuil hélicoptère HELISAR
Conférence ABZ et workshop RODIN
Systerel est membre du comité de programme des conférences ABZ, ces conférences sont dédiées à l’enrichissement mutuel de plusieurs méthodes formelles, liées par leurs approches basées sur des états ou des machines : Abstract State Machines (ASM), Alloy, méthode B, B événementiel, Temporal Logic of Actions (TLA), Vienna Development Method (VDM) et la notation Z.
Systerel a participé à l’organisation de tous les workshops « RODIN User and Developer Workshop ».
Publications
Systerel contribue activement à la diffusion des travaux menés autour de la plate-forme RODIN et des méthodes formelles.
Nos équipes publient régulièrement dans des conférences et workshops internationaux de référence, afin de partager retours d’expérience, avancées méthodologiques et contributions techniques.
L’ensemble de nos publications est accessible sur notre blog.