Programme de la Journée – 10 septembre 2007 – Paris
Cette seconde journée industrielle conclut le projet Rodin et est l’occasion de présenter la plateforme de modélisation formelle RODIN, des plugins applicatifs qui étendent ses capacités, ainsi que des applications industrielles réalisées en dehors du projet RODIN.
La langue utilisée est l’anglais.
Programme
| Matin : Café d’Accueil (9h30 – 10h00) | ||
|---|---|---|
| Matin : Présentation de la plateforme (10h00 – 12h30) | ||
| Introduction à Rodin | Alexander Romanovski |  |
| Méthodes Rodin pour développer des systèmes tolérants aux fautes | Elena Troubitsyna | |
| La plateforme Rodin | Jean Raymond Abrial | |
| Démonstration de la plateforme Rodin | Jean Raymond Abrial | |
| Introduction aux plugins Rodin | Michael Butler | |
| UMLB | Colin Snook | |
| Mobility | Apostolos Niaouris | |
| Pro B | Michael Leuschel | |
| Brama | Antoine REQUET | |
| Déjeuner : Buffet gratuit sur place (12h30 – 14h00) | ||
| Après-Midi : Utilisation industrielle de 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) |
|
| Modéliser la commande de portes palières | Florent Patin (ClearSy) | |
| Modeling an Interlocking System with the Rodin Platform | Christophe Métayer (Systérel), Laurent Voisin | |
Français
English 
