IKOS CONSULTING & PROVER TECHNOLOGY
Join Forces to Meet Customer Demand for Automated Rail Control Development
Levallois-Perret and Toulouse. March 2019 - IKOS CONSULTING, a consulting firm specializing in
the railway sector, and PROVER TECHNOLOGY, a software company providing solutions for design
automation and formal verification of rail control systems, sign a partnership in order to provide their
customers in the railway market with a complementary offering of software and professional services.
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 control systems, including the specification of safety requirements, the
generation of code, formal verification and validation.
With its experience in rail signaling (CBTC, ERTMS, iXL) and 850 consultants on its team, IKOS
supports the deployment of PROVER tools.
The goal of this partnership is to increase the synergies present between both companies. By partnering
with PROVER, IKOS optimizes the implementation of the product offering for all players in the railway
sector.
PROVER CEO Anders Linden confirms: "We are delighted to partner with IKOS to deploy our design
automation and formal verification tools to our customers in Europe and North America. This ensures
skilled and high delivery capacity to meet the demands form our customers"
Serge Chelly, CEO of IKOS, qualifies for this partnership "very promising. Our two companies are
complementary: we share the same values, the same strategic choices thanks to our specialization in
railways, and common development ambitions ".
Indeed, the presence of PROVER in Sweden, France and the United States echoes the influence of
IKOS and its subsidiaries in Europe and North America. "This geographical complementarity
strengthens our alliance and guarantees its success," concludes Serge Chelly.
About IKOS
IKOS was founded in 2005 by two seasoned engineers based on two objectives: to focus on projects
that are strategic for the client, and to provide a new world-class alternative that stands out from the
firms dominating the market by offering both expertise and a local presence. IKOS' growth stems from
two strategic factors:
Specialization in the rail sector, which has been our passion and expertise for nearly 20 years.
A drive to develop a new kind of consulting firm at a human scale that focuses on our clients'
technological achievements and our consultants' progress. IKOS is a group with 850 engineers.
About Prover :
Prover Technology pioneered the use of formal safety verification in rail control in the 1990s, and
today offers complete software solutions for development of rail control systems.
Prover Technology is a privately held Swedish company headquartered in Stockholm, Sweden, with
wholly owned subsidiaries in France and the USA. For more information, visit Prover Technology's
web site at http://www.prover.com.
Any trademarks mentioned in this release are the intellectual property of their respective owners.