Threshold and Bounded-Delay Voting in Critical Control Systems
暂无分享,去创建一个
[1] Leslie Lamport,et al. Reaching Agreement in the Presence of Faults , 1980, JACM.
[2] P. Caspi,et al. A methodology for proving control systems with Lustre and PVS , 1999, Dependable Computing for Critical Applications 7.
[3] Martín Abadi,et al. An old-fashioned recipe for real time , 1994, TOPL.
[4] A.L. Hopkins,et al. FTMP—A highly reliable fault-tolerant multiprocess for aircraft , 1978, Proceedings of the IEEE.
[5] Hermann Kopetz,et al. Distributed fault-tolerant real-time systems: the Mars approach , 1989, IEEE Micro.
[6] J. L. Bergerand,et al. SAGA: A Software Development Environment for Dependability Automatic Controls , 1988 .
[7] J. Goldberg,et al. SIFT: Design and analysis of a fault-tolerant computer for aircraft control , 1978, Proceedings of the IEEE.
[8] Nancy A. Lynch,et al. Impossibility of distributed consensus with one faulty process , 1985, JACM.