DAVID IVERSON

Member since: Sep 24, 2010, NASA Ames Code TI

  • sort by:

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

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

    meatball
  • A Diagnosis System Using Object-Oriented Fault Tree Models

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

    meatball
  • An integrated approach to system design, reliability, and diagnosis

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

    meatball
  • Object-oriented fault tree models applied to system diagnosis

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

    meatball
  • An integrated approach to system design, reliability, and diagnosis

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

    meatball
  • Automatic translation of digraph to fault-tree models

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

    meatball
  • Digraph reliability model processing advances and applications

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

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

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

    meatball
  • Program Finds Minimal Cut Sets

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

    meatball
  • Advances in digraph model processing applied to automated monitoring and diagnosis

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

    meatball

DAVID's Projects (1)

Need help?

Visit our help center