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

2
Issue
vol 67 / February, 2024
Article

DOI 10.17586/0021-3454-2021-64-3-163-175

UDC 004.052.32+681.518.5

SYNTHESIS OF SELF-CHECKING BUILT-IN CONTROL CIRCUITS BASED ON LOGICAL COMPLEMENT TO THE EQUILIBRIUM TWO-OUT-OF-FIVE CODE

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 method for organizing self-checking built-in control circuits for automation and computing devices, based on the method of logical complement to the equilibrium two-out-of-five code, is presented. A procedure for completing the definition of the control functions of a logical complement is proposed, which makes it possible to provide the formation of complete tests for the transformation elements and the tester in the built-in control circuit; this ensures the most even distribution of working combinations between all test combinations for all elements of the control scheme. The minimum number of working combinations required for a complete check of the elements of the built-in control circuit is six, which is 18,75 % of the total number of working combinations. The proposed method for obtaining the values of the control functions of the complement is based on the functional dependence of the control and operating functions of the diagnostic object, which ensures the simplicity of its automation and integration into the means of computer-aided design of digital computing systems.
Keywords: self-checking computing devices and systems, built-in control circuit, control of calculations, logical complement method, equilibrium code, two-out-of-five code, testability of components

References:
  1. Saposhnikov Vl.V., Dmitriev A., Goessel M., Saposhnikov V.V. Proceedings of 14th IEEE VLSI Test Symposium, USA, Princeton, 1996, pp. 162–168.
  2. Gessel M., Dmitriev A.V., Sapozhnikov V.V., Sapozhnikov Vl. V. Automation and Remote Control, 1999, no. 11, pp. 162–174. (in Russ.)
  3. Morozov A., Saposhnikov V.V., Saposhnikov Vl.V., Goessel M. Proceedings of 6th IEEE International On-Line Testing Workshop, Palma de Mallorca, Spain, 3–5 July 2000, pp. 171–176, DOI: 10.1109/OLT.2000.856626.
  4. Gessel M., Morozov A.V., Sapozhnikov V.V., Sapozhnikov Vl.V. Automation and Remote Control, 2003, no. 1(64), pp. 153–161.
  5. Saposhnikov V.V., Saposhnikov Vl.V., Morozov A., Goessel M., Osadchy G. Proceedings of 2th IEEE East-West Design & Test Symposium (EWDTS’2004), Crimea, Ukraine, September 15–17, 2004, pp. 83–87.
  6. Goessel M., Morozov A.V., Sapozhnikov V.V., Sapozhnikov Vl.V. Automation and Remote Control, 2005, no. 8(66), pp. 1336–1346.
  7. Pivovarov D.V. Automation on transport, 2017, no. 4(3), pp. 605–624. (in Russ.)
  8. Pivovarov D.V. Automation on transport, 2018, no. 1(4), pp. 131–149. (in Russ.)
  9. Göessel M., Ocheretny V., Sogomonyan E., Marienfeld D. New Methods of Concurrent Checking: Edition 1, Dordrecht: Springer Science+Business Media B.V., 2008, 184 p.
  10. Sen S.K. National Conference on Emerging Trends and Advances in Electrical Engineering and Renewable Energy (NCEEERE 2010), Sikkim Manipal Institute of Technology, Sikkim, India, December 22–24, 2010.
  11. Das D.K., Roy S.S., Dmitriev A., Morozov A., Gössel M. Proceedings of the 10th International Workshops on Boolean Problems, Freiberg, Germany, September, 2012, pp. 33–40.
  12. Sogomonyan E.S., Slabakov E.V. Samoproveryaemye ustroystva i otkazoustoychivye sistemy (The Self-Checked Devices and Failure-Safe Systems), Moscow, 1989, 208 р. (in Russ.)
  13. Das D., Touba N.A. Journal of Electronic Testing: Theory and Applications, 1999, no. 1-2(15), pp. 145–155, DOI: 10.1023/A:1008344603814.
  14. Das D., Touba N.A. Proceedings of the 17th IEEE VLSI Test Symposium, USA, CA, Dana Point, April 25–29, 1999, pp. 370–376.
  15. Mitra S., McCluskey E.J. Proceedings of International Test Conference, 2000, USA, Atlantic City, NJ, October 03–05, 2000, pp. 985–994, DOI: 10.1109/TEST.2000.894311.
  16. Gavrilov S.V., Gurov S.I., Zhukova T.D., Ryzhova D.I. Informatsionnyye tekhnologii, 2016, no. 12(22), pp. 931–937. (in Russ.)
  17. Tel'pukhov D.V., Demeneva A.I., Zhukova T.D., Gurov S.I. Problemy razrabotki perspektivnykh mikro- i nanoelektronnykh sistem (MES), 2018, no. 4, pp. 98–104. (in Russ.)
  18. Stempkovskiy A., Telpukhov D., Gurov S., Zhukova T., Demeneva A. 2018 IEEE Conference of Russian Young Researchers in Electrical and Electronic Engineering (EIConRus), 29 January–1 February 2018, Moscow, Russia, pp. 1430–1433, DOI: 10.1109/EIConRus.2018.8317365.
  19. Sapozhnikov V.V., Sapozhnikov Vl.V., Efanov D.V. Kody s summirovaniyem dlya sistem tekhnicheskogo diagnostirovaniya. Tom 1: Klassicheskiye kody Bergera i ikh modifikatsii (Summed Codes for Technical Diagnostic Systems. Volume 1: Classical Berger Codes and Their Modifications), Moscow, 2020, 383 р. (in Russ.)
  20. Sapozhnikov V.V., Sapozhnikov Vl.V., Efanov D.V. Electronic Modeling, 2016, no. 6(38), pp. 25–43.
  21. Sapozhnikov V.V., Sapozhnikov Vl.V., Efanov D.V. Control Sciences, 2017, no. 1, pp. 57–64. (in Russ.)
  22. Sapozhnikov V.V., Sapozhnikov Vl.V., Efanov D.V., Pivovarov D.V. Electronic Modeling, 2017, no. 2(39), pp. 15–34.
  23. Gessel' M., Dmitriev A.V., Sapozhnikov V.V., Sapozhnikov Vl.A. Automation and Remote Control, 2000, no. 7, pp. 1192–1200.
  24. Sapozhnikov V.V., Sapozhnikov Vl.V., Gessel' M., Morozov A.A. Automation and Remote Control, 2000, no. 2, pp. 318–329.
  25. Saposhnikov V.V., Saposhnikov Vl.V., Göessel M. Samodvoystvennyye diskretnyye ustroystva (Self-Dual Discrete Devices), St. Petersburg, 2001, 331 р. (in Russ.)
  26. Efanov D., Sapozhnikov V., Sapozhnikov Vl., Osadchy G., Pivovarov D. Proceedings of 17th IEEE East-West Design & Test Symposium (EWDTS’2019), Batumi, Georgia, September 13–16, 2019, pp. 136–143, DOI: 10.1109/EWDTS.2019.8884398.
  27. Efanov D.V., Sapozhnikov V.V., Sapozhnikov Vl.V., Pivovarov D.V. Electronic Modeling, 2020, no. 3(42), pp. 27–52, DOI: 10.15407/emodel.42.03.027. (in Russ.)
  28. Sapozhnikov V.V., Sapozhnikov Vl.V. Samoproveryaemye diskretnyye ustroystva (Self-Checked Discrete Devices), St. Petersburg, 1992, 224 р. (in Russ.)
  29. Piestrak S.J. Design of Self-Testing Checkers for Unidirectional Error Detecting Codes, Wrocław, Oficyna Wydawnicza Politechniki Wrocłavskiej, 1995, 111 p.
  30. Aksеnova G.P. Automation and Remote Control, 1979, no. 9, pp. 126–135. (in Russ.)
  31. Efanov D.V. Journal of Instrument Engineering, 2019, no. 7(62), pp. 621–631, DOI: 10.17586/0021-3454-2019-62-7-621-631.
  32. Efanov D.V., Sapozhnikov V.V., Sapozhnikov Vl.V., Pivovarov D.V. Automatic Control and Computer Sciences, 2020, no. 2(54), pp. 89–99, DOI: 10.3103/S0146411620020042.
  33. Sapozhnikov V.V., Sapozhnikov Vl.V., Efanov D.V. Kody Khemminga v sistemakh funktsional'nogo kontrolya logicheskikh ustroystv (Hamming Codes in Logic Devices Functional Control Systems), St. Petersburg, 2018, 151 р. (in Russ.)
  34. Sentovich E.M., Singh K.J., Moon C., Savoj H., Brayton R.K., Sangiovanni-Vincentelli A. Proceedings IEEE International Conference on Computer Design: VLSI in Computers & Processors, October 11–14 1992, Cambridge, MA, USA, pp. 328–333, DOI: 10.1109/ICCD.1992.276282.
  35. Kunz W., Menon P.R. Proceedings of IEEE/ACM International Conference on Computer Aided Design (ICCAD`94), San Jose, CA, November, 1994, pp. 6–13.
  36. Zakrevskij A., Pottosin Yu., Cheremisinova L. Optimization in Boolean Space, Tallinn, TUT Press, 2009, 241 p.