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

Conference contribution


Publication Details

Author(s): Feldmann R, Haubelt C, Monien B, Teich J
Publication year: 2003
Volume: 2778
Conference Proceedings Title: Proceedings of 13th International Conference on Field Programmable Logic and Applications
Pages range: 478-487


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.



FAU Authors / FAU Editors

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


External institutions with authors

Universität Paderborn


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: 

Last updated on 2018-10-08 at 05:53

Share link