Publié le 14 septembre 2011

Formation Event-B (B événementiel)

Modalités de la Formation Event-B (B événementiel)

Le B événementiel est une spécialisation de la méthode formelle B, utilisée pour décrire formellement les systèmes et raisonner mathématiquement sur leurs propriétés.

Le but de cette formation est de permettre l’utilisation du B événementiel pour la modélisation et la validation de systèmes. La formation fournit un rappel des principes de la méthode formelle B et de la théorie utilisée par le B événementiel ainsi qu’une introduction aux spécificités de ce dernier.

Objectifs
  • Acquérir les bases de la méthode formelle B.
  • Comprendre les principes de la modélisation de systèmes avec B.
  • Valider des propriétés sur des systèmes en utilisant le B événementiel.
  • Ecrire de « bons » modèles en B événementiel.

Personnes concernées
  • Toute personne voulant acquérir des connaissances sur le B événementiel.
  • Toute personne voulant utiliser B pour modéliser des systèmes.

Pré-Requis
  • Connaissances mathématiques du niveau d’un bac scientifique.
  • Connaissances de base en B, ou formation « comprendre B » conseillés.

Durée
  • 4 jours

Organisation
  • 10 personnes au maximum par formation.
  • La formation se déroule dans les locaux de ClearSy à Aix ou à Paris (sauf dispositions exceptionnelles).
  • Contactez ClearSy pour connaître les dates des prochaines formations.

Tarifs

  2 130 EUR HT par personne.

  • Une réduction de 15 % est accordée pour un groupe de 3 personnes au moins, du même organisme.

 

Programme
  • Introduction au B événementiel
  • Le langage B événementiel
  • Techniques de raffinement

Des références :

  • Métro de New York (NYCT), du 26 au 29 janvier 2010. (Etats-Unis)
  • Alstom, du 12 au 15 octobre 2010. (France)

Les commentaires sont fermés.