Sabine M. Böhm

Learn More
Summary form only given. Detailed state transition models of fault-tolerant systems tend to induce extremely large state spaces, mainly caused by the nondeterministic nature of faults. One of the well-known countermeasures is partial ordering technique. Yet the remaining state space can be by far too large. We deal with a special partial ordering criteria(More)
Design flaws of fault tolerance techniques may lead to undesired consequences in particular fault cases under very special operating conditions. Such rare "fault tolerance holes" may be very difficult to reveal. This paper presents a novel approach directing the analysis towards potential weaknesses in a fault tolerance technique. A new algorithm based on(More)
  • 1