Formation à la Méthode B
– Niveau Manager Responsable Technique : Découvrir B
Découvrir B
Télécharger le programme de la formation B – niveau manager responsable technique
OBJECTIFS :
- Comprendre l’intérêt fondamental d’une méthode formelle.
- Découvrir la méthode B et son utilisation.
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 de base en informatique.
- Connaissance mathématiques du niveau d’un bac scientifique.
ORGANISATION :
- 10 personnes au maximum par formation. 3 personnes minimum pour organiser une session spécifique.
- La formation se déroule dans les locauxde CLEARSY à Aix, Lyon ou Paris (Sauf dispositions exceptionnelles).
- Les locaux sont accessibles aux personnes à mobilité réduite.
- Contactez CLEARSY pour connaître les dates des prochaines formations.
- La pause déjeuner est organisée dans un restaurant près du lieu de formation. Les frais de repas sont à la charge des stagiaires.
DURÉE :
1 jour
PROGRAMME
1 – VOCABULAIRE DU DEVELOPPEMENT SYSTEME
- Système critique, environnement, cycle de développement, disponibilité.
- Méthodes formelles au cours du cycle de développement.
2 – UTILISATION DE METHODES FORMELLES
- Conception système: identification de propriété de sécurité, point de vue événementiel, preuve formelle de sécurité.
- Développement logiciel: principe, séparation de la spécification et de l’implémentation, preuve de cohérence, workflow d’un développement formel en B.
- Validation de données: automatisation et fiabilisation des données d’entrée d’un logiciel. Principe du CLEARSY Data Solver et exemple de règles vérifiées.
- Exécution sécurisée: CLEARSY Safety Platform, principe de sécurité par redondance.
3 – ORGANISATION PRATIQUE
Une parte conséquente de la formation se déroule sous forme de Travaux Dirigés, pour se familiariser avec les méthodes présentées. A cette occasion, le formateur s’assure que les éléments présentés sont bien acquis par les participants et participantes.