CBTC

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

Need a custom-made system ?

We are safety software and systems designers.  Contact us and let's discuss your project together!