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

9
Issue
vol 63 / September, 2020
Article

DOI 10.17586/0021-3454-2019-62-12-1039-1052

UDC 004.052.32+681.518.5

METHOD OF DIAGNOSTIC SYSTEM SYNTHESIS BASED ON BOOLEAN COMPLEMENT WITH REDUCED NUMBER OF CORRECTION ELEMENTS

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


D. V. Pivovarov
Emperor Alexander I St. Petersburg State Transport University, De-partment of Automation and Remote Control on Railways; Assistant


Read the full article 

Abstract. Application of Boolean complement in self-checking combinational devices synthesis is consid-ered. A method is proposed for reducing the number of correction elements in the basic block diagram of the initial combinational device diagnosis system using a 1-out-of-3 constant-weight code. The method is based on conversion of only one working function and the addition of three-digit code word in the check circuit to four-digit code word for 2-out-of-4 constant-weight code. Such an approach to the construction of diagnostic system simplifies the self-checking procedure of the structure and reduces the complexity of the final device implementation. The decrease is due to the variability of the check logic structure block and relative simplicity of codes checkers for 2-out-of-4 constant-weight codes as compared to 1-out-of-3 constant-weighted codes checkers. Examples of using the described method for synthesis of self-checking combinational devices with three or more outputs are presented.
Keywords: self-checking combinational device, Boolean complement method, addition modulo two element, constant-weight code, constant-weight code checker, device structural redundancy

References:
  1. Sogomonyan E.S., Slabakov E.V. Samoproveryaemye ustroystva i otkazoustoychivye sistemy (The Self-Checked Devices and Failure-Safe Systems), Moscow, 1989, 208 р. (in Russ.)
  2. Piestrak S.J. Design of Self-Testing Checkers for Unidirectional Error Detecting Codes, Wrocław, Ofi-cyna Wydawnicza Politechniki Wrocłavskiej, 1995, 111 p.
  3. Nicolaidis M., Zorian Y. Journal of Electronic Testing: Theory and Applications, 1998, no. 12, pp. 7–20. DOI: 10.1023/A:1008244815697.
  4. Das D., Touba N.A. Proceedings of 17th IEEE Test Symposium, California, USA, 1999, pp. 370–376, DOI: 10.1109/VTEST.1999.766691.
  5. Fujiwara E. Code Design for Dependable Systems: Theory and Practical Applications, John Wiley & Sons, 2006, 720 p.
  6. Borecký J., Kohlík M., Kubátová H. Microprocessors and Microsystems, 2017, no. 52, pp. 251–260, DOI: 10.1016/j.micpro.2017.06.015.
  7. Stempkovskiy A., Telpukhov D., Gurov S., Zhukova T., Demeneva A. 2018 IEEE Conference of Rus-sian Young Researchers in Electrical and Electronic Engineering (EIConRus), 29 January–1 Febru-ary 2018, Moscow, Russia, pp. 1430–1433, DOI: 10.1109/EIConRus.2018.8317365.
  8. 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.)
  9. Efanov D., Sapozhnikov V., Sapozhnikov Vl. Proceedings of 15th IEEE East-West Design & Test Symposium (EWDTS`2017), Novi Sad, Serbia, 29 September–2 October 2017, pp. 365-371, DOI: 10.1109/EWDTS.2017.8110126.
  10. Freiman C.V. Information and Control, 1962, no. 1(5), pp. 64–71, DOI: 10.1016/S0019-9958(62)90223-1.
  11. Anderson D.A., Metze G. IEEE Transaction on Computers, 1973, no. 3(С-33), pp. 263–269.
  12. Maznev V.I. Automation and Remote Control, 1978, no. 9, pp. 142–145. (in Russ.)
  13. Sapozhnikov V.V., Sapozhnikov Vl.V. Automation and Remote Control, 1992, no. 3, pp. 3–35. (in Russ.)
  14. Sapozhnikov V.V., Sapozhnikov Vl.V. Samoproveryaemye diskretnyye ustroystva (Self-Checked Dis-crete Devices), St. Petersburg, 1992, 224 р. (in Russ.)
  15. Matrosova A., Ostrovsky V., Levin I., Nikitin K. Proceedings of the 9th IEEE International On-Line Test-ing Symposium (IOLTS’03), 7–9 July 2003, Kos Island, Greece, pp. 49–53.
  16. Efanov D.V., Sapozhnikov V.V., Sapozhnikov Vl.V., Pivovarov D.V. Engineering Simulation, 2019, no. 1(41), pp. 27–42. DOI: 10.15407/emodel.41.01.027.
  17. 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.
  18. Efanov D.V., Sapozhnikov V.V., Sapozhnikov Vl.V., Pivovarov D.V. Automatic Control and Computer Sciences, 2019, no. 6(53), pp. 481–491. DOI: 10.3103/S014641161906004X.
  19. Sapozhnikov V.V., Sapozhnikov Vl.V., Efanov D.V., Pivovarov D.V. Tomsk State University Journal. Control and Computer Science, 2017, no. 4, pp. 69–80. DOI: 10.17223/19988605/41/9. (in Russ.)
  20. Sapozhnikov V.V., Sapozhnikov Vl.V., Efanov D.V. Control Sciences, 2017, no. 1, pp. 57–64. (in Russ.)
  21. Sapozhnikov V.V., Sapozhnikov Vl.V., Efanov D.V., Pivovarov D.V. Modelling and Simulation in Engi-neering, 2017, no. 2(39), pp. 15–34. (in Russ.)
  22. Sapozhnikov V., Sapozhnikov Vl., Efanov D., Bliudov A., Pivovarov D. Proceedings of 15th IEEE East-West Design & Test Symposium (EWDTS`2017), Novi Sad, Serbia, September 29–October 2, 2017, pp. 89–94. DOI: 10.1109/EWDTS.2017.8110076.
  23. Efanov D.V., Sapozhnikov V.V., Sapozhnikov Vl.V., Pivovarov D.V Informatics, 2018, no. 4(15), pp. 71–85. (in Russ.)
  24. Gessel M., Morozov A.V., Sapozhnikov V.V., Sapozhnikov Vl.V. Automation and Remote Control, 2003, no. 1(64), pp. 153–161.
  25. Parkhomenko P.P., Sogomonyan E.S. Osnovy tekhnicheskoy diagnostiki (optimizatsiya algoritmov diagnostirovaniya, apparaturnyye sredstva) (Fundamentals of Technical Diagnostics (Optimization of Diagnostic Algorithms, Hardware)), Moscow, 1981, 320 р. (in Russ.)
  26. Aksеnova G.P. Automation and Remote Control, 1979, no. 9, pp. 126–135. (in Russ.)
  27. Das D.K., Roy S.S., Dmitiriev A., Morozov A., Gössel M. Proceedings of the 10th International Work-shops on Boolean Problems, Freiberg, Germany, September, 2012, pp. 33–40.
  28. Sapozhnikov V.V., Sapozhnikov Vl.V., Efanov D.V. Modelling and Simulation in Engineering, 2016, no. 6(38), pp. 25–43. (in Russ.)
  29. Nikolos D. Journal of Electronic Testing: Theory and Applications, 1998, no. 1-2(12), pp. 69–79. DOI: 10.1023/A:1008281822966.
  30. Sapozhnikov V.V., Sapozhnikov Vl.V, Chuguy Т.А. Journal of Instrument Engineering, 1991, no. 6(34), pp. 27–33. (in Russ.)
  31. Sapozhnikov V.V., Sapozhnikov Vl.V., Efanov D.V. Journal of Instrument Engineering, 2017, no. 5(60), pp. 404–411. DOI: 10.17586/0021-3454-2017-60-5-404-411. (in Russ.)
  32. Sapozhnikov V.V., Sapozhnikov Vl.V. Automation and Remote Control, 1991, no. 2pt 2(52), pp. 289–296.
  33. Sapozhnikov V., Sapozhnikov Vl., Efanov D. Proceedings of 14th IEEE East-West Design & Test Symposium (EWDTS`2016), Yerevan, Armenia, October 14–17, 2016, pp. 126–133, DOI: 10.1109/EWDTS.2016.7807677.