The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.09 - September (1985 vol.34)
pp: 810-821
V.S. Iyengar , IBM T. J. Watson Research Center
ABSTRACT
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.
INDEX TERMS
self-testing, Concurrent error detection, error-detecting codes, fault secure, microprogrammed controller, monitors, partition algebra
CITATION
V.S. Iyengar, L.L. Kinney, "Concurrent Fault Detection in Microprogrammed Control Units", IEEE Transactions on Computers, vol.34, no. 9, pp. 810-821, September 1985, doi:10.1109/TC.1985.1676637
632 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool