For a fully integrated global provider of rail solutions in the areas of rolling stock, signaling, operations, services and maintenance, digital technology and turnkey solutions.
Supporting and providing expertise in different railways projects:
- Core CBTC (Communication Based Train Control) verification and validation
- Test Automation in Automatic Metros
- Development of the Automatic Train Protection system
- CBTC Software Development – On Board ATP
- Safety ERTMS (ETCS 1&2) Analysis
- Verification and validation of a signaling system
- Formal Proof on a railway signaling system