DMCA
Failure Mode Assumptions and Assumption Coverage (1995)
Cached
Download Links
- [ftp.laas.fr]
- [www.laas.fr]
- [homepages.laas.fr]
- [homepages.laas.fr]
- [homepages.laas.fr]
- DBLP
Other Repositories/Bibliography
| Citations: | 143 - 4 self |
BibTeX
@MISC{Powell95failuremode,
author = {David Powell},
title = {Failure Mode Assumptions and Assumption Coverage},
year = {1995}
}
Share
 |
 |
 |
 |
||
OpenURL
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 is introduced to relate the notion of partiallyordered assumption assertions to the quantification of system dependability. Assumption coverage is shown to be extremely important in systems requiring very high dependability. It is also shown that the need to increase system redundancy to accommodate more severe modes of component failure can sometimes result in a decrease in dependability. 1 Introduction and Overview The definition of assumptions about the types of faults, the rate at which comp...
