Symbolic reliability analysis of self-healing networked embedded systems

Glaß M, Lukasiewycz M, Reimann F, Haubelt C, Teich J (2008)

Publication Status: Published

Publication Type: Conference contribution

Publication year: 2008

Pages Range: 139-152

Conference Proceedings Title: Proceedings of the 27th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2008)

Event location: Newcastle upon Tyne GB

ISBN: 9783540876977

DOI: 10.1007/978-3-540-87698-4_14

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.

Authors with CRIS profile

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

Related research project(s)

Design methodology for embedded system made upon small networks of hardware reconfigurable nodes and connections (ReCoNets) SPP 1148: Rekonfigurierbare Rechensysteme June 1, 2003 - May 31, 2009 SystemCoDesigner: System level design space exploration for embedded systems (SystemCoDesigner) April 1, 2005 - April 1, 2008

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: Download