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
Link to this thematic
Posts
Linked to this thematic
Linked to this thematic
- • New Lille driverless metro in service
- • The joint efforts of SIEMENS Mobility and CLEARSY have resulted in a number of commissionings in 2024!
- • 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
Linked to this thematic
