
This year the RSSI Annual C&S Exhibition will be part of the 2017 Railway Interchange Conference and Exhibition, bringing together AREMA, RSI, REMSA and RSSI in the largest combined railway exhibition and technical conference in North America. Don’t miss this opportunity to meet with close to 10,000 rail professionals from 40 plus countries, and learn about all the latest technologies and innovations provided by the leading manufacturers and service providers in the rail industry.
Prover is proud to join our partner United Rail at the RSSI exhibition, where you will find us in booth 2321. Prover will showcase the Prover iLock product suite, which automates the design, coding, test and safety verification of rail control software, giving you reduced time to market, lower life cycle costs and increased confidence in the system safety. Prover iLock is used by leading railroads and transit agencies all over the world, examples of our North American clients include Canadian Pacific and New York City Transit.
Together with United Rail, Prover will also present the paper Automated Verification and Validation of Signaling Systems in PTC and CBTC Environments, at the AREMA Communications & Signals Technical Session, Tuesday September 19, 8:00 am. As the digitized railway signaling systems of today are becoming increasingly complex to support, higher demands in traffic capacity, the task of assessing the safety and function of these systems becomes more difficult, time consuming and expensive. We will present a state of the art solution for automating a significant part of these verification and validation tasks, and see how this solution has been applied to signaling systems in PTC and CBTC environments around the world.
Share this article

Learn to build a solid safety case for rail control systems using formal verification
Fill out your information here.
More News & Articles
Prover is partnering with Eiffage Énergie Systèmes on the Villeneuve Demain project, delivering railway signaling software for the PAVS system at SIL4 safety level.
Using Prover’s automation tools, the solution ensures EN 50716 compliance, facilitates future maintenance, and enables reuse across similar systems.
Prover will be at Train & Rail, meet us in our booth located at A06:31.
Learn how Prover’s Relay Signaling Migration enables safe, efficient modernization of legacy railway systems with formal verification and digital twin technology.