Publié le 13 September 2011

Training B

Presentation of different B Training

B training sessions are probably the best and most efficient way to discover B. A formal method can’t be learned only by testing the software tool which implements it ! This is the very reason why new Atelier B package now includes those training sessions. Purchasing only level 1 session is also a good way to discover B and to experiment its tools. ClearSy proposes three training session levels related to the use of B and Atelier B:

Training Name

Objectives
Level 1: Understand B
  • Understand the B fundamental principles.
  • Discover the B language.
Level 2: Practice B
  • Understand how to develop a project with B.
  • Build “good”; B models.
  • Learn B language advanced features.
  • Discover event driven B.
Level 3: Prove B
  • Learn to prove a B model with Atelier B.

 

Training Name

Objectives
Event-B Training
  • The objective of this training is to enable use of Event-B in the modelling and validation of systems.
BART Tool Training
  • Learn to refine a B model automatically with Bart.

Dedicatedtraining sessions may be organized with a minimum of three students. Contact ClearSy for more details at: formationb@clearsy.com.

References:

2011:

  • Level 2 – 11/04/2001 – 14/04/2011: Alstom
  • Level 2 – 26/09/2011 – 29/09/2011: Mitsubishi

2010:

  • Level 2 – 03/05/2010 – 06/05/2010: MITSUBISHI
  • Level 2 – 03/05/2010 – 06/05/2010: DGA
  • Level 2 – 03/05/2010 – 06/05/2010: SIEMENS
  • Level 1 – 17/05/2010 – 21/05/2010: RATP
  • Level 1 – 17/05/2010 – 21/05/2010: SIEMENS
  • Level 2 – 01/06/2010 – 04/06/2010: SIEMENS
  • Level 3 – 16/06/2010 – 18/06/2010: RATP
  • Level 3 – 16/06/2010 – 18/06/2010: SIEMENS
  • Level 4 – 21/06/2010 – 22/06/2010: SIEMENS

2009:

  • Level 2 – 14/04/2009 – 17/04/2009: NOVASYS
  • Level 2 – 14/04/2009 – 17/04/2009: RATP
  • Level 2 – 14/04/2009 – 17/04/2009: PACTE NOVATION
  • Level 1 – 17/11/2009 – 20/11/2009: AREVA TA
  • Level 1 – 17/11/2009 – 20/11/2009: ALSTOM

2008:

  • Level 1 – 21/04/2008 – 24/04/2008: SIEMENS SAS (3 p), ORANGE (1 p), ALSTOM (1 p)
  • Level 2 – 03/06/2008 – 06/06/2008: SIEMENS SAS (5 p)
  • Level 4 – 18/06/2008 – 19/06/2008: SIEMENS SAS (4 p)
  • Level 3 – 08/08/2008 – 10/08/2008: SIEMENS SAS (6 p)
  • Level 1 – 18/11/2008 – 21/11/2008: SIEMENS SAS (4 p)
  • Level 1 – 02/12/2008 – 05/12/2008: RATP (4 p)
  • Level 2 – 08/12/2008 – 11/12/2008: SIEMENS SAS (5 p)
  • Level 1 – 18/11/2008 – 21/11/2008: ALSTOM (2 p)
  • Level 1 – 02/12/2008 – 05/12/2008: ALSTOM (3 p)

Comments are closed.