The Rodin Roadmap Commi.ee Laurent Voisin 2018-11-10 Development - - PowerPoint PPT Presentation

The Rodin Roadmap Commi.ee

2018-11-10

Laurent Voisin

The present document is the property of Systerel and cannot be reproduced or disclosed without Systerel prior wri.en consent.

Development of the Rodin plaDorm

Development used to take place in European projects:

RODIN (2004-2007) DEPLOY (2008-2012) ADVANCE (2012-2014)

Then switched to naSonal projects But missing coordinaSon between various stakeholders Hence the Rodin roadmap commi.ee

2

The present document is the property of Systerel and cannot be reproduced or disclosed without Systerel prior wri.en consent.

The Rodin Commi.ee

IniSal composiSon

• Jean-Raymond Abrial
• Yamine Aït Ameur (IRIT, Toulouse, France)
• Michael Butler (University of Southampton, UK)
• Michael Leuschel (University of Düsseldorf, Germany)
• Dominique Méry (Université de Lorraine, France)
• Laurent Voisin (Systerel, France)

Two meeSngs so far

• June 2018: during ABZ 2018 at Southampton
• September 2018: Paris

Purpose: Coordinate acSviSes of all people willing to contribute to

• The core plaDorm
• The core plug-ins: Provers, theory plug-in, interfaces, etc.

The present document is the property of Systerel and cannot be reproduced or disclosed without Systerel prior wri.en consent.

Future of the Rodin plaDorm

We wish to have an open parScipaSon to the Rodin ecosystem Any kind of help is very welcome:

• DocumentaSon (e.g., Event-B wiki)
• h.p://wiki.event-b.org/index.php/Main_Page
• Answer to quesSons on the Rodin mailing lists
• rodin-b-sharp-user@lists.sourceforge.net
• rodin-b-sharp-devel@lists.sourceforge.net
• Case studies, recipes, modelling pa.erns, …
• Code contribuSons
• Building project consorSums, student exchange, training, ...

Just let us know what you are willing to do You can even join the commi.ee to help us coordinate acSons Next meeSng planned in March 2019

You are welcome to join anySme