DAY’S PROGRAM – 10 september 2007 – Paris
This second industrial day concludes the Rodin project and provides an opportunity to present the formal Rodin modelling platform, some applicable plug-ins which broaden its capabilities, as well as some industrial applications achieved outside the RODIN project.
The language used is English.
PROGRAM
| Morning : Welcome Coffee (9h30 – 10h00) | ||
|---|---|---|
| Morning : Presentation of the platform (10h00 – 12h30) | ||
| Introduction to Rodin | Alexander Romanovski |  |
| Rodin Methods to develop fault tolerant systems | Elena Troubitsyna | |
| Rodin platform | Jean Raymond Abrial | |
| Rodin platform demonstration | Jean Raymond Abrial | |
| Introduction to Rodin plug-ins | Michael Butler | |
| Colin Snook | ||
| Mobility | Apostolos Niaouris | |
| Pro B | Michael Leuschel | |
| Brama | Antoine REQUET | |
| Lunch : Free buffet (12h30 – 14h00) | ||
| Afternoon : Industrial use of Rodin (14h00 – 17h00) | ||
| From Grafcet to B : An experiment (with mixed results) | Sébastien Loison (RATP), Louis Mussat (ClearSy) | |
| Validation of Microkernel – Based Systems B Models with Brama | Sophie Gabrielle (STMicroelectronics) Julien Millot (ClearSy) |
|
| Towards the Formal Verification of a Java Processor in Event-B | Neil Evans (Atomic Weapons Establishement) | |
| Modeling Platform Screen Doors Systems | Florent Patin (ClearSy) | |
| Modeling an Interlocking System with the Rodin Platform | Christophe Métayer (Systérel) Laurent Voisin |
|
English
Français 
