Atelier B Press

Title

Author

Files

Trainguard MT CBTC Safety Software -
Overview of the technologies used by STS to ensure the proper operations of its rail transport automatisms. The coded safety processor protects against calculation errors and the B Method protects against program design errors.

Magazine Le Rail

Formal Methods Support Unit Tests -
Presentation of formal methods with proof, the methods used by ClearSy System Engineering in the context of its creation of rail transport safety systems.

Page 1 - Page 2 - Page 3

Magazine 01 Informatique

"Zero Defects" does not exist, but we can get close... -
Presentation by Jean-Raymond Abrial of the B Method, its use and its capacity to come close to zero defects.

Magazine 01 Informatique

From the Use of the B Method... -
Anotherarticle that presents the B Method and its use in the current rail transport sector where operational safety is crucial.

Magazine Rail & R

Formal Methods, guarantors of System Safety... -
Article on Formal Methods applied to the rail transport sector to ensure the security and safety of a system.

Magazine 01 Informatique