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 c...
- • CLEARSY is partnering with UIC to define safety demonstration methods for innova...
- • CLEARSY will be present on Smart Metro conference, from October 29th – 31...
- • New York City Metro: CLEARSY proves the safety of new automation (Culver line pr...
Tools
Linked to this thematic
Linked to this thematic
