ISSN 0021-3454 (print version)
ISSN 2500-0381 (online version)
Menu

9
Issue
vol 63 / September, 2020
Article

DOI 10.17586/0021-3454-2018-61-3-227-239

UDC 681.518.5:004.052.32

METHOD OF ORGANIZING SYSTEMS OF FUNCTIONAL CONTROL OF COMBINATION LOGIC SCHEMES BASED ON MODULE-WEIGHTED BERGER CODES

V. V. Sapozhnikov
PSTU; Professor, Department of Automation and Telemechanics on the Railways


V. V. Sapozhnikov
PSTU; Professor, Department of Automation and Telemechanics on the Railways


D. V. Ephanov
PSTU; Department of Automation and Telemechanics on the Railways


Read the full article 

Abstract. A new method is proposed for organization of concurrent error detection system of combinational logical circuits with 100 % detection of single stuck-at faults on inner structure elements outputs. The method is based on partition of circuit outputs into the groups in which values of maximum two outputs may be distorted simultaneously. Module-weighted Berger codes with data vector lengths m = 2b, b = {2, 3, …} are used for the control. It is noted that module-weighted code with m = 4 is the most effective for this purpose: its generator has the simplest structure for which the self-checking property is easily ensured.
Keywords: functional control system, combinational circuit, module-weighted Berger codes, 100 % fault detection; outputs independence

References:
  1. Karavay M.F., Sogomonyan E.S. Automation and Remote Control, 1979, no. 8, pp. 105–119.
  2. Parkhomenko P.P., Sogomonyan E.S. Osnovy tekhnicheskoy diagnostiki. Optimizatsiya algoritmov diagnostirovaniya, apparaturnye sredstva (Basics of Technical Diagnostics. Optimization of Algorithms of Diagnosing, Hardware Means), Moscow, 1981, 320 р. (in Russ.)
  3.  Litikov I.P., Sogomonyan E.S. Automation and Remote Control,1985, no. 3, pp.111–121.
  4.  GoesselM., Sogomonyan E.S.Automation and Remote Control, 1996, no. 11, pp.155–165.
  5.  Aksenova G.P.Automation and Remote Control, 2010, no. 12, pp.154–165.
  6.  Aksenova G.P.Automation and Remote Control, 2015, no. 2, pp.141–149.
  7.  Parkhomenko P.P.Automation and Remote Control, 2009, no. 5, pp.180–189.
  8.  Skobtsov Yu.A., Skobtsov V.Yu. Logicheskoe modelirovanie i testirovanie tsifrovykh ustroystv (Logical Modeling and Testing of Digital Devices),Donetsk, 2005,436 р. (in Russ.)
  9.  Khakhanov V.I., Litvinova E.I., Guz' O.A.Proektirovanie i testirovanie tsifrovykh sistem na kristallakh (Design and Testing of Digital Systems on Crystals), Khar'kov,2009,484 р. (in Russ.)
  10.  Nicolaidis M., Zorian Y. Journal of Electronic Testing: Theory and Applications, 1998, no. 1–2(12), pp. 7–20.
  11.  Mitra S., McCluskey E.J.Proceedings of International Test Conference, 2000, Atlantic City, USA, 03–05 October 2000, pp. 985–994. DOI: 10.1109/TEST.2000.894311.
  12.  Drozd A.V., Kharchenko V.S., Antoshchuk S.G., Drozd Yu.V., Drozd M.A., Sulima Yu.Yu. Rabochee diagnostirovanie bezopasnykh informatsionno-upravlyayushchikh sistem (Working Diagnosing of Safe Management Information Systems), Khar'kov, 2012, 614 p. (in Russ.)
  13.  Kharchenko V., Kondratenko Yu., Kacprzyk J. Green IT Engineering: Concepts, Models, Complex Systems Architectures, Springer Book series "Studies in Systems, Decision and Control", 2017, vol. 74, 305 p. DOI: 10.1007/978-3-319-44162-7.
  14.  Sogomonyan E.S., Slabakov E.V. Samoproveryaemye ustroystva i otkazoustoychivye sistemy (The Self-Checked Devices and Failure-Safe Systems), Moscow, 1989, 208 р. (in Russ.)
  15.  Sapozhnikov V.V., Sapozhnikov Vl.V. Samoproveryaemye diskretnye ustroystva (The Self-Checked Discrete Devices), St. Petersburg, 1992, 224 p. (in Russ.)
  16.  Goessel M., Graf S. Error Detection Circuits, London, McGraw-Hill, 1994, 261 p.
  17.  Fujiwara E. Code Design for Dependable Systems: Theory and Practical Applications, John Wiley & Sons, 2006, 720 p.
  18. Göessel M., Ocheretny V., Sogomonyan E., Marienfeld D.New Methods of Concurrent Checking, Dordrecht, Springer Science+Business Media B.V., 2008, 184 p.
  19. Sapozhnikov V.V., Sapozhnikov Vl.V., Efanov D.V., Nikitin D.A.Information Science and Control Systems,2015, no. 3, pp. 53–62.(in Russ.)
  20. Sapozhnikov V.V., Sapozhnikov Vl.V., Efanov D.V. Electronic Modeling,2017, no. 4(39), pp.69–88.
  21. GoesselM., Sogomonyan E.S.Automation and Remote Control,1992, no. 8, pp.150–160.
  22. Busaba F.Y., Lala P.K. Journal of Electronic Testing: Theory and Applications, 1994, no. 1, pp. 19–28. DOI: 10.1007/BF00971960.(in Russ.)
  23. GoesselМ., Morozov A.A., Sapozhnikov V.V., Sapozhnikov Vl.V.Automation and Remote Control, 1994, no. 4, pp. 148–160.(in Russ.)
  24. Goessel М., Morozov A.A., Sapozhnikov V.V., Sapozhnikov Vl.V. Automation and Remote Control, 1997, no. 2, pp. 180–193.(in Russ.)
  25.  Matrosova A.Yu., Ostanin S.A. Proceedings of the IEEE European Test Workshop (ITW’98), 27–29 May 1998, Sitges, Barcelona, Spain.
  26. Morosow A., Saposhnikov V.V., Saposhnikov Vl.V., Goessel M. VLSI Design, 1998, no. 4(5), pp. 333–345.
  27.  Efanov D.V., Sapozhnikov V.V., Sapozhnikov Vl.V. Automation and Remote Control, 2017, no. 5, pp. 152–165. (in Russ.)
  28.  Collection of Digital Design Benchmarks,http://ddd.fit.cvut.cz/prj/Benchmarks/.
  29.  Sentovich E.M., Singh K.J., Lavagno L., Moon C., Murgai R., Saldanha A., Savoj H., Stephan P.R., Brayton R.K., Sangiovanni-Vincentelli A. Electronics Research Laboratory, Department of Electrical Engineering and Computer Science, University of California, Berkeley, 4 May 1992, 45 p.
  30. Fujiwara E., Muto N., Matsuoka K. IEEE Transaction on Computers, 1984, no. 8(33), pp. 583–588.
  31. Ghosh S., Basu S., Touba N.A. Proceedings of 23rd IEEE VLSI Test Symposium (VTS'05), 2005, pp. 315–320.
  32.  Aksenova G.P. Problemy Upravleniya, 2008, no. 5, рр. 62–66. (in Russ.)
  33. Bose B., Lin D.J. IEEE Transaction on Computers, 1985, no. C-34, pp. 1026–1032.
  34. Piestrak S.J. Design of Self-Testing Checkers for Unidirectional Error Detecting Codes, Wrocław, Oficyna Wydawnicza Politechniki Wrocłavskiej, 1995, 111 p.
  35. Efanov D.V. RUSSIAN PHYSICS JOURNAL, 2016, no. 8/2(59), pp.33–36.(in Russ.)
  36. Efanov D.V. Tomsk State University Journal of Control and Computer Science,2016, no. 4, pp.13–26. DOI: 10.17223/19988605/37/2.(in Russ.)
  37. Carter W., Schneider P.Proceedings of IFIP Congress 68, Edinburgh, Scotland, 1968, pp. 878–883.
  38. Huches J.L.A., McCluskey E.J., Lu D.J.IEEE Transactions on Computers, 1984, no. 6(C-33), pp. 546–550.