PRESS


OUR ARTICLES


picto-3

You will find right on this page all the articles written about Atelier B.

picto-pdf

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.

DOWNLOAD   pictos-fleche1

picto-pdf

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

DOWNLOAD PDF   pictos-fleche1
DOWNLOAD PDF 2 pictos-fleche1
DOWNLOAD PDF 3 pictos-fleche1

picto-pdf

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.

DOWNLOAD PDF  pictos-fleche1

picto-pdf

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.

DOWNLOAD PDF   pictos-fleche1

picto-pdf

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.

DOWNLOAD PDF   pictos-fleche1