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.