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

Premium Insights

The gold standard of business intelligence.

Find out more

Related Company Profiles

View all

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."

See Also:

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."

How well do you really know your competitors?

Access the most comprehensive Company Profiles on the market, powered by GlobalData. Save hours of research. Gain competitive edge.

Company Profile – free sample

Thank you!

Your download email will arrive shortly

Not ready to buy yet? Download a free sample

We are confident about the unique quality of our Company Profiles. However, we want you to make the most beneficial decision for your business, so we offer a free sample that you can download by submitting the below form

By GlobalData
Visit our Privacy Policy for more information about our services, how we may use, process and share your personal data, including information of your rights in respect of your personal data and how you can unsubscribe from future marketing communications. Our services are intended for corporate subscribers and you warrant that the email address submitted is your corporate email address.

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.