Symbolic reliability analysis of self-healing networked embedded systems

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

Volumn 5219 LNCS, Issue , 2008, Pages 139-152

  Glaß, Michael ^a   Lukasiewycz, Martin ^a   Reimann, Felix ^a   Haubelt, Christian ^a   Teich, Jürgen ^a  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER NETWORKS; COMPUTER PROGRAMMING LANGUAGES; EMBEDDED SYSTEMS; FAULT TOLERANCE; INTEGRATED CIRCUITS; ONLINE SYSTEMS; PROBLEM SOLVING; QUALITY ASSURANCE; RELIABILITY ANALYSIS;

ANALYSIS TECHNIQUES; ANALYTICAL APPROACHES; APPLICATIONS.; COMPUTATIONAL LOADS; MEMORY SIZES; NETWORKED EMBEDDED SYSTEMS; ONLINE ALGORITHMS; RE-CONFIGURATIONS; RESOURCE CONSTRAINTS; SELF-HEALING; UPPER BOUNDS;

RELIABILITY;

EID: 56449126522     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87698-4_14     Document Type: Conference Paper

References (20)

1. Dai, Y.S.: Autonomic computing and reliability improvement. In: Proc. of ISORC 2005, pp. 204-206 (2005)
2. Koch, D., Streichert, T., Dittrich. S., Strengert, C., Haubelt, C., Teich. J.: An operating system infrastructure for fault-tolerant reconfigurable networks. In: Grass, W., Sick. B., Waldschmidt, K. (eds.) ARCS 2006. LNCS, vol. 3894, pp. 202-216. Springer, Heidelberg (2006)
3. Garlan, D., Schmerl, B.: Model-based adaptation for self-healing systems. In: Proc. of WOSS 2002, pp. 27-32 (2002)
4. Streichert, T., GlaB, M., Wanka, R., Haubelt, C., Teich, J.: Topology-aware replica placement in fault-toleranl embedded networks. In: Brinkschulle, U., Ungerer, T., Hochberger, C., Spallek, R.G. (eds.) ARCS 2008. LNCS, vol. 4934. pp. 23-37. Springer, Heidelberg (2008)
5. Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Trans. on Comp. 35(8), 677-691 (1986)
6. Cankay, H.C., Nair, V.S.S.: Reliability and availability evaluation of self-healing sonet mesh networks. In: Proc. of GLOBECOMM 1997, pp. 252-256 (1997)
7. Cankay, H.C., Nair, V.S.S.: Accelerated reliability analysis for self-healing sonet networks. SIGCOMM Comput. Cotnmun. Rev. 28(4). 268-277 (1998)
8. Kawamura. R., Sato. K., Tokizawa, I.: Self-healing atm networks based on virtual path concept. IEEE Journal on Selected Areas in Communications 12(1), 120-127 (1994)
9. Lee, J.: Reliability models of a class of self-healing rings. Microelectronics and Reliability 37(8), 1179-1183(1997)
10. Politof. T., Satyanarayana, A.: Efficient algorithms for reliability analysis of planar networks - a survey. IEEE Trans. on Reliability 35(3), 252-259 (1986)
11. Ortega, C., Tyrrell, A.: Reliability analysis in self-repairing embryonic systems. In: Proc. of EH 1999, pp. 120-128 (1999)
12. Dressier, F., Dietrich, I.: Lifetime analysis in heterogenous sensor networks. In: Proc. of DSD 2006, pp. 606-616 (2006)
13. Elliot, C., Heile, B.: Self-organizing, self-healing wireless networks. In: Proc. of Aerospace Conference 2000, pp. 149-156 (2000)
14. Glaß, M., Lukasiewycz, M., Streichert, T., Haubelt, C., Teich, J.: Reliability-Aware System Synthesis. In: Proceedings of DATE 2007, pp. 409-414 (2007)
15. Streichert, T., Glaß, M., Haubelt, C., Teich, J.: Design space exploration of reliable networked embedded systems. Journ. on Systems Architecture 53(10), 751-763 (2007)
16. Izosirnov, V., Pop, P., Eles, P., Peng, Z.: Synthesis of fault-tolerant schedules with transparency/performance trade-offs for distributed embedded systems. In: Proceedings of DAC 2004, pp. 550-555 (2004)
17. Valiant, L.G.: The complexity of enumeration and reliability problems. SIAM Journal on Computing 8, 410-421 (1979)
18. Burch, J.R., Clarke. E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic model checking: 1020 states and beyond. Inf. Comput. 98(2), 142-170 (1992)
19. F.én, N., Sörensson. N.: Translating Pseudo-Boolean Constraints into SAT. Journal on Satisfiability, Boolean Moelding and Computation 2, 1-25 (2006)
20. Rauzy, A.: New Algorithms for Fault Tree Analysis. Reliability Eng. and System Safety 40, 202-211 (1993)