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

A Publication, DAVID IVERSON's Collection - 8 years, 8 months 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 - 8 years, 8 months 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 - 8 years, 8 months 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 - 8 years, 8 months 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 - 8 years, 8 months 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 - 8 years, 8 months 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 - 8 years, 8 months 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 - 8 years, 8 months 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 - 8 years, 8 months 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 ...

Advances in digraph model processing applied to automated monitoring and diagnosis

A Publication, DAVID IVERSON's Collection - 8 years, 8 months ago

Shared By: DAVID IVERSON

Reliability models contain a great deal of information about the modeled system that can be used for automated diagnosis of the system. Using such a ...

Automated Telescope Monitoring and Diagnosis

A Publication, DAVID IVERSON's Collection - 8 years, 8 months ago

Shared By: DAVID IVERSON

This paper discusses automated telescope monitoring and diagnosis work currently being performed at NASA Ames Research Center in cooperation with AutoScope Corporation. Topics addressed include ...

Multiple Fault Isolation in Redundant Systems

A Publication, DAVID IVERSON's Collection - 8 years, 8 months ago

Shared By: DAVID IVERSON

We consider the problem of sequencing tests to isolate multiple faults in redundant (fault-tolerant) systems with minimum expected testing cost (time). It can be shown ...

Real-Time Surface Traffic Adviser

A Publication, DAVID IVERSON's Collection - 8 years, 8 months ago

Shared By: DAVID IVERSON

A real-time data management system which uses data generated at different rates by multiple heterogeneous incompatible data sources are presented. In one embodiment, the invention ...

NASA/TM–2003-212270 System Modeling and Diagnostics for Liquefying-Fuel Hybrid Rockets

A Publication, DAVID IVERSON's Collection - 8 years, 8 months ago

Shared By: DAVID IVERSON

A Hybrid Combustion Facility (HCF) was recently built at NASA Ames Research Center to study the combustion properties of a new fuel formulation that burns ...