Prover Trident
Prover Trident is a complete process and tool suite for interlocking design automation.
Prover Technology
Railway Control and Signalling Systems
Krukmakargatan 21,
118 51 Stockholm,
Sweden
The demand for rail transport capacity and interoperability is increasing worldwide. Trains are faster, more economical, safer and greener compared to aviation, trucking and cars that bring oil dependence and pollution. We at Prover Technology are committed to doing our part in creating a sustainable and safe world with our solutions.
Our company was founded in 1989 in Stockholm, Sweden, and has subsidiaries in the US and France. We are privately owned by investors and staff, and have customers in more than 25 countries. We are active in railway and signalling industry associations and standardisation bodies such as SWERIG and UNIFE, and actively contribute to shaping the train control systems of tomorrow.
Engineering a safer world
Prover Technology is a world-leading provider of software solutions for the engineering of safety critical systems that control trains, signals and switches. We provide solutions for interlocking design automation that reduce time to market for commissioning of train control systems, with improved safety.
Interlocking Design Automation (IDeA)
Infrastructure managers (IM) that tender and purchase new rail control and signalling systems aim to have the new systems delivered on time and with correct functionality at first installation. This is important to achieve, as it means that the costs for the IM will be within the tendered cost; conversely, not achieving this means delays and budget overruns.
Prover Technology
Interlocking Design Automation (IDeA) is a new concept that helps clients to overcome the challenges in meeting infrastructure manager expectations regarding the delivery of modern rail control interlocking systems, and the cost of change problem.
Formal methods to cut cost and increase safety on railway signalling systems
Railway signalling systems are surprisingly expensive to produce. Formal methods have emerged as a way to cut costs and increase safety at the same time.
Today, there are proof engines that can formally verify the safety requirements for a railway interlocking system in a few minutes using an average laptop computer. Time-consuming and incomplete safety testing can be replaced by mathematical proofs that, for a fraction of the previous cost, can provide 100% coverage. This approach requires high-quality specifications that must be formalised in a mathematically precise formal language, so that proof engines understand exactly what they are supposed to prove.
Formal verification is now strongly recommended by safety standards organisations such as CENELEC. Several leading railway infrastructure managers, such as Paris Metro, Swedish National Rail, Norwegian National Rail and New York City Transit, require formal verification as part of their safety assessments. The reason: formal verification increases safety and quality, and provides more efficient processes for otherwise costly and time-consuming safety testing.
Prover iLock
Prover iLock is a desktop tool for development of application software for railway interlocking systems.
PiSPEC IP
PiSPEC is a formal specification language designed to facilitate formalisation and review of requirement specifications for railway signalling systems, as well as enable automated engineering and verification of such systems.
Prover Certifier
Prover Certifier is a sign-off verification tool, creating CENELEC EN50128 SIL 4 compliant safety evidence for the Specific Application software based on formal verification.
Prover Extractor
Prover Extractor is a tool for automated processing, checking and generation of relay-based interlocking system schematics.
Developing an Interlocking Design Automation System
Creating a new rail control system is a complex undertaking that involves many subsystems that require integrating and adapting to suit the unique requirements of the particular rail network.
Building a Business Case for Interlocking Design Automation Systems
Prover has compiled this document in order to help rail control system developers devise an engaging business case for investing in advanced Interlocking Design Automation solutions.
What’s the Point of Formal Methods?
Railway signalling systems are surprisingly expensive to produce. Formal methods have emerged as a way to cut costs and increase safety at the same time. Why did this happen, and what have been achieved so far?
Interlocking Design Automation (IDeA)
This white paper outlines what the challenges and their root causes are in procurement and delivery of modern rail control, and suggests best practice methods for how to overcome these challenges using Interlocking Design Automation (IDeA).
High Capacity Metro Trains Project, Victoria, Australia
The High Capacity Metro Trains project involves the manufacturing of 65 new high-capacity trains as part of Victoria Government's rolling stock strategy in Australia.
Virginia Avenue Tunnel Reconstruction, Washington
The Virginia Avenue tunnel reconstruction project involves replacement of the century-old tunnel in south-east Washington, US, in order to increase its capacity.
Lima Metro
Lima Metro, also called Tren Eléctrico, is a rapid transit metropolitan railway that serves Lima, the capital city of Peru.
Wuhan Metro
The first metro line in Wuhan, the capital of the Hubei province of China, became operational in September 2004.
Canadian Pacific Extends Licensing of Prover iLock for Interlocking System Development
Prover Technology has announced that Canadian Pacific (CP), a Class 1 railway company, has extended licensing of the Prover iLock for American Railroads solution until 2025.
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 Online from Prover Technology
Prover Technology has announced Prover Online, an online environment for integrated tool chains that perform formal verification of safety.
Stockholm Metro Licenses Prover iLock
Prover Technology has announced that SL, the infrastructure manager of Stockholm Metro, has licensed a Prover iLock solution for creating requirements for interlocking systems.
Prover and IKOS Meet Demand for Automated Rail Control Development
Prover Technology and IKOS have announced that they will join forces to better serve customers who seek to introduce automation in the development of rail control systems.
Infrabel Chooses Prover iLock for Level Crossing Systems
Prover Technology has announced that Infrabel, the Belgian railway infrastructure manager, has placed an order for using Prover iLock for validation of level crossing control requirements.
Prover Technology AB
Krukmakargatan 21
118 51 Stockholm
Sweden
Prover Technology S.A.S.
15 Allée Jean Jaures
31000 Toulouse
France
Prover Technology, Inc.
2700 Chabot Drive
San Bruno, CA 94066
United States of America
