The Rodin Roadmap Commi.ee Laurent Voisin 2018-11-10
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 The present document is the property of Systerel and cannot be reproduced or disclosed without Systerel prior wri.en consent.
You are welcome to join anySme
Recommend
More recommend
