By Topic

New approach to synthesis of self-checking microprogrammed control units with specified fault-detection probabilities

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $33
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
S. N. Demidenko ; Inst. of Cybern., Acad. of Sci., Minsk, Byelorussian SSR, USSR ; E. M. Levin ; K. V. Lever

The paper presents an initial attempt to create a general procedure for synthesising concurrent self-checking microprogrammed control units having a prescribed quality of checking. The authors consider systems in which diagnostic features are provided by the use of a checking strategy based on special check keys to code the flow graph representing the microinstruction sequence. They investigate the conditions under which the diagnostic features allow faulty transitions in the flow graph to be successfully detected, and derive a method for obtaining probabilistic estimates of faulty transition detection. They present a matrix description of the probabilities of the events involved: fault occurrence at flow graph vertices, faulty transitions between vertices, and the detection of faulty transitions. They include a simple example illustrating the methodology, in which a proposed scheme is first analysed to determine its performance, then modified to meet a higher specification.

Published in:

IEE Proceedings E - Computers and Digital Techniques  (Volume:138 ,  Issue: 6 )