Concurrent Fault Detection in Microprogrammed Control Units

Vijay S. Iyengar, L. L. Kinney

Research output: Contribution to journalArticlepeer-review

26 Scopus citations

Abstract

This — This paper specifies procedures for defining a monitor circuit that can detect faults in microprogram sequencers. The monitor and the sequencer operate in parallel and errors are detected by comparing outputs from the monitor circuit with outputs from the sequencer. Faults that cause errors in the flow of control are detectable, as well as some faults that cause errors only in the microinstruction fields. The design procedure presented for monitors consists of four parts. First, a model of the program flow is constructed that only retains the information required to define a monitor. Second, faults in a specified fault set are modeled by the errors they cause in the program flow model. Third, the functional requirements of the monitor are specified in terms of partitions on the states of the program flow model. Fourth, the logic design of the monitor is completed.

Original languageEnglish (US)
Pages (from-to)810-821
Number of pages12
JournalIEEE Transactions on Computers
VolumeC-34
Issue number9
DOIs
StatePublished - Sep 1985

Keywords

  • Concurrent error detection
  • error-detecting codes
  • fault secure
  • microprogrammed controller
  • monitors
  • partition algebra
  • self-testing

Fingerprint Dive into the research topics of 'Concurrent Fault Detection in Microprogrammed Control Units'. Together they form a unique fingerprint.

Cite this