Rodin Industry Day 2006

Rigorous Open Development Environment for Complex Systems

Aix en Provence, France
Wednesday 5 April 2006

Hotel Aquabella
Thermal Baths

 

Hotel Aquabella
2, rue des étuves
Aix en Provence
France
Tél: +33 (0)4 42 99 15 00

 

Technology and information early access

Last update: April 24 2006


The overall objective of the RODIN project is the creation of a methodology and supporting open tool platform for the rigourous development of dependable complex software systems and services.
The Industry Day, organised at the mid-term of the project, was based on a bidirectional exchange of information at the occasion of presentations and tools demonstrations.

Presentations are available for download, for each presenter:

Title

Resources

 Welcome, presentation of RODIN (Alexander Romanovski)

introduction talk

Demonstrations of early prototypes of tools and plugins

 

  • The Rodin Platform (Jean Raymond Abrial, Laurent Voisin)

slides
bank example (init)
bank example (final)

  • Plugins (Michael Butler)

introduction to plugins

  • ProB animator / model checker (Michael Leuschel)

 

  • Mobility Plugin (Apostolos Niaouris)

 

  • U2B: combining UML and B (Colin Snook)

slides
screenshots

  • CompoSys: documentation generator (Thierry Lecomte)

slides

  • Brama: graphical animation of B models (Thierry Lecomte)

slides

Presentations from IIG members and associates:

 

  • Validation (Antoine Requet - GemAlto)

slides

  • Automatic test generation from B model (Fabrice Bouquet - LIFC/Lerios)

slides

  • From requirements model to formal specification in B (Christophe Ponsard - CETIC)

slides

  • To B confirmed (Marc Benveniste - STMicroelectronics)

slides