| Alternate document: Details On Systematic Design of Globally Consistent Executable Assertions in Embedded Software (02) Arshad Jhumka, Martin Hiller, Vilgot |
Arshad Jhumka, Felix C. Gärtner, et al.  Home/Search
Context Related
| lufgi4.informatik.rwthaachen....53.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: lufgi4.informatik.rwthaachen.... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a theory of fast and perfect detector components that extends the theory of detectors and correctors of Arora and Kulkarni, and based on which, we develop an algorithm that automatically transforms a fault-intolerant program into a fail-safe fault-tolerant program. Apart from presenting novel insights into the working principles of detectors, the theory also allows the definition of a detection latency e#ciency metric for a fail-safe fault-tolerant program. We prove that in... (Update)
Cited by: More
Automating the Addition of Fail-Safe Fault-Tolerance: Beyond.. - Gärtner, Jhumka (2004) (Correct)
Active bibliography (related documents): More All
1.1: On Systematic Design of Fast and Perfect Detectors - Jhumka, Gärtner, al. (2002) (Correct)
0.4: A Framework for the Design and Validation of Efficient.. - Jhumka, Suri, Hiller (Correct)
0.3: Component-Based Synthesis of Dependable Embedded Software - Jhumka, Hiller, Suri (2002) (Correct)
Similar documents based on text:
2.0: Unknown - (Correct)
Related documents from co-citation: More All
3: Proving the correctness of multiprocess programs (context) - Lamport - 1977
3: A case study in the mechanical verification of fault tolerance - Mantel, Gartner - 2000
3: Parallel Program Design: A Foundation (context) - Chandy, Misra - 1988
BibTeX entry: (Update)
Arshad Jhumka, Felix C. G artner, Christof Fetzer, and Neeraj Suri. On systematic design of fast and perfect detectors. Technical Report 2002. http://citeseer.ist.psu.edu/jhumka02systematic.html More
@misc{ jhumka02systematic,
author = "A. Jhumka and F. artner and C. Fetzer and N. Suri",
title = "On systematic design of fast and perfect detectors",
text = "Arshad Jhumka, Felix C. G artner, Christof Fetzer, and Neeraj Suri. On
systematic design of fast and perfect detectors. Technical Report 2002.",
year = "2002",
url = "citeseer.ist.psu.edu/jhumka02systematic.html" }
Citations (may not include all citations):716 Parallel Program Design: A Foundation (context) - Chandy, Misra - 1988
231 Information Processing Letters (context) - Alpern, Schneider - 1985
157 Proving the correctness of multiprocess programs (context) - Lamport - 1977
75 Unreliable failure detectors for reliable distributed system.. - Chandra, Toueg - 1996
29 Component based design of multitolerant systems - Arora, Kulkarni - 1998
24 Detectors and correctors: A theory of fault-tolerance compon.. - Arora, Kulkarni - 1998
19 The use of self checks and voting in software error detectio.. (context) - Leveson, Cha et al. - 1990
17 Designing masking fault tolerance via nonmasking fault toler.. - Arora, Kulkarni - 1998
12 Automating the addition of fault-tolerance - Kulkarni, Arora - 2000
9 Another glance at the Alpern-Schneider characterization of s.. - Gumm - 1993
5 On systematic design of consistent executable assertions for.. (context) - Jhumka, Hiller et al. - 2002
4 Complexity of adding failsafe fault-tolerance (context) - Kulkarni, Ebnenasir - 2002
3 Defining redundancy in fault-tolerant computing (context) - Gartner, Volzer - 2001
Documents on the same site (http://lufgi4.informatik.rwth-aachen.de/publications-pdfs/): More
A Pointillist Approach for Comparing Honeypots - Pouget, Holz (2005) (Correct)
Evaluating Advanced Routing Algorithms for.. - Mühl, Fiege.. (2002) (Correct)
DREAM: Distributed Reliable Event-based Application.. - Buchmann, Bornhövd.. (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC