Longlife Dependable Computers for Spacecrafts
暂无分享,去创建一个
Hirokazu Ihara | Toshiyuki Tanaka | Tadashi Takano | Hideo Maejima | Nobuyasu Kanekawa | Takahiro Yamada | Hatsuhiko Kato
[1] Hirokazu Ihara,et al. Dependable onboard computer systems with a new method-stepwise negotiating voting , 1989, [1989] The Nineteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.
[2] A.L. Hopkins,et al. FTMP—A highly reliable fault-tolerant multiprocess for aircraft , 1978, Proceedings of the IEEE.
[3] A. Avizienis,et al. The dependability problem: Introduction and verification of fault tolerance for a very complex system , 1987, FJCC.
[4] E. Petersen,et al. Single event upsets in space , 1983 .
[5] Hirokazu Ihara,et al. Autonomous Decentralized Computer Control Systems , 1984, Computer.
[6] J. Goldberg,et al. SIFT: Design and analysis of a fault-tolerant computer for aircraft control , 1978, Proceedings of the IEEE.
[7] D.A. Rennels. Architectures for fault-tolerant spacecraft computers , 1978, Proceedings of the IEEE.
[8] Y. Kubo,et al. Fault-tolerant computer system with three symmetric computers , 1978, Proceedings of the IEEE.
[9] Algirdas Avizienis,et al. The STAR (Self-Testing And Repairing) Computer: An Investigation of the Theory and Practice of Fault-Tolerant Computer Design , 1971, IEEE Transactions on Computers.
[10] Leslie Lamport,et al. The Byzantine Generals Problem , 1982, TOPL.
[11] A. Avizienis,et al. Fault-tolerance: The survival attribute of digital systems , 1978, Proceedings of the IEEE.