Symbolic reliability analysis of self-healing networked embedded systems

Beitrag bei einer Tagung


Details zur Publikation

Autorinnen und Autoren: Glaß M, Lukasiewycz M, Reimann F, Haubelt C, Teich J
Jahr der Veröffentlichung: 2008
Tagungsband: Proceedings of the 27th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2008)
Seitenbereich: 139-152
ISBN: 9783540876977


Abstract


In recent years, several network online algorithms have been studied that exhibit self-x properties such as self-healing or self-adaption. These properties are used to improve systems characteristics like, e.g., fault-tolerance, reliability, or load-balancing. In this paper, a symbolic reliability analysis of self-healing networked embedded systems that rely on self-reconfiguration and self-routing is presented. The proposed analysis technique respects resource constraints such as the maximum computational load or the maximum memory size, and calculates the achievable reliability of a given system. This analytical approach considers the topology of the system, the properties of the resources, and the executed applications. Moreover, it is independent of the used online algorithms that implement the self-healing properties, but determines the achievable upper bound for the systems reliability. Since this analysis is not tailored to a specific online algorithm, it allows a reasonable decision making on the used algorithm by enabling a rating of different self-healing strategies. Experimental results show the effectiveness of the introduced technique even for large networked embedded systems. © 2008 Springer-Verlag Berlin Heidelberg.



FAU-Autorinnen und Autoren / FAU-Herausgeberinnen und Herausgeber

Glaß, Michael Prof. Dr.-Ing.
Juniorprofessur für Informatik
Haubelt, Christian Prof. Dr.-Ing.
Technische Fakultät
Reimann, Felix
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)
Teich, Jürgen Prof. Dr.-Ing.
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)


Zitierweisen

APA:
Glaß, M., Lukasiewycz, M., Reimann, F., Haubelt, C., & Teich, J. (2008). Symbolic reliability analysis of self-healing networked embedded systems. In Proceedings of the 27th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2008) (pp. 139-152). Newcastle upon Tyne, GB.

MLA:
Glaß, Michael, et al. "Symbolic reliability analysis of self-healing networked embedded systems." Proceedings of the 27th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2008, Newcastle upon Tyne 2008. 139-152.

BibTeX: 

Zuletzt aktualisiert 2018-28-10 um 20:50