Difference between pages "Rodin Platform Releases" and "Rodin Workshop 2013"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Tommy
 
imported>WikiSysop
 
Line 1: Line 1:
−
{{TOCright}}
+
==4th Rodin User and Developer Workshop==
  
−
== Current Release ==
+
''June 10-11, 2013''
  
−
{{SimpleHeader}}
+
Turku, Finland
−
|-
 
−
! scope=col | Version || Release Date
 
−
|-
 
−
|[[Rodin Platform 2.4 Release Notes|2.4]] || 2012/02/03
 
−
|}
 
  
−
== Current plug-ins ==
+
http://wiki.event-b.org/index.php/Rodin_Workshop_2013
−
{{:Rodin_Platform_2.4_External_Plug-ins}}
 
  
−
== Upcoming Releases ==
+
The purpose of the Rodin workshop
 +
is to bring together existing and potential users and developers of the Rodin
 +
toolset and to foster a broader community of Rodin users and developers.
 +
For Rodin users the workshop will provide an opportunity to share tool
 +
experiences and to gain an understanding of on-going tool developments.
 +
For plug-in developers the workshop will provide an opportunity to
 +
showcase their tools and to achieve better coordination of tool
 +
development effort.
  
−
{{SimpleHeader}}
+
Preceding Rodin User and Developer Workshops were held at the University of
−
|-
+
Southampton, the University of Düsseldorf and the University of Paris-Est Créteil.
−
! scope=col | Version || Scheduled Release Date
+
The fourth Rodin workshop will be collocated with the conference iFM 2013: http://www.it.abo.fi/iFM2013/
−
|-
 
−
|[[Rodin Platform 2.5 Release Notes|2.5]] || 2012/04/30
 
−
|-
 
−
|[[Rodin Platform 2.6 Release Notes|2.6]] || end July 2012
 
−
|-
 
−
| 2.7/3.0 || end October 2012
 
−
|-
 
−
| [[Rodin Platform 3.0 Release Notes|3.0]] (if 2.7 is released) || end January 2013
 
−
|}
 
  
−
== Previous Releases ==
+
==Registration==
  
−
{{SimpleHeader}}
+
Registration for the Rodin 2013 Workshop is open:
−
|-
 
−
! scope=col | Version || Release Date
 
−
|-
 
−
|[[Rodin Platform 2.3 Release Notes|2.3]] || 2011/10/04
 
−
|-
 
−
|[[Rodin Platform 2.2.2 Release Notes|2.2.2]] || 2011/08/01
 
−
|-
 
−
|[[Rodin Platform 2.2 Release Notes|2.2]] || 2011/06/01
 
−
|-
 
−
|[[Rodin Platform 2.1.1 Release Notes|2.1.1]] || 2011/03/15
 
−
|-
 
−
|[[Rodin Platform 2.1 Release Notes|2.1]] || 2011/02/08
 
−
|-
 
−
|[[Rodin Platform 2.0.1 Release Notes|2.0.1]] || 2010/11/16
 
−
|-
 
−
|[[Rodin Platform 2.0 Release Notes|2.0]] || 2010/10/08
 
−
|-
 
−
|[[Rodin Platform 1.3.1 Release Notes|1.3.1]] || 2010/06/15
 
−
|-
 
−
|[[Rodin Platform 1.3 Release Notes|1.3]] || 2010/05/05
 
−
|-
 
−
|[[Rodin Platform 1.2 Release Notes|1.2]] || 2010/02/05
 
−
|-
 
−
|[[Rodin Platform 1.1 Release Notes|1.1]] || 2009/10/15
 
−
|-
 
−
|[https://sourceforge.net/projects/rodin-b-sharp/files/Core_%20Rodin%20Platform/1.0/ 1.0] || 2009/07/01
 
−
|}
 
  
−
== Release Policy ==
+
http://www.it.abo.fi/iFM2013/rodin_registration.php
−
* The Rodin platform is released every 3 months.
 
−
* The code is frozen during the 2 weeks preceding each release.
 
−
* Each release is announced on the [[Mailing_lists | Devel]] mailing list. Two days later, the information is broadcasted on the [[Mailing_lists | Announce]] and [[Mailing_lists | User]] mailing lists.
 
−
* The [http://wiki.eclipse.org/index.php/Version_Numbering Eclipse versioning policy] is enforced.
 
−
* The optional plug-ins shall strive to meet the release date: the release will not be held back.
 
−
* The news related to the optional plug-ins are spread on the [[Mailing_lists | Announce]] and [[Mailing_lists | User]] mailing lists.
 
−
* A wiki page is dedicated to each release. Select a version from the lists below to see the corresponding release notes.
 
−
* The maintainers of the optional plug-ins shall update the ''External Plug-ins'' page of the concerned release once they have ensured the compatibility of their plug-ins with the Rodin platform.
 
−
: To indicate that the plug-in is released and compatible with the current platform, please use the following template:
 
−
<nowiki>| [[Image:My_plug-in_logo|30px]] || [[My plug-in info page link | My plug-in]] || version || <span style="color:#006400">available</span> || || contact address || Additional notes about the plugin</nowiki>
 
−
: To indicate that the plug-in is not yet available and will be released at a later date, please use the following template:
 
−
<nowiki>| [[Image:My_plug-in_logo|30px]] || [[My plug-in info page link | My plug-in]] || version || <span style="color:#8B4513"> not available</span> || expected_release_date || contact address || Additional notes</nowiki>
 
−
: To indicate that the plug-in is no longer maintained for the next version:
 
−
  <nowiki>| [[Image:My_plug-in_logo|30px]] || [[My plug-in info page link | My plug-in]] || version || <span style="color:#FF0000">not maintained</span> || || contact address|| Additional notes</nowiki>
 
  
−
[[Category:Rodin Platform Release Notes]]
+
==Programme==
−
[[Category:Rodin Platform]]
+
 
−
[[Category:Release Notes]]
+
===Monday 10 June===
 +
 
 +
====14:00 - 15:30 Tutorials====
 +
 
 +
* Colin Snook: ''UML-B tutorial''
 +
 
 +
* Jens Bendisposto, Joy Clark, Ivaylo Dobrikov, Philipp K ̈orner, Sebastian Krings, Lukas Ladenberger, Michael Leuschel and Daniel Plagge: ''ProB Tutorial''
 +
 
 +
===Tuesday 11 June===
 +
 
 +
====09:00 - 10:30 Session 1====
 +
 
 +
*Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis: ''Supporting Formal Modelling in Event-B with Safety Cases''
 +
 
 +
*Tsutomu Kobayashi, Fuyuki Ishikawa, and Shinichi Honiden: ''Systematic Planning of Refinement in Event-B''
 +
 
 +
*Colin Snook, Michael Butler: ''iUML-B Diagram Developments''
 +
 
 +
*Neil Evans, Neil Grant, Helen Marshall, James Sharp1 Michael Butler, John Colley, Andy Edmunds, Colin Snook: ''The Co-Design Architecture (CODA) Methodology and Plug-in Tool, Progress Update''
 +
 
 +
====10:30 - 11:00 Break====
 +
 
 +
====11:00 - 12:30 Session 2====
 +
                 
 +
* Laurent Voisin and Minh-Thang Khuu: ''Domain Specific Event-B Modeling''
 +
 
 +
* Ulyana Tikhonova, Maarten Manders, Mark van den Brand, Suzana Andova, and Tom Verhoeff: ''Event-B for Defining the Dynamic Semantics of a DSL''
 +
 
 +
* Jens Bendisposto, Philipp Korner and Michael Leuschel: ''Parallel Model Checking of B Specifications''
 +
 
 +
* Sebastian Krings, Jens Bendisposto, Ivaylo Dobrikov and Michael Leuschel: ''B Constrained''
 +
 
 +
====12:30 - 13:30 Lunch====
 +
 
 +
====13:30 - 14:30 Session 3====
 +
                 
 +
* Invited Talk
 +
 
 +
====14:30 - 15:15 Session 4====
 +
 
 +
* Thai Son Hoang: ''Generic Instantiation and Tool Support''
 +
 
 +
* Alexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander Romanovsky: ''Support for Indexed Modules in Event-B''
 +
 
 +
====15:15 - 15:45 Break====
 +
 
 +
====15:45 - 17:15 Session 5====
 +
 
 +
* Andy Edmunds: ''Developments in Code Generation Tools for Event-B''
 +
 
 +
* Sergey Ostroumov , Leonidas Tsiopoulos , Juha Plosila , Kaisa Sere: ''Derivation of Structural VHDL from Component-Based Event-B Models''
 +
 
 +
* Vitaly Savicks, Michael Butler, Jens Bendisposto, John Colley: ''Co-simulation of Event-B and Continuous Models in Rodin''
 +
 
 +
* Adisak Intana, Michael R. Poppleton, and Geoff V. Merrett: ''Proof-based formal methods for WSN development with Simulation Approach''
 +
 
 +
 
 +
==Organisers==
 +
 
 +
Michael Butler, University of Southampton
 +
 
 +
Stefan  Hallerstede, Aarhus University
 +
 
 +
Thierry Lecomte, ClearSy
 +
 
 +
Michael Leuschel, University of Düsseldorf
 +
 
 +
Alexander Romanovsky, Newcastle University
 +
 
 +
Laurent Voisin, Systerel
 +
 
 +
Marina Walden, Åbo Akademi University

Revision as of 04:46, 13 May 2013

4th Rodin User and Developer Workshop

June 10-11, 2013

Turku, Finland

http://wiki.event-b.org/index.php/Rodin_Workshop_2013

The purpose of the Rodin workshop is to bring together existing and potential users and developers of the Rodin toolset and to foster a broader community of Rodin users and developers. For Rodin users the workshop will provide an opportunity to share tool experiences and to gain an understanding of on-going tool developments. For plug-in developers the workshop will provide an opportunity to showcase their tools and to achieve better coordination of tool development effort.

Preceding Rodin User and Developer Workshops were held at the University of Southampton, the University of Düsseldorf and the University of Paris-Est Créteil. The fourth Rodin workshop will be collocated with the conference iFM 2013: http://www.it.abo.fi/iFM2013/

Registration

Registration for the Rodin 2013 Workshop is open:

http://www.it.abo.fi/iFM2013/rodin_registration.php

Programme

Monday 10 June

14:00 - 15:30 Tutorials

  • Colin Snook: UML-B tutorial
  • Jens Bendisposto, Joy Clark, Ivaylo Dobrikov, Philipp K ̈orner, Sebastian Krings, Lukas Ladenberger, Michael Leuschel and Daniel Plagge: ProB Tutorial

Tuesday 11 June

09:00 - 10:30 Session 1

  • Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis: Supporting Formal Modelling in Event-B with Safety Cases
  • Tsutomu Kobayashi, Fuyuki Ishikawa, and Shinichi Honiden: Systematic Planning of Refinement in Event-B
  • Colin Snook, Michael Butler: iUML-B Diagram Developments
  • Neil Evans, Neil Grant, Helen Marshall, James Sharp1 Michael Butler, John Colley, Andy Edmunds, Colin Snook: The Co-Design Architecture (CODA) Methodology and Plug-in Tool, Progress Update

10:30 - 11:00 Break

11:00 - 12:30 Session 2

  • Laurent Voisin and Minh-Thang Khuu: Domain Specific Event-B Modeling
  • Ulyana Tikhonova, Maarten Manders, Mark van den Brand, Suzana Andova, and Tom Verhoeff: Event-B for Defining the Dynamic Semantics of a DSL
  • Jens Bendisposto, Philipp Korner and Michael Leuschel: Parallel Model Checking of B Specifications
  • Sebastian Krings, Jens Bendisposto, Ivaylo Dobrikov and Michael Leuschel: B Constrained

12:30 - 13:30 Lunch

13:30 - 14:30 Session 3

  • Invited Talk

14:30 - 15:15 Session 4

  • Thai Son Hoang: Generic Instantiation and Tool Support
  • Alexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander Romanovsky: Support for Indexed Modules in Event-B

15:15 - 15:45 Break

15:45 - 17:15 Session 5

  • Andy Edmunds: Developments in Code Generation Tools for Event-B
  • Sergey Ostroumov , Leonidas Tsiopoulos , Juha Plosila , Kaisa Sere: Derivation of Structural VHDL from Component-Based Event-B Models
  • Vitaly Savicks, Michael Butler, Jens Bendisposto, John Colley: Co-simulation of Event-B and Continuous Models in Rodin
  • Adisak Intana, Michael R. Poppleton, and Geoff V. Merrett: Proof-based formal methods for WSN development with Simulation Approach


Organisers

Michael Butler, University of Southampton

Stefan Hallerstede, Aarhus University

Thierry Lecomte, ClearSy

Michael Leuschel, University of Düsseldorf

Alexander Romanovsky, Newcastle University

Laurent Voisin, Systerel

Marina Walden, Åbo Akademi University

Retrieved from ‘https://wiki.event-b.org/index.php?title=Rodin_Platform_Releases&oldid=8954’