Assisted design, implementation, and modification of procedure tracking and advisory systems

A Publication, DAVID IVERSON's Collection - 9 years ago

Shared By: DAVID IVERSON

Automated procedure tracking systems have been of interest in the nuclear power industry due to the huge numbers of documented procedures required for the operation ...

A Diagnosis System Using Object-Oriented Fault Tree Models

A Publication, DAVID IVERSON's Collection - 9 years ago

Shared By: DAVID IVERSON

Spaceborne computing systems must provide reliable, continuous operation for extended periods. Due to weight, power, and volume constraints, these systems must manage resources very effectively. ...

An integrated approach to system design, reliability, and diagnosis

A Publication, DAVID IVERSON's Collection - 9 years ago

Shared By: DAVID IVERSON

The requirement for ultradependability of computer systems in future avionics and space applications necessitates a top-down, integrated systems ingeneering approach for design, implementation, testing, and ...

Object-oriented fault tree models applied to system diagnosis

A Publication, DAVID IVERSON's Collection - 9 years ago

Shared By: DAVID IVERSON

When a diagnosis system is used in a dynamic environment, such as the distributed computer system planned for use on Space Station Freedom, it must ...

An integrated approach to system design, reliability, and diagnosis

A Publication, DAVID IVERSON's Collection - 9 years ago

Shared By: DAVID IVERSON

Two tools for engineering analyses of highly reliable systems, one for quantitative reliability evaluation and the other for fault diagnosis, have been developed based on ...

Automatic translation of digraph to fault-tree models

A Publication, DAVID IVERSON's Collection - 9 years ago

Shared By: DAVID IVERSON

The author presents a technique for converting digraph models, including those models containing cycles, to a fault-tree format. A computer program which automatically performs this ...

Digraph reliability model processing advances and applications

A Publication, DAVID IVERSON's Collection - 9 years ago

Shared By: DAVID IVERSON

This paper describes a new algorithm, called SourceDoubls, which efficiently solves for singletons and doubletons of a digraph reliability model. Compared with previous methods, the ...

Digraphs and fault trees: a tale of two combinatorial modeling methods

A Publication, DAVID IVERSON's Collection - 9 years ago

Shared By: DAVID IVERSON

The authors illustrate the similarities and differences of digraph and AND-OR fault tree models and discuss their use together in light of the strengths of ...

Program Finds Minimal Cut Sets

A Publication, DAVID IVERSON's Collection - 9 years ago

Shared By: DAVID IVERSON

CUTSETS computer program identifies all minimal cut sets for given node. Software package contains subprograms that solve for minimal cut sets of fault trees and ...