Results 221 to 230 of about 10,845 (267)

Extending fault trees with an AND-THEN gate

Proceedings 11th International Symposium on Software Reliability Engineering. ISSRE 2000, 2002
Fault trees have been used for software safety analysis in various safety critical systems. The PRIORITY-AND gate was proposed because the conventional AND gate cannot be used to represent the sequential order of the events. The paper shows that even PRIORITY-AND gate is not expressive enough to represent the relative temporal order of the events ...
Pathirage Gamini Wijayarathna, Mamoru Maekawa   +1 more
openaire   +1 more source

Testing trees for multiple faults

Proceedings of 14th VLSI Test Symposium, 2002
A "well behaving" property is defined for each line (in general a bundle of wires) connecting two combinational logic cells. This property can be easily taken into account in the design process of the circuit. It is shown that all tree-structured circuits of combinational logic cells are easily testable for multiple faults if each line is "well ...
Anastasios Vergis, Carlos Tobon 0002
openaire   +1 more source

On the numerical solution of fault trees

Reliability Engineering & System Safety, 2003
Abstract In this paper an account will be given of the numerical solution of the logic trees directly extracted from the Recursive Operability Analysis. Particular attention will be devoted to the use of the NOT and INH logic gates for correct logical representation of Fault Trees prior to their quantitative resolution.
Micaela Demichela, Norberto Piccinini, Italo Ciarambino, Sergio Contini   +3 more
openaire   +1 more source

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