Meeting the higher demands for capacity is a major challenge for the railway industry. The ability to deliver rail infrastructure both fast and cost-efficiently is a critical success factor. A common bottleneck in such projects is the development and safety assessment of rail control software for the digital railway. Whether applied for new installations, upgrades of existing ones, traditional interlockings, ERTMS or CBTC — this calls for dedicated software tools designed for the task.
Our contribution is Prover Trident;
a complete process and tool suite that reduces engineering efforts and life cycle costs, provide prompt time-to-market and ensures certification to the highest available safety standards. Prover Trident is based on the combined use of the following three solutions: PiSPEC IP, Prover iLock and Prover Certifier.