Symbolic reliability analysis of self-healing networked embedded systems

Conference contribution


Publication Details

Author(s): Glaß M, Lukasiewycz M, Reimann F, Haubelt C, Teich J
Publication year: 2008
Conference Proceedings Title: Proceedings of the 27th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2008)
Pages range: 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 Authors / FAU Editors

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)


How to cite

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: 

Last updated on 2018-28-10 at 20:50