Formation Event-B (B événementiel)

EVENT-B

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.
• Écrire 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.
• Une réduction est appliquée aux détenteurs d’un contrat de maintenance Atelier B.

PROGRAMME :

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

DES RÉFÉRENCES :

• Métro de New York (NYCT) (États-Unis)
• Alstom (France)