Formation à la Méthode B
– Niveau 2 : Pratiquer B
Pratiquer B
Télécharger le programme de la formation B – niveau 2
OBJECTIFS :
- Comprendre les principes du développement d’un projet B.
- Pratiquer la construction de “bons” modèles B.
- Apprendre les notions avancées du Langage B.
PERSONNES CONCERNÉES :
- Toute personne désireuse d’approfondir ses connaissances sur la Méthode B.
- Toute personne devant participer à un projet B en écrivant des modèles.
PRÉ-REQUIS :
- Formation B Niveau 1 ou bien la connaissance des principes de la méthode B.
- 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 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.
DURÉE :
4 jours
PROGRAMME
1 – DÉVELOPPEMENT D’UN PROJET
Description du passage entre spécifications informelles et spécifications formelles:
- On rappelle la construction modulaire d’un projet B et on décrit les différentes sortes de liens entre les modules B, ainsi que les règles concernant ces liens.
- On donne une première base méthodologique afin de construire un projet B comme un assemblage de modules.
2 – PRATIQUE DE LA CONSTRUCTION DE MODÈLES B
- Par des exercices, la signification formelle de « respecter sa spécification » est expliquée, ainsi que la manière dont elle se traduit par les obligations de preuve produites avec l’Atelier B.
- Ensuite, l’auditeur est amené au cours de travaux dirigés sur des exemples complets à créer les spécifications formelles à partir des pré-requis informels, à procéder à la conception et à analyser comment la preuve rend impossible tout non-conformité.
- Les principes de rédaction des modèles pour faciliter la preuve sont étudiés.
3 – NOTIONS AVANCÉES DE B
Description de tous les principes avancés du Langage B qui n’ont pas été présentés ou détaillés lors de la formation de niveau 1. Il s’agit des enjeux concernant les invariants de liaison, de l’homonymie des données et de la construction des boucles.
4 – 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 construction modulaire d’un projet B et avec les notions avancées du Langage B. A cet effet, le TP sur la modélisation et la conception d’un système de contrôle des feux de circulation d’un carrefour occupera la majorité des TP.