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

  • Rainer Feldmann
  • Christian Haubelt
  • Burkhard Monien
  • Jürgen Teich
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2778)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Rainer Feldmann
    • 1
  • Christian Haubelt
    • 2
  • Burkhard Monien
    • 1
  • Jürgen Teich
    • 2
  1. 1.AG Monien, Faculty of CS, EE, and MathematicsUniversity of PaderbornGermany
  2. 2.Department of Computer Science 12, Hardware-Software-Co-DesignUniversity of Erlangen-NurembergGermany

Personalised recommendations