PADRE: A Protocol for Asymmetric Duplex REdundancy

  • Authors:
  • D. Essamé;J. Arlat;D. Powell

  • Affiliations:
  • -;-;-

  • Venue:
  • DCCA '99 Proceedings of the conference on Dependable Computing for Critical Applications
  • Year:
  • 1999

Quantified Score

Hi-index 0.00

Visualization

Abstract

Safety and availability are issues of major importance in many critical systems. Ensuring simultaneously both attributes is sometimes difficult. Indeed, the introduction of redundancy to increase the overall system availability can lead to safety problems that would not otherwise exist. In this paper, we present a protocol for duplex redundancy management in critical systems that aims to increase the system availability without jeopardizing its safety. An application to a fully-automated train control system is described.