Accueil | Actualités B | La Méthode B | Travaux R&D | Preuve Formelle | Publications | Conférences | B, les différents langages | Projets Open Source | Outils B | Documents | Liens | Contact  

Workshop on B Dissemination [WOBD]

Evénement satellite de SBMF 2010

8-9 Novembre 2010, Natal, Brésil

DEPLOY   FP7   UE

Présentation

Ce workshop B/event-B est organisé dans le cadre du projet DEPLOY. Il a pour objectif de présenter l’état d’avancement des travaux de recherche et de développement autour des langages B et Event-B, ainsi que les applications en vraie grandeur à des problématiques industrielles. Les sujets abordés lors de ce workshop sont nombreux et incluent notamment :

  • Développement d’outils (extensions du langage, démonstrateurs tiers, génération de code, etc.)
  • Techniques de modélisation (propriétés temps-réel, raffinement probabiliste, patrons de conception, logique d’ordre supérieur, etc.)
  • Déploiement (méthodologie, cas d’études, retour d’expérience, passage à l’échelle, etc.)

Les chercheurs sont invites à contribuer au programme de la seconde journée au travers d’un appel à article ouvert.

Programme

Le workshop dure 2 jours :

  • Le premier jour est réservé aux orateurs du projet DEPLOY. La présentation générale du projet et des outils sera accompagnée de présentations ciblant des sujets techniques et scientifiques (modélisation du temps, génération de code, animation de modèles, model checking, etc.) faisant l’objet de travaux dans le cadre du projet DEPLOY. Le témoignage d’industriels des domaines de l’espace, des systèmes d’information, du transport ferré et de l’automobile complétera la journée.
  • Le second jour est ouvert à tout orateur, au travers d’un appel à contribution à paraître. Un large spectre d’article est attendu, allant des travaux théoriques jusqu’aux applications pratiques de B/event-B. La sélection des articles sera fera au travers d’un comité de programme.

Programme Préliminaire

Time Title Name
Refinement in UML-B Colin Snook (University of Southampton, UK)
Modularisation in Event-B Alexei Iliasov (Newcastle University, UK)
From system to software Thierry Lecomte (ClearSy)
ProB for Animation, Model Checking and Constraint Solving Michael Leuschel (University of Dusseldorf)
Deployment in business information software Andreas Roth (SAP, Germany), Thierry Lecomte (ClearSy, France)
Validation of Railway Properties with ProB Michael Leuschel (University of Dusseldorf)
Potpourri of what ? One year in a DA's life Aryldo G. Russo Jr., Thiago C. de Sousa, Haniel Barbosa (AeS Group), Paulo Muniz (University of Sao Paulo), David Déharbe (University of Rio Grande do Norte)

Le workshop aura lieu les deux jours précédant la conférence, sur le site de celle-ci Imira Plaza.

Dates importantes

  • Date limite de remise des articles: 30 Juillet 2010
  • Décision d’acceptation/rejet: 06 Septembre 2010
  • Workshop à Natal, Brésil: 08-09 Novembre 2010

Soumission et participation

Nous prévoyons des échanges d’idées et des discussions prolifiques durant cet événement. Toutes les soumissions couvrant une des thématiques du workshop sont les bienvenues. La taille des articles doit être d’environ 6 pages au format ENTCS.

Les articles doivent être fournis au format PDF, selon les instructions disponibles sur le site de soumission de WOBD’10, géré par EasyChair : http://www.easychair.org/conferences/?conf=wobd2010

Tous les articles acceptés doivent être présentés durant le workshop.

Comité

Responsable du workshop:

Comité de Programme:

  • Michael Butler (University of Southampton, UK)
  • Cliff Jones (University of Newcastle, UK)
  • Jérôme Phalampin (Siemens Transportation Systems, France)
  • Lilian Burdy (ClearSy, France)
  • David Basin (ETH Zurich, Switzerland)v
  • Michael Leuschel (University of Dusseldorf, Germany)
  • Mathieu Clabaut (Systérel, France)
  • Christophe Ponsard (CETIC, Belgium)
  • Elena Troubitsyna (University of Turku, Finland)
  • Rainer Gmehlich (Bosch, Germany)
  • Aryldo Russo (AeS, Brazil)

Historique

De nombreuses journées dédiées à la dissémination de B ont été organisées depuis les 6 dernières années :