SACEM: A fault tolerant system for train speed control
- 30 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 624-628
- https://doi.org/10.1109/ftcs.1993.627365
Abstract
The authors give an overview of the SACEM system which controls the train movements on RER A in Paris, which transports daily one million passengers. The various aspects of the dependability of the system are described, including the techniques aimed at insuring safety (online error detection, software validation). Fault tolerance of the onboard-ground compound system is emphasized.Keywords
This publication has 5 references indexed in Scilit:
- The B-methodPublished by Springer Nature ,2005
- Error-free software development for critical systems using the B-MethodologyPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Observations on industrial practice using formal methodsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- VITAL CODED PROCESSOR AND SAFETY RELATED SOFTWARE DESIGNPublished by Elsevier ,1992
- RESULTS OF A SAFETY SOFTWARE VALIDATION: SACEMPublished by Elsevier ,1990