About Prover Extractor®
Given the signaling rules captured in a PiSPEC IP specification and the configuration of a specific interlocking, Prover iLock instantiates the requirements formalized by the PiSPEC IP for the scenarios and objects in the configured application.
Automate Relay-Based Interlocking (RBI) system schematics
Prover Extractor is a product for automated processing, checking and generation of Relay-Based Interlocking (RBI) system schematics.
A main feature of the product is to extract component and interconnection data from relay circuit schematic drawings. This enables checking design consistency and conformance to design guidelines, and to perform formal verification of Relay-Based Interlocking systems.
Software support
Prover Extractor supports Bentley Microstation and Autodesk AutoCAD. It has been used for checking some of the largest relay-based interlocking systems in operation today, maintained by Trafikverket in Sweden.
Benefits & Usage
Automated checking of design guidelines improves maintainability of RBI schematics
Computerized checks and generation improves quality and consistency for complex RBI systems
Automated generation of wiring, rack and cabling diagrams saves cost and time for RBI system assembly
Formal verification of safety requirements against RBI system improves quality and saves time and cost
Automated generation of component database and change management saves time and cost
Cross-check of RBI schematics against components database saves time and cost
Click to enlarge the screenshots
Find contacts and coils and navigate by following references. Show drawing errors.
View the meaning of drawing elements.
Extract component lists with detailed information.
Extract wire lists.
Show changes between versions.
References
Prover’s innovative solution bring benefits to many types of Rail Control Projects.
In signaling design automation projects, we start by developing a digital twin of your existing, future, and conceptual systems.
In this project Prover collaborated with RATP in creating a formal verification solution to meet RATP demand for safety verification of interlocking software. RATP had selected a computerized...
Class I freight railroad Canadian Pacific (CP) is increasing capacity and consistency in their design and test of interlocking software by using automation tools. In 2010, CP introduced automated...
Book A demo
Learn the possibilities with Prover – in action!
Book a 30 minute demo and learn about what benefits Prover products can bring to you and your organisation.
We’ll cover how to:
Prefer speaking on the phone? Contact us on +46 (0)8 617 68 00.
+46 (0)8 617 68 00