CBTC

Railway

CLEARSY has extensive experience in automatic rail traffic control systems, including:

software verification and validation
analysis and critical code review
development/re-engineering of the safety part of on-board and trackside software
formal development of on-board software
system level verification with proof of safety

Offers
Link to this thematic

Posts
Linked to this thematic

• CLEARSY is partnering with UIC to define safety demonstration methods for innovative systems
• CLEARSY will be present on Smart Metro conference, from October 29th – 31st, 2018 in Paris.
• New York City Metro: CLEARSY proves the safety of new automation (Culver line project)

Tools
Linked to this thematic

• Atelier B

References in
this thematic

See all references