David Powell  Home/Search
Context Related
Links: ACM DBLP | laas.fr/pub/Publications/199...91462.ps 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: fermivista.math.jus...ftp.laas.fr (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . A method is proposed for the formal analysis of failure mode assumptions and for the evaluation of the dependability of systems whose design correctness is conditioned on the validity of such assumptions. Formal definitions are given for the types of errors that can affect items of service delivered by a system or component. Failure mode assumptions are then formalized as assertions on the types of errors that a component may induce in its enclosing system. The concept of assumption coverage... (Update)
Cited by: More
A Maintenance-Oriented Fault Model for the DECOS.. - Peti, Obermaisser.. (2005) (Correct)
Byzantine Fault Tolerance on General Hybrid Adversary Structures - Kursawe, Freiling (2005) (Correct)
Byzantine Failures and Security: Arbitrary is not (always) Random - Gärtner (2003) (Correct)
Active bibliography (related documents): More All
0.6: MAFTIA - reference Model and Use Cases - Cachin, Camenisch, Dacier.. (2000) (Correct)
0.6: Malicious- and Accidental-Fault Tolerance for Internet.. - Powell, (eds.) (Correct)
0.5: Kernel Services Approach to Fault-Masking in.. - Bekambo, Vounckx.. (1995) (Correct)
Similar documents based on text: More All
0.2: Failure analysis of an ORB in presence of faults - Marsden, Fabre (2001) (Correct)
0.2: Failure from the Field: Complexity Kills - George Herbe Rt (Correct)
0.2: Fault Injection and Dependability Evaluation of.. - Arlat, Costes.. (1993) (Correct)
Related documents from co-citation: More All
23: Impossibility of distributed consensus with one faulty process (context) - Fischer, Lynch et al. - 1985
17: Atomic Broadcast: From Simple Message Diffusion to Byzantine Agreement - Cristian, Aghali et al. - 1985
14: Understanding fault--tolerant distributed systems - Cristian - 1991
BibTeX entry: (Update)
D. Powell, "Failure Mode Assumptions and Assumption Coverage", in Proc. 22nd Int. Symp. on Fault-Tolerant Computing (FTCS-22), pp.386-395, IEEE, Boston, MA, USA, July 1992. http://citeseer.ist.psu.edu/powell95failure.html More
@inproceedings{ powell92failure,
author = "David Powell",
title = "Failure Mode Assumptions and Assumption Coverage",
booktitle = "Proceedings of the 22nd Annual International Symposium on Fault-Tolerant Computing ({FTCS} '92)",
publisher = "IEEE Computer Society Press",
address = "Boston, MA",
editor = "Dhiraj K. Pradhan",
isbn = "0-8186-2875-8",
pages = "386--395",
year = "1992",
url = "citeseer.ist.psu.edu/powell95failure.html" }
Citations (may not include all citations):241 The Byzantine Generals Problem - Lamport, Shostak et al. - 1982
177 Fail-Stop Processors: An Approach to Designing Fault-Toleran.. - Schlichting, Schneider - 1983 DBLP
144 Atomic Broadcast: From Simple Message Diffusion to Byzantine.. - Cristian, Aghali et al. - 1985
138 Delta-4: a Generic Architecture for Dependable Distributed C.. (context) - Powell - 1991
75 Byzantine Generals in Action: Implementing Fail-Stop Process.. - Schneider - 1984 DBLP
28 Fairness and Related Properties in Transition Systems: a Tem.. (context) - Queille, Sifakis - 1983
9 Dependable Computing and Fault-Tolerance (context) - Laprie, Dependability et al. - 1992
8 Failure Classification with respect to Detection (context) - Bondavalli, Simoncini - 1990
8 Redundant Media Mechanisms for Dependable Communication in T.. (context) - Verissimo - 1988
6 Elsevier North-Holland (context) - Wakerly, Codes et al. - 1978
4 A Classification of Faults in Systems (context) - Ezhilchelvan, Shrivastava - 1989
3 A Characterization of Faults in Systems (context) - Ezhilchelvan, Shrivastava - 1986
3 High Performance Fault-Tolerant Real-Time Computer Architect.. (context) - Smith - 1986
2 System Reliability: Evaluation and Prediction in Engineering (context) - Pages, Gondran - 1986
2 A Review of Synchronisation and Matching in FaultTolerant Sy.. (context) - Moore, Haynes - 1984
1 Fault Coverage and the Point of Diminishing Returns (context) - Stiffler - 1978
1 Fault-Tolerance in Distributed Systems: Error Assumptions an.. (context) - Powell - 1989
1 PDCS: Predictably Dependable Computing Systems (context) - Powell, Assumptions et al. - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.laas.fr.html): More
GenoM: A Tool for the Specification and the.. - Fleury, Herrb, Chatila (1997) (Correct)
Flatness and Small-Time Controllability of Multibody Mobile.. - Lamiraux, Laumond (1997) (Correct)
Intrusion Tolerance in Distributed Computing Systems - Deswarte, Blain, Fabre (1991) (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