Results 271 to 280 of about 17,558 (314)

Software fault tree analysis

Journal of Systems and Software, 1983
With the increased use of software in safety critical systems, software safety has become an important factor in system quality. This paper describes a technique, software fault tree analysis, for the safety analysis of software. The technique interfaces with hardware fault tree analysis to allow the safety of the entire system to be maximized ...
Nancy G. Leveson, Peter R. Harvey
openaire   +1 more source

AUTOMATIC FAULT-TREE GENERATION

IFAC Proceedings Volumes, 1994
This paper presents an expert system approach to off-line generation and optimisation of fault-trees for use in on-line fault diagnosis systems, incorporating the knowledge and experience of manufacturers and users. The size of the problem is such that explicit formulation of the fault-tree is very complicated.
B.D. Netten, R.A. Vingerhoeds
openaire   +1 more source

An Algorithm For Fault-Tree Construction

IEEE Transactions on Reliability, 1982
An algorithm for performing certain parts of the fault tree construction process is described. Its input is a flow sheet of the plant, a piping and instrumentation diagram, or a wiring diagram of the circuits, to be analysed, together with a standard library of component functional and failure models.
openaire   +1 more source

Fault-tolerant computing on trees

Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing 1990, 2002
The paper analyzes the fault-tolerance of complete binary tree networks. It shows how an N-mode tree subject to random failures can simulate a perfect, fault-free tree under different fault models. If edges fail with independent probability p >
openaire   +1 more source

Modeling with extended fault trees

Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000), 2002
In the areas of both safety and reliability analysis, the precise modeling of complex technical systems during their development and for evaluation purposes is of great importance. Traditionally, fault tree models have been used to accomplish this, and, more recently, stochastic Petri-net models have begun to be employed.
openaire   +1 more source

Beyond fault trees to fault graphs

Reliability Engineering, 1985
Abstract Fault graphs are the natural evolutionary step over a traditional fault-tree model. A fault graph is a failure-oriented directed graph with logic connectives that allows cycles. We intentionally construct the fault graph to trace the piping and instrumentation drawing (P& ID) of the system, but with logical AND and OR conditions added.
H.P. Alesso, P. Prassinos, C.F. Smith
openaire   +1 more source

Compositionality of Component Fault Trees

2019
In order to deal with the rising complexity of safety-critical systems, model-based systems engineering (MBSE) approaches are becoming popular due to their promise to improve consistency between different views of the system model. Component Fault Trees (CFTs) are one particular technique to integrate the well-known Fault Tree Analysis (FTA) with a ...
Simon Greiner, Peter Munk, Arne Nordmann
openaire   +1 more source

Fault Diagnosis in Combinational Tree Networks

IEEE Transactions on Computers, 1975
In this paper, which is a follow up to [8], we are concerned with the problem of generating minimal experiments to locate and diagnose faults in combinational tree networks. We establish lower bounds on the necessary number of fault-locating tests and show how, in a systematic way, such experiments can be obtained.
Zvi Kohavi, Israel Berger
openaire   +2 more sources

Optimally edge fault-tolerant trees

Networks, 1996
Summary: We study the structure of fault-tolerant multiprocessor systems that allow one or more communication links to fail. Spare links are employed to tolerate link failures; to redundant processing units are required. Such a multiprocessor is modeled by a graph \(G\) whose nodes and edges correspond to the processing units and the links ...
Hung-Kuei Ku, John P. Hayes
openaire   +2 more sources

On the fault tolerance of fat-trees

1997
We examine the reliability properties of ideal fat-trees, a general model used to capture both distance and bandwidth constraints of various classes of fat-tree networks. We allow the edges and the vertices of the network to fail independently with probability f, and show that: (1) Any fat-tree G can always be partitioned into an upper (GH) and a lower
Sotiris E. Nikoletseas, Grammati E. Pantziou, Panagiotis Psycharis, Paul G. Spirakis   +3 more
openaire   +1 more source