The real byzantine generals

AIAA/IEEE Digital Avionics Systems Conference - Proceedings

Volumn 2, Issue , 2004, Pages

  Driscoll, Kevin ^a   Hall, Brendan ^a   Paulitsch, Michael ^a   Zumsteg, Phil ^a   Sivencrona, Håkan ^b  

^a HONEYWELL TECHNOLOGY CENTER   (United States)

^b SP TECHNICAL RESEARCH INSTITUTE OF SWEDEN   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

BYZANTINE GENERALS PROBLEM; CLOCK SYNCHRONIZATION; SELF-CHECKING PAIR (SCP); TAXONOMY;

CRYPTOGRAPHY; DIGITAL CIRCUITS; ELECTRIC FAULT CURRENTS; ELECTRIC SIGNAL SYSTEMS; FAILURE ANALYSIS; FAULT TOLERANT COMPUTER SYSTEMS; PROBLEM SOLVING; TOPOLOGY;

COMPUTER SYSTEM RECOVERY;

EID: 16244414852     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. Castro M., and B. Liskov, 1999, Practical Byzantine Fault Tolerance. Proceedings of the Third Symposium on Operating Systems Design and Implementation, New Orleans, USA.
2. Schmid, U., B. Weiss, and J. Rushby, 2003, Formally Verified Byzantine Agreement in Presence of Link Faults. Int. Conf. on Distributed Computing Systems, Proceedings, Vienna, Austria.
3. Correia, M., Lau Cheuk Lung, N.F. Neves, and P. Verissimo, 2002, Efficient Byzantine-resilient reliable multicast on a hybrid failure model. 21st IEEE Symp. on Reliable Distributed Systems, 2002. Proceedings.
4. Kopetz, H., 1997, Real-Time Systems. Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, Boston.
5. Carinthia Tech Institute (ed.), 2002, Fault Injection for TTA. Deliverable 5.1-5.5 Combined Report IST 1999 10748. http://www3.cti.ac.at/fit/.
6. st Latin American Symposium on Dependable Computing LNCS 2847, pp. 69-80.
7. th IFIP International Working Conference on Dependable Computing for Critical Applications.
8. Ademaj. A, 2002, Slightly-Off-Specification Failures in the Time Triggered Architecture. In: 7th IEEE Int. Workshop on High Level Design Validation and Test.
9. Lavo, D., B. Larrabee, T. Chess, 1996, Beyond the Byzantine Generals: Unexpected Behavior and Bridging Fault Diagnosis. Proc. Int. Test Conference, 611-619.
10. Chaney, T., 1983, Measured Flip-Flop Responses to Marginal Triggering. In: IEEE Transactions of Computers, Vol. C-32, No. 12, 1207-1209.
11. Bohr, N., 1928, The quantum postulate and the recent development of atomic theory. Nature, 121, 580-89. Reprinted in Quantum Theory and Measurement.
12. Wensly, J. H., L. Lamport, J. Goldberg, K.N. Levitt, P.M. Melliar-Smith, R.E. Shostak, C.B. Weinstock, 1978, SIFT: Design and Analysis of fault tolerant computer control for aircraft. Proceedings of IEEE 66(10): 1240-1255.
13. Hopkins, A., T. Smith, J. Lala, 1978, FTMP - A Highly Reliable Fault Tolerant Multiprocessor for Aircraft. Proceedings of IEEE 66(10):1221-1239.
14. Miner, P., M. Malekpour, W. Torres, 2002, A Conceptual Design for a Reliable Optical Bus (ROBUS). Proc. 21st Digital Avionics Systems Conference.
15. Hoyme, K., K. Driscoll, 1992, SAFEbus. In: Proc. 11th Digital Avionics Systems Conference.
16. Kopetz, H., G. Bauer, S. Poledna, 2001, Tolerating Arbitrary Node Failure in the TimeTriggered Architecture. Doc No 2001-01-0677, SAE.
17. RTCA, Inc., 2000, Design Assurance Guidance for Airborne Electronic Hardware. DO-254. Washington DC.
18. Lamport, L., R. Shostak, and M. Pease, 1982. The Byzantine Generals Problem. ACM Transactions on Programming Languages and Systems, Vol. 4(3), pp. 382-401.