Post Profile

What’s the Point of Formal Methods?

Railway signalling systems are surprisingly expensive to produce. Formal methods have emerged as a way to cut costs and increase safety at the same time. Why did this happen, and what have been achieved so far?
read more


Related Posts

Tapeswitch Releases New Emergency Signaling Systems

Industries / Transportation : MassTransit

Tapeswitch Corporation manufactured two new emergency response signaling systems, The PASS System with and without built-in LEDs for increased visibility.

Thales to upgrade signalling systems on Cairo-Alexandria railway line in Egypt

Transportation / Railway & Trains : Railway Technology

French company Thales has won a €109m contract from the Egyptian National Railways (ENR) to modernise signalling systems on the Cairo - Alexandria railway corridor.

Frazer-Nash and Park Signalling win award for VLS system

Transportation / Railway & Trains : Railway Technology

UK-based engineering consultant Frazer-Nash and Park Signalling have received the 2012 joint Railway Industry Association (RIA) / Rail Safety and Standards Board (RSSB) Innovation Award for developing the virtual lineside signalling...

Thales to install ETCS signalling technology on Turkish railway

Transportation / Railway & Trains : Railway Technology

Thales has signed a contract with Turkish State Railways (TCDD) to deliver signalling and telecommunication system improvements at Eskisehir station over the next year, in order to better deal with increased rail traffic.

Estel RA wins Algerian railway signalling work

Transportation / Railway & Trains : Railway Technology

A joint venture of Algerian Railways (SNTF) and Siemens, Estel Rail Automation (Estel RA), has won a contract to supply signalling, safety and control systems for the 140km-long rail network in the Algiers metropolitan area.


Copyright © 2016 Regator, LLC