Sweden-based Prover Technology and consulting firm IKOS have formed a partnership to meet customer demand for development of automated rail control systems.

Under the partnership, IKOS will provide engineering services for customers from its locations across Europe, while Prover will provide formal requirement specifications, its iLock tool suite, and its Certifier.

Go deeper with GlobalData

Go deeper with GlobalData

The gold standard of business intelligence.

Find out more

Discover B2B Marketing That Performs

Combine business intelligence and editorial excellence to reach engaged professionals across 36 leading media platforms.

Find out more

The iLock is a tool suite that automates development of computerised interlocking systems. It is used to generate code for vital, non-vital logic and distributed systems, safety verification using 100% coverage formal proof, functional testing with co-simulation of the system and environment models; and for documentation.

"We are delighted to partner with IKOS to bring modern, automated development to new customers."

Prover Certifier is the software product that allows users to automatically produce complete safety evidence for CENELEC EN50128 SIL 4 certification using formal verification.

Prover Technology CEO Arne Boralv said: "We are delighted to partner with IKOS to bring modern, automated development to new customers across Europe."

IKOS CEO Serge Chelly said: "We see considerable value in this partnership, based on Prover’s leading software technology for rail control development, our engineering skills and know-how in local railway markets and complementary geographical locations."

GlobalData Strategic Intelligence

US Tariffs are shifting - will you react or anticipate?

Don’t let policy changes catch you off guard. Stay proactive with real-time data and expert analysis.

By GlobalData

Prover said that the partnership is a response to the increasing demand for an integrated suite of software products that cover the whole development process from formal requirements to sign-off verification of the revenue-service software code.

Prover Technology is a provider of technology for automated development of rail control software, while IKOS is a consulting group of six subsidiaries with 350 engineers specialised in railway engineering.

Railway Technology Excellence Awards - Nominations Closed

Nominations are now closed for the Railway Technology Excellence Awards. A big thanks to all the organisations that entered – your response has been outstanding, showcasing exceptional innovation, leadership, and impact across the defence sector.

Excellence in Action
Omnevo’s digital Order-to-Seat platform has won the Innovation Award for Onboard Retail, redefining how passengers order, pay, and receive F&B at their seats. Learn how this solution is cutting waste, streamlining logistics, and enabling operators to personalize and modernize onboard retail.

Discover the Impact