The ELEKTRA railway signalling system: field experience with an actively replicated system with diversity

This publication has 11 references indexed in Scilit:

• Active replication in Delta-4
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Implications of fault management and replica determinism on the real-time execution scheme of VOTRICS
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• The design concepts and operational results of fault-tolerant computer systems for the Shinkansen train control
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• SACEM: A fault tolerant system for train speed control
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Replica determinism in distributed real-time systems: A brief survey
  Real-Time Systems, 1994
• Implementing fault-tolerant services using the state machine approach: a tutorial
  ACM Computing Surveys, 1990
• The use of self checks and voting in software error detection: an empirical study
  IEEE Transactions on Software Engineering, 1990
• In search of effective diversity: a six-language study of fault-tolerant flight control software
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1988
• Design Fault Tolerance
  Published by Springer Nature ,1987
• An experimental evaluation of the assumption of independence in multiversion programming
  IEEE Transactions on Software Engineering, 1986