Reliability and availability analysis of self-stabilizing systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4280 LNCS, Issue , 2006, Pages 244-261

  Dhama, Abhishek ^a   Theel, Oliver ^a   Warns, Timo ^a  

^a UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; DATA STRUCTURES; DATABASE SYSTEMS; TREES (MATHEMATICS);

ARBITRARY STATE DISRUPTIONS; AVAILABILITY ANALYSIS; SELF-STABILIZING SYSTEMS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 33845540870     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-49823-0_17     Document Type: Conference Paper

References (20)

1. Gärtner, F.C.: Fundamentals of fault-tolerant distributed computing in asynchronous environments. ACM Computing Surveys 31(1) (1999) 1-26
2. Helal, A.A., Heddaya, A.A., Bhargava, B.B.: Replication Techniques in Distributed Systems. Kluwer Academic Publishers (1996)
3. Pease, M., Shostak, R., Lamport, L.: Reaching Agreement in the Presence of Faults. Journal of the ACM 27(2) (1980) 228-234
4. Dolev, S.: Self-Stabilization. MIT Press (2000)
5. Khalil, H.K., Teel, A.R., Georgiou, T.T., Praly, L., Sontag, E.: Stability. In Levine, W.S., ed.: The Control Handbook. CRC Press, Inc (1995) 889 - 908
6. Trivedi, K.S.: Probability and Statistics with Reliability, Queuing and Computer Science Applications. 2nd edn. John Wiley and Sons Ltd. (2002)
7. Somani, A.K., Vaidya, N.H.: Understanding Fault Tolerance and Reliability. Computer 30(4) (1997) 45-50
8. Suri, N., Hugue, M.M., Walter, C.J.: Reliability Modeling of Large Fault-tolerant Systems. In: 22nd Intern. Fault-Tolerant Comp. Symp. IEEE (1992) 212-220
9. Amir, Y., Wool, A.: Optimal Availability Quorum Systems: Theory and Practice. IPL 65(5) (1998) 223-228
10. Babaog̃lu, Ö.: On the reliability of consensus-based fault-tolerant distributed computing systems. ACM Transactions on Computer Systems 5(4) (1987) 394-416
11. Avižienis, A., Laprie, J.C., Randell, B., Landwehr, C.E.: Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE ToDSC 1(1) (2004) 11-33
12. Hamming, R.W.: Error-detecting and Error-correcting Codes. Bell System Technical Journal 29(2) (1950) 147-160
13. Collin, Z., Dolev, S.: Self-stabilizing Depth First Search. IPL 49(6) (1994) 297-301
14. Graf, S., Saïdi, H.: Construction of Abstract State Graphs with PVS. In: 9th Intern. Conf. on CA Verification. No. 1254 in LNCS (1997) 72-83
15. Das, S., Dill, D.L., Park, S.: Experience with Predicate Abstraction. In: 11th Intern. Conf. on CA Verification, Springer-Verlag (1999)
16. Cansell, D., Méry, D., Merz, S.: Predicate Diagrams for the Verification of Reactive Systems. In: 2nd Intl. Conf. Integrated Formal Methods (IFM 2000). Vol. 1945 of LNCS., Springer-Verlag (2000) 380-397
17. Dijkstra, E.W.: Self-stabilizing Systems in Spite of Distributed Control. CACM 17(11) (1974) 643-644
18. Cansell, D., Méry, D., Merz, S.: Formal Analysis of a Self-stabilizing Algorithm using Predicate Diagrams. In Wirsing, M., ed.: Workshop Integrating Diagrammatic and Formal Spec. Techniques (GI-/ÖCG-Jahrestagung). Vol. 157/1. (2001) 39-45
19. Sorensen, E.V., Nordahl, J., Hansen, N.H.: From CSP mMdels to Markov Models. IEEE ToSE 19(6) (1993) 554 - 570
20. Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall Int. (1985)