Documentos

Ensuring safe platform access on the Paris metro
Metro Report - September 2009

Presentation of COPP System, managing the opening and closing of the platform screen doors installed at the Porte de Châtillon station in Paris metro.

Fersil / ClearSy - Presentación de nuestro conocimientos técnicos -

Presentación de nuestro conocimientos técnicos.

Un nouveau contrôleur de vitesse : le KPVA
RATP Savoir Faire N°46 -

Presentation of KPVA, system Train's Speed with a Doppler radar

Formal Methods in Safety Critical Railway Systems -

In this article we would like to present some recent applications of the B formal method to the development of safety critical systems, namely platform screen door controllers.

CBTC New York -

Article that presents New York’s CBTC (Communication Based Train Control).

Trainguard MT CBTC Safety Software
Le Rail Magazine -

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
01 Informatique Magazine -

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

"Zero Defects" does not Exist, but We Can Get Close...
01 Informatique Magazine -

Presentation by Jean-Raymond Abrial of the B Method, its use and its capacity to come close to zero defects.

Meteor Celebrates Three Years of Success
Le Monde Informatique Magazine -

Presentation of the automated Meteor system installed on Line 14 of the Paris subway system.

From the Use of the B Method...
Rail & R Magazine -

Another article that presents the B Method and its use in the current rail transport sector where operational safety is crucial.

Formal Methods, Guarantors of System Safety...
01 Informatique Magazine -

Article on Formal Methods applied to the rail transport sector to ensure the security and safety of a system.