Founded in 1989, after more than 30 years of development, Prover is now an international company, with branches in Sweden, France, China, and the US. The company has participated in railway projects all over the world and with customers such as ALSTOM, Siemens, CASCO, RATP, NYCT etc. In Prover, there are employees who have [...]
We have now published a new date when we will run our popular webinar about Formal Verification. The date for the webinar is the 28th of April. Safety verification is vital for railway interlockings. During this webinar we will describe the general problem of safety verification and show that formal verification is the only method [...]
This year’s Signaling Design Automation Forum draws closer and is now fully booked! You can still sign up on our waiting list and we will notify you if a seat becomes available. The agenda for the event is now available for download here! We look forward to meeting you all in Shanghai the 6th of [...]
We are pleased to announce that IKOS Consulting & Prover Technology join forces to meet customer demand for Automated Development of Rail Control Systems. Innovative transport systems require a higher level of automation and safety. PROVER addresses these challenges with its "Prover Trident" and "Prover Certifier" solutions, which enable the cost-efficient development of safe railway [...]
On August 31, 2017, the Swedish Transport Administration's Director General, Lena Erixon, submitted to the Swedish Government the "Proposal for National Transport Planning Plan 2018-2029". Erixon points out that the starting point for this plan has been to work with, and contribute to an efficient, modern and sustainable transport system. This plan represents a financial [...]
Prover iLock is a desktop tool for producing fully documented, tested and verified application software for railway interlocking systems, ready for compilation and installation on the target platform. In this demo we will show, in short: Configuration of a new interlocking Interactive and scripted simulation of the resulting signaling system Automatic generation of code for [...]
Elmia Nordic Rail is Scandinavia’s main railway exhibition. The trade fair show the latest products, innovations and services. For us at Prover, Nordic Rail lets us get the chance to meet our customers, primarily in the Nordic countries but also many foreign guests who are interested in the Nordic projects. Come and meet us there [...]
Railway signaling systems are surprisingly expensive to produce. Why did this happen? In the early days of railway history there were no interlocking systems. It was considered enough to have personnel at the train stations manually observing trains and operating signals. The need for automatic signalling eventually became evident: human beings tend to make mistakes, [...]
Prover wants to show you how you can manage interlocking design safely and efficiently by using modern methodologies and tools. We have created a demo that will show how to use a modern Interlocking Design Automation solution, i.e. Prover Trident. During the demonstration we walk you through how to create an interlocking application software using [...]
Infrastructure managers (IM) that tender and purchase new rail control and signaling systems, seek 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 [...]
