Designing efficient fail-safe multitolerant systems

Jhumka, A. and Suri, Neeraj (2005) Designing efficient fail-safe multitolerant systems. In: Formal Techniques for Networked and Distributed Systems - FORTE 2005 :. Springer, pp. 428-422. ISBN 354029189X

Full text not available from this repository.

Abstract

In this paper, we propose a method for designing efficient fail-safe multitolerant systems. A multitolerant system is one that is able to tolerate multiple types of faults, and a fail-safe multitolerant system handles the various fault types in a fail-safe manner. Efficiency issues of interest are fault tolerance-related, and they are: (i) completeness, and (ii) accuracy. Based on earlier work, this paper makes the following contributions: (i) We develop a theory for design of efficient fail-safe multitolerance, (ii) based on the theory, we present a sound and complete algorithm that automates the addition of efficient fail-safe multitolerance, and (iii) we develop the example of an efficient fail-safe multitolerant token ring to show the viability of our approach. Our approach works for finite state systems. © IFIP International Federation for Information Processing 2005.

Item Type:
Contribution in Book/Report/Proceedings
Subjects:
?? automationdetectorsfail-safemultitoleranceprogram synthesisprogram transformationsafety specificationalgorithmsdata processingfault tolerant computer systemsfinite automatasystems analysisfault tolerancedistributed computer systemsfail safesprogram transf ??
ID Code:
137616
Deposited By:
Deposited On:
08 Oct 2019 10:00
Refereed?:
No
Published?:
Published
Last Modified:
16 Jul 2024 04:44