Diagnosis Framework for Complex Critical
暂无分享,去创建一个
[1] Miroslaw Malek,et al. The consensus problem in fault-tolerant computing , 1993, CSUR.
[2] P. Lincoln,et al. Byzantine Agreement with Authentication : Observations andApplications in Tolerating Hybrid and Link Faults , 1995 .
[3] Jean-Philippe Martin,et al. Fast Byzantine Consensus , 2006, IEEE Transactions on Dependable and Secure Computing.
[4] Andrea Bondavalli,et al. Alpha-count Mechanism and Inter-Channel Diagnosis , 1998 .
[5] Carl E. Landwehr,et al. Basic concepts and taxonomy of dependable and secure computing , 2004, IEEE Transactions on Dependable and Secure Computing.
[6] Andrea Bondavalli,et al. Threshold-Based Mechanisms to Discriminate Transient from Intermittent Faults , 2000, IEEE Trans. Computers.
[7] Neeraj Suri,et al. Formally Verified On-Line Diagnosis , 1997, IEEE Trans. Software Eng..
[8] Nancy A. Lynch,et al. Impossibility of distributed consensus with one faulty process , 1983, PODS '83.
[9] Andrea Bondavalli,et al. Hidden Markov Models as a Support for Diagnosis: Formalization of the Problem and Synthesis of the Solution , 2006, 2006 25th IEEE Symposium on Reliable Distributed Systems (SRDS'06).