Formation à la Méthode B
– Niveau 1 : Comprendre B

Comprendre B

Télécharger le programme de la formation B – niveau 1

OBJECTIFS :

  • Comprendre les principes fondamentaux de la Méthode B
  • Découvrir le langage B.

PERSONNES CONCERNÉES
Toute personne désireuse de comprendre les principes de la Méthode B et de découvrir les avantages qu’elle apporte.

PRÉ-REQUIS

  • Connaissance des principes généraux du cycle de développement d’un système ou d’un logiciel (notions de spécification).
  • Connaissance de base en informatique.
  • Connaissance mathématiques du niveau d’un bac scientifique.

ORGANISATION :

  • 10 personnes au maximum par formation.
  • La formation se déroule dans les locauxde 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.

DURÉE :
4 jours

PROGRAMME

1 – LES PRINCIPES DE LA MÉTHODE B

  • Définition de B : une méthode de spécification et de conception formelle avec preuve, pouvant aller jusqu’au niveau concret (Code informatique, datasheets matérielles…).
  • Intérêt de la spécification formelle et de la construction d’un modèle par la description systématique de ses propriétés.
  • Notions de modularité et de hiérarchie : un modèle B se construit de manière modulaire, ses propriétés sont introduites de manière hiérarchique.
  • La validation par preuve : la preuve garantit le respect de propriétés invariantes : elle assure de manière exhaustive que le code est conforme à ses spécifications.
  • Avantages apportés par la Méthode B.
  • Description des principales utilisations de B dans l’industrie.

2 – LE LANGAGE B

  • Description des éléments constitutifs du Langage B :
    • les prédicats,
    • les expressions mathématiques (Entiers, booléens, énumérés, ensembles, relations, fonctions),
    • les substitutions qui constituent la dynamique du système modélisé,
    • les trois types de composants B (Machines abstraites, raffinements et implantations).

3 – ORGANISATION PRATIQUE

Plus de la moitié de la formation se déroule sous la forme de Travaux Dirigés ou de Travaux Pratiques, afin de mieux se familiariser avec la spécification en B, l’écriture d’une conception en B à partir d’une telle spécification et la preuve que la conception est conforme à ses spécifications. Les Travaux Pratiques se déroulent sur l’Atelier B. L’un des TP permet de se familiariser avec l’Atelier B et la Méthode B en navigant dans un projet existant.