By Topic

Case study: Paris Metro Signaling System

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)

The developers of this signaling system sought to reduce the separation between trains in the Paris rapid-transit system by 30 seconds, to two minutes. Its developers used formal methods extensively for verification and validation. They were required to convince the RATP (the Paris rapid-transit authority) that the system met safety requirements. This was the first use of safety-critical software in a French railway system. The new system, called SACEM, allows for 60,000 passengers per hour. Its successful deployment has eliminated the need for another railway line (and the associated rail cars and labor), a savings of hundreds of millions of dollars.

Published in:

IEEE Software  (Volume:11 ,  Issue: 1 )