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é au développement en B événementiel, supportant de façon robuste le raffinement de modèles et la preuve mathématique. Elle a été créée à Zürich 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 cinq méthodes formelles, liées par leurs approches basées sur la construction d’états et de machines : Abstract State Machines (ASM), Alloy, B, Vienna Development Method (VDM) et Z.
Systerel a participé à l’organisation de tous les workshops « RODIN User and Developer Workshop ».