Thales Canada, Transportation Solutions

Thales Canada Inc., carrying on business as Thales Canada, Transportation Solutions (“TCTS”), is a global provider of communications-based train control technology. CSL has provided consulting services to TCTS by performing independent SW assessments on a variety of projects since 2007, including an independent assessment against CENELEC EN 50128 compliance of the software for a new signaling system based on “moving block” technology for unattended/driverless train operation.

CSL has also provided TCTS with expertise on the practical application of formal (mathematical) methods in the development of safety related software.