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.

La plate-forme dans le projet ADVANCE

Dans le cadre du projet ADVANCE, en tant que maître d’œuvre sur le cœur de la plate-forme, Systerel intervient à travers des activités de :

  • Maintenance corrective
  • Développement ou amélioration
  • Conseil et formation pour les utilisateurs et les développeurs

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. Il s’agit d’une plate-forme Open Source basée sur l’IDE Eclipse.

Workshop ABZ

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 organisait le workshop de la dernière conférence dont le thème était « 6th Rodin User and Developer Workshop ».
Pour en savoir plus, cliquez ici.

Publications

Publication dans le cadre de la journée Event-B organisée par le NII (National Institute of Informatics) le 21 novembre 2016 à Tokyo : Theory Plug-in for Rodin 3.x

Télécharger notre publication