PADRE: a Protocol for Asymmetric Duplex REdundancy
- 20 January 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
Safety and availability are issues of major importance in many critical systems. Simultaneously ensuring 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. 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.Keywords
This publication has 6 references indexed in Scilit:
- On the Possibility of Consensus in Asynchronous Systems with Finite Average Response TimesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- The timed asynchronous distributed system modelPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- State restoration in a COTS-based N-modular architecturePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Using fail-awareness to design adaptive real-time applicationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Understanding fault-tolerant distributed systemsCommunications of the ACM, 1991
- Notes on data base operating systemsPublished by Springer Nature ,1978