Chapter

Field Programmable Logic and Application

Volume 2778 of the series Lecture Notes in Computer Science pp 478-487

Fault Tolerance Analysis of Distributed Reconfigurable Systems Using SAT-Based Techniques

  • Rainer FeldmannAffiliated withAG Monien, Faculty of CS, EE, and Mathematics, University of Paderborn
  • , Christian HaubeltAffiliated withDepartment of Computer Science 12, Hardware-Software-Co-Design, University of Erlangen-Nuremberg
  • , Burkhard MonienAffiliated withAG Monien, Faculty of CS, EE, and Mathematics, University of Paderborn
  • , Jürgen TeichAffiliated withDepartment of Computer Science 12, Hardware-Software-Co-Design, University of Erlangen-Nuremberg

* Final gross prices may vary according to local VAT.

Get Access

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 approach based 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.