PRESS
OUR ARTICLES
You will find right on this page all the articles written about Atelier B.
TRAINGUARD MT CBTC Safety Software
Magazine le Rail
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.
FORMAL METHODS SUPPORT
UNIT TESTS
Magazine 01 Informatique
Presentation of formal methods with proof, the methods used by ClearSy System Engineering in the context of its creation of rail transport safety systems
FROM THE USE OF THE B METHOD
Magazine Rail & R
Another article that presents the B Method and its use in the current rail transport sector where operational safety is crucial.
ZERO DEFECTS DOES NOT EXIST,
BUT WE CAN GET CLOSE
Magazine 01 Informatique
Presentation by Jean-Raymond Abrial of the B Method, its use and its capacity to come close to zero defects.
FORMAL METHODS, GUARANTORS OF SYSTEM SAFETY
Magazine 01 Informatique
Article on Formal Methods applied to the rail transport sector to ensure the security and safety of a system.