Signaling System

Why Formal Verification – Verifying Safety Requirements on Railway Systems

The subject I am going to write about this time is not an easy one. I will try to explain why formal verification is good. In particular, why it is a good practice to use formal verification when verifying safety requirements on railway systems. The Verification Problem In order to make a convincing argument, I [...]

By |2019-01-31T11:16:12+00:00January 31st, 2019|Formal Methods, Formal Verification|

The French Rail Sector is Growing

The global rail sector is growing! Its market is estimated at € 113 billion for 2017-2020, with annual growth of +1.5%. France is resisting well and positioning itself as the world's third largest railway market behind Germany and China. The French domestic market increased to € 8.2 billion in 2015-2017. France enjoys a significant reputation [...]

By |2018-01-16T10:28:14+00:00January 16th, 2018|Signaling Solutions|

Transport system 2018-2029 – The Swedish Transport Administrations proposals for National Plans for the Future Railroad

On August 31, 2017, the Swedish Transport Administration's Director General, Lena Erixon, submitted to the Swedish Government the "Proposal for National Transport Planning Plan 2018-2029". Erixon points out that the starting point for this plan has been to work with, and contribute to an efficient, modern and sustainable transport system. This plan represents a financial [...]

By |2017-10-11T09:29:14+00:00October 11th, 2017|Signaling Solutions|

United Rail new Partner in North America

United Rail, Inc. announces a new agreement with Prover Technology to represent their products and solutions to new clients in the North American freight, passenger and mass transit markets. Jacksonville, Florida, November, 2016 United Rail, Inc. announces a new agreement with Prover Technology to represent their products and solutions to new clients in the North [...]

By |2018-07-27T09:36:15+00:00November 24th, 2016|Company News|