loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
6th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS '97)
Available fail-safe systems
Tunis, TUNISIA
October 29-October 31
ISBN: 0-8186-8153-5
D. Essame, Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
J. Arlat, Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
D. Powell, Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
Continuity of service and cost-effectiveness are adding new challenges to life critical systems over and above the underlying safety concerns. The introduction of redundant components is a necessary condition for increasing the overall system availability with respect to physical component failures. Here we consider redundancy by means of replicating fail-safe components in a distributed real-time system for railway applications. In such a system, some functions cannot tolerate even a brief service interruption. These functions have to be replicated using active redundancy, and their outputs must be consolidated with the goal that the failure of one component has no effect on the delivered service. We formally investigate conditions for preserving safety properties of fail-safe components when replicating them using active redundancy. We focus our analysis on duplex computers with two fail-safe units. Given some safety constraints, we show that inconsistency of replicated units can lead to safety degradation even if each replicated component (taken individually) satisfies the given safety constraints. Two solutions are studied: masking and detection of state or context inconsistency. The former leads to requirements on the output consolidation function and the latter to requirements on the redundancy management mechanisms.
Index Terms:
fault tolerant computing; available fail-safe systems; life critical systems; system availability; redundancy; distributed real-time system; railway applications; duplex computers; safety constraints; safety degradation; redundancy management mechanisms
Citation:
D. Essame, J. Arlat, D. Powell, "Available fail-safe systems," ftdcs, pp.176, 6th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS '97), 1997
Usage of this product signifies your acceptance of the Terms of Use.