January 15, 2009

Westinghouse Rail Systems Ltd Orders Prover iLock Solution for WESTRACE Interlocking Systems

Toulouse, France - Jan 15, 2009 Prover Technology today announced that it has received an order for delivering the complete Prover iLock solution for WESTRACE interlocking systems to Westinghouse Rail Systems Ltd. The solution will perform digital layout import, automatic code generation, automatic formal safety verification and automatic simulation.

The decision was taken following a successful evaluation of Prover iLock Verifier for the formal safety verification of Westinghouse's WESTRACE interlocking systems. In this project it was shown that Prover iLock Verifier can be used to automate safety verification of the system logic, resulting in both reduced cost and engineering time.