View all newsletters
Receive our newsletter - data, insights and analysis delivered to you
2 October 2015

Prover Technology Releases Prover iLock 4.0

Prover Technology, a leading supplier of rail control development software, has announced the release of Prover iLock 4.0.

Prover iLock is a leading tool suite for development of railway interlocking systems, supporting configuration, formal verification, simulation and code generation. Prover iLock supports a multitude of computerised target platforms, as well as relay-based systems based on schematic drawings.

Prover iLock version 4.0 contains major upgrades in the verifier and simulator modules. In addition to verifying that the interlocking logic fulfils its safety specification and functional test specification, it is now possible to use these modules interactively to debug or confirm the functionality of the interlocking logic. This is achieved by adding graphical feedbacks and commands from the verifier and simulator modules to visualise and control point positions, signal aspects, route locks and more.

Using this feature, the signalling engineer can investigate the interlocking logic with visual confirmation that it behaves as expected. FAT testing can therefore be significantly reduced.

Prover iLock has been used in a wide range of interlocking system projects. It is currently being used in projects for Canadian Pacific Railway, Stockholm Metro, New York City Transit and others.

Let us show you

Visit us at RSSI, Minneapolis, on 4-6 October, Nordic Rail, Jönköping, on 6-8 October, SmartMetro Copenhagen on 3-5 November or SmartRail Bangkok on 23-25 November, for your personal demonstration.

NEWSLETTER Sign up Tick the boxes of the newsletters you would like to receive. The top stories of the day delivered to you every weekday. A weekly roundup of the latest news and analysis, sent every Friday. The railway industry's most comprehensive news and information delivered every month.
I consent to GlobalData UK Limited collecting my details provided via this form in accordance with the Privacy Policy


Thank you for subscribing to Railway Technology