• DocumentCode
    450393
  • Title

    The Design and Implementation of Fault Insertion Capabilities for ISPS

  • Author

    Northcutt, J. Duane

  • Author_Institution
    Carnegie-Mellon University, Pittsburgh, PA
  • fYear
    1980
  • fDate
    23-25 June 1980
  • Firstpage
    197
  • Lastpage
    209
  • Abstract
    Fault tolerance is an important attribute of most computer systems, and to be effective it must be an explicit objective from the beginning of the design process. Inserting faults into a simulation of the machine and observing its behavior is a thorough and economical technique for evaluating prospective fault detection, diagnosis, recovery, and repair mechanisms. As systems become larger due to rising semiconductor integration, the expense of these fault simulations increasingly necessitates that they be performed at higher levels of abstraction (such as the register transfer level) rather than lower (such as the gate level). This can achieve major cost savings without significantly compromising fault coverage. This paper describes the design and implementation of a high level fault insertion mechanism for the Instruction Set Processor Specification (ISPS) simulator. The ISPS simulator was chosen because it is an interactive, high level simulator which is capable, mature, and widely used and accepted. The faults which can be simulated include hard and transient, deterministic and probabilistic, stuck-at and bridged, data, control, and operation types. These facilities have been implemented and demonstrated to be sound in both concept and implementation. They have been incorporated as a standard feature in the latest release of the ISPS simulator.
  • Keywords
    Analytical models; Digital systems; Fault detection; Fault diagnosis; Fault tolerant systems; Formal verification; Hardware; Permission; Process design; System testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Design Automation, 1980. 17th Conference on
  • Print_ISBN
    0-89791-020-6
  • Type

    conf

  • DOI
    10.1109/DAC.1980.1585246
  • Filename
    1585246