Prover Technology Introduces Prover iLock, Enables Bombardier to Improve Rail and Signaling Systems Verification
05 May 2004 14:27
Burlingame, CA, USA, 5 May 2004 - Prover® Technology today announced the release of Prover® iLock, a formal verification solution for railway interlocking systems. Prover iLock enables customers to mathematically prove that an interlocking system is safe for every possible situation that may occur, resulting in reduced verification costs and improved safety. In addition, Prover iLock support failure mode analysis, enabling the user to analyze system safety under one, two or more simultaneous hardware failures.
Prover iLock integrates seamlessly into any railway interlocking development environment enabling customers to benefit from Prover iLock without performing intrusive and costly changes to their current methodology. Bombardier and Banverket have already confirmed the efficiency of Prover iLock and other industry leaders are currently evaluating the solution. Thomas Jansson, Product Manager, Bombardier said: “Since 1915, our expertise in developing, engineering and installing advanced rail control and signaling systems has helped us gain recognition as the world leader in this field.”
Mr. Jansson continued, “We have been working with Prover Technology on formal verification of railway interlocking systems since 1997 and recently purchased a world-wide license for Prover iLock. Prover iLock has been seamlessly integrated into our existing SVT development environment and we have already started using it to guarantee safety in some of the world’s most advanced rail control and signaling systems. Prover iLock enables us to work more effectively, accelerating our time to market and reduce our costs."
Banverket is another company that has already experienced the benefits of using Prover iLock in their development. “We are responsible for safe operation of all railway traffic in Stockholm.” said Staffan Wiklund, Technical Manager for Signal Systems at Banverket. “Last year, we tried Prover iLock for the first time. We were impressed by both the analysis power and ease of integration and have decided to use Prover iLock in several on-going and future projects.”
“Prover Technology introduced its first verification solution for railway interlocking systems in 1997, enabling customers to reduce their verification costs with as much as 90%,” said Gunnar Stalmarck, CEO, Prover Technology. He continued, “Prover iLock leverages from years of experience in the field and is quickly becoming the standard in rail control and signaling systems verification.”
The benefits from using Prover iLock to verify railway interlocking systems are clear. This is why CENELEC, the European Committee for Electrotechnical Standardization, requires formal verification for their highest safety integrity level, SIL-4.
About Banverket
Banverket is the authority responsible for rail traffic in Sweden. It follows and conducts development in the railway sector, assists Parliament and the Government with railway issues, is responsible for the operation and management of state track installations, co-ordinates the local, regional and inter-regional railway services, and provides support for research and development in the rail sector.
About Bombardier Transportation
A world-leading manufacturer of innovative transportation solutions, from regional aircraft and business jets to rail transportation equipment, Bombardier Inc. is a global corporation headquartered in Canada. Its revenues for the fiscal year ended 31 January 2004, were $21.3 billion Cdn and its shares are traded on the Toronto, Brussels and Frankfurt stock exchanges (BBD, BOM and BBDd.F).
For more information on this company:
Prover Technology - Accelerating Development and Reducing Cost of Provably Correct Rail Control Systems
Copyright 2007 SPG Media Limited a subsidiary of SPG Media Group PLC
