---
abstract: 'The RODIN platform is an Open Source extensible Eclipse-based IDE for Event-B that provides effective support for refinement and mathematical proof. RODIN emerged out of the RODIN FP6 Project (2004-2007). It is still actively supported by the European Commission through the Deploy FP7 project (2008-2012) and the FP7 ADVANCED project (2011-2014). Over the years RODIN has known a growing success from a usage point of view, as show by its download statistics on figure 1. However in order to assess the long term sustainability of RODIN, it is important to pay a closer look at key Open Source characteristics of the project and of the community that formed around it.'
accompaniment: []
book_title: ~
commentary: ~
completion_time: ~
composition_type: ~
conductors_id: []
conductors_name: []
contact_email: ~
copyright_holders: []
corp_creators: []
creators_id:
  - christophe.ponsard@cetic.be
  - jacques.flamand@cetic.be
  - jcd@cetic.be
creators_name:
  - family: Ponsard
    given: Christophe
    honourific: ''
    lineage: ''
  - family: Flamand
    given: Jacques
    honourific: ''
    lineage: ''
  - family: Deprez
    given: Jean-Christophe
    honourific: ''
    lineage: ''
data_type: ~
date: 2012-02-29
date_type: published
datestamp: 2012-03-15 09:44:26
department: ~
dir: disk0/00/00/03/77
divisions: []
edit_lock_since: ~
edit_lock_until: 0
edit_lock_user: ~
editors_id: []
editors_name: []
eprint_status: archive
eprintid: 377
event_dates: 28-28 February 2012
event_location: Fontainebleau
event_title: Rodin User and Developer Workshop 2012
event_type: workshop
exhibitors_id: []
exhibitors_name: []
fileinfo: application/pdf;http://deploy-eprints.ecs.soton.ac.uk/377/1/CETIC%2DFedEvent%2DRodin%2DAssessment%2DV1.pdf
full_text_status: public
funders: []
id_number: ~
importid: ~
institution: ~
isbn: ~
ispublished: pub
issn: ~
item_issues_comment: []
item_issues_count: ~
item_issues_description: []
item_issues_id: []
item_issues_reported_by: []
item_issues_resolved_by: []
item_issues_status: []
item_issues_timestamp: []
item_issues_type: []
keywords: ~
lastmod: 2012-03-15 09:44:26
latitude: ~
learning_level: ~
longitude: ~
lyricists_id: []
lyricists_name: []
metadata_visibility: show
monograph_type: ~
note: ~
num_pieces: ~
number: ~
official_url: http://wiki.event-b.org/index.php/Rodin_Workshop_2012
output_media: ~
pagerange: ~
pages: ~
patent_applicant: ~
pedagogic_type: ~
place_of_pub: ~
pres_type: paper
producers_id: []
producers_name: []
projects: []
publication: ~
publisher: ~
refereed: TRUE
referencetext: ~
related_url_type: []
related_url_url: []
relation_type: []
relation_uri: []
rev_number: 9
series: ~
skill_areas: []
source: ~
status_changed: 2012-03-15 09:44:26
subjects:
  - deploy_tooldev
succeeds: ~
suggestions: ~
sword_depositor: ~
sword_slug: ~
task_purpose: ~
thesis_type: ~
title: Assessment of the Evolution of the RODIN Open Source platform
type: conference_item
userid: 34
volume: ~