2002 · 32 citations · 5 references
EngineeringComputer EngineeringSystems EngineeringFault ToleranceFault-tolerant ComputingFault-tolerant SystemsError DetectionFault DetectionFault-tolerant ControlSafety-critical SystemsSoftware Fault ToleranceSpeed ControlFault Tolerance MechanismsOnline Anomaly DetectionOnline Fault DetectionRailway Control SystemsSafety-critical Software ValidationSoftware-in-the-loop ValidationTrain Control SystemsTrain Speed Control
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.
5
Error-free software development for critical systems using the B-Methodology
M. Carnot, Clara DaSilva, Babak Dehbonei et al. · 2003 · 30 citations
Observations on industrial practice using formal methods
S. Gerhart, Dan Craigen, Ted Ralston · 2002 · 22 citations