Fault tolerance analysis of distributed reconfigurable systems using SAT-based techniques

Feldmann R, Haubelt C, Monien B, Teich J (2003)


Publication Status: Published

Publication Type: Conference contribution

Publication year: 2003

Book Volume: 2778

Pages Range: 478-487

Conference Proceedings Title: Proceedings of 13th International Conference on Field Programmable Logic and Applications

Event location: Lisbon PT

URI: https://www.scopus.com/inward/record.url?partnerID=HzOxMe3b&scp=35248814417&origin=inward

Abstract

The ability to migrate tasks from one reconfigurable node to another improves the fault tolerance of distributed reconfigurable systems. The degree of fault tolerance is inherent to the system and can be optimized during system design. Therefore, an efficient way of calculating the degree of fault tolerance is needed. This paper presents an approachbased on satisfiability testing (SAT) which regards the question: How many resources may fail in a distributed reconfigurable system without losing any functionality? We will show by experiment that our new approach can easily be applied to systems of reasonable size as we will find in the future in the field of body area networks and ambient intelligence. © Springer-Verlag Berlin Heidelberg 2003.

Authors with CRIS profile

Related research project(s)

Involved external institutions

How to cite

APA:

Feldmann, R., Haubelt, C., Monien, B., & Teich, J. (2003). Fault tolerance analysis of distributed reconfigurable systems using SAT-based techniques. In Proceedings of 13th International Conference on Field Programmable Logic and Applications (pp. 478-487). Lisbon, PT.

MLA:

Feldmann, Rainer, et al. "Fault tolerance analysis of distributed reconfigurable systems using SAT-based techniques." Proceedings of the 13th International Conference on Field Programmable Logic and Applications, Lisbon 2003. 478-487.

BibTeX: Download