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.


For more information, you can find it here, or here.

Share this article

Guide digital twins

Learn more about how to develop specifications with Digital Twins

Fill out your information here.

Do you want news and upcoming events from Prover?

Fill out your information here.

More News & Articles