Battelle has signed a contract with CLEARSY for a collaboration within the framework of the automation project of the Flushing and Culver metro lines in New York City.
Indeed, Battelle has been selected to be the Independent Safety Assessor (ISA) for these two lines. This 6 yearsn 6,7m$ project, consists in equipping these lines with a CBTC (Communication-Based Train Control), in order to improve New York metro traffic while ensuring passengers safety.
This system comprises, among other things :
- a CBTC (embedded pilot and trackside stations)
- a Central Command Center
- signalling devices
Battelle has decided to collaborate with TÜV Rheinland Rail Sciences, Turner Engineering Corporation, Transport Resource Associates, Metro Tech Consulting Services and CLEARSY.
CLEARSY was specifically given the responsability to model formally the whole system by using the B Method that is a formal method based on the B language, refinement, and mathematical proofs. This modelling would enable to improve system safety confidence and to ensure high level of coherency and correction to each equipment specification document.
The B Method is used in the railway domain more particularly to develop safety critical software as train automatic pilots.