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

vol 63 / September, 2020

DOI 10.17586/0021-3454-2020-63-7-583-599

UDC 004.052.32:681.518.5


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

Abstract. Some problems of constructing automation and computer technology devices with self-checking structures are discussed. The possibility of developing a modification of the well-known logical com-plement method for the purposes in question is considered. The essence of the method consists in ini-tial transformation of the source device operating functions into functions of a special type and subse-quent control of them according to selected diagnostic criteria. To implement the method, a logical complement block is used, formed by a cascade of two-input adders modulo two. An approach based on a hybrid method of organizing control is proposed: initially, the signals coming from several outputs of the source device are compressed, and then the compressed signals are controlled by the logical complement method. It is shown that the approach allows to reduce the final device structural redun-dancy by reducing the number of control sub-circuits. The effectiveness of the new approach as applied to organization of self-checking devices is confirmed by an example which demonstrate the possibility to build a device not only with a structural redundancy lower than with duplication, but also comparable and even less than with control by parity.
Keywords: self-checking built-in control scheme, duplication method, parity control method, logical complement; equilibrium code, compression of signals, complexity of technical implementation, structural redundancy

  1. Sapozhnikov V.V., Sapozhnikov Vl.V., Khristov Kh.A., Gavzov D.V. Metody postroyeniya bezopasnykh mikroelektronnykh sistem zheleznodorozhnoy avtomatiki (Methods for Constructing Safe Microelectronic Systems of Railway Automation), Moscow, 1995, 272 р. (in Russ.)
  2. Smith D.J., Simpson K.G.L. Functional safety: A Straightforward Guide to IEC 61508 and Related Standards, Butterworth-Heinemann, 1st edition (June 26, 2001), 208 p.
  3. 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.)
  4. 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.
  5. Shcherbakov N.S. Dostovernost' raboty tsifrovykh ustroystv (Reliability of Digital Devices), Mos-cow, 1989, 224 р. (in Russ.)
  6. Stempkovskiy A.L., Telpukhov D.V., Zhukova T.D., Gurov S.I., Solovyev R.A. Izvestiya SFedU. Engineering Sciences, 2017, no. 7(192), pp. 197–210. DOI 10.23683/2311-3103-2017-7-197-210.
  7. Sogomonyan E.S. Self-Correction Fault-Tolerant Systems, Preprint, October 2018, 30 p. (in Russ.)
  8. Đug M., Weidling S., Sogomonyan E.S., Jokic D., Krstic M. Journal of Circuits, Systems and Com-puters, 17 January 2020, pp. 1–16. DOI: 10.1142/S0218126620502187.
  9. Sogomonyan E.S., Slabakov E.V. Samoproveryaemye ustroystva i otkazoustoychivye sistemy (The Self-Checked Devices and Failure-Safe Systems), Moscow, 1989, 208 р. (in Russ.)
  10. Slabakov Е.V., Sogomonyan E.S. Automation and Remote Control, 1981, no. 11, pp. 147–167. (in Russ.)
  11. Parkhomenko P.P., Sogomonyan E.S. Osnovy tekhnicheskoy diagnostiki. Optimizatsiya algorit-mov diagnostirovaniya, apparaturnye sredstva (Basics of Technical Diagnostics. Optimization of Algorithms of Diagnosing, Hardware Means), Moscow, 1981, 320 р. (in Russ.)
  12. Sapozhnikov V.V., Sapozhnikov Vl.V., Efanov D.V. Kody Khemminga v sistemakh funktsion-al'nogo kontrolya logicheskikh ustroystv (Hamming Codes in Logic Devices Functional Control Systems), St. Petersburg, 2018, 151 р. (in Russ.)
  13. Goessel М., Sogomonyan E.S. Automation and Remote Control, 1992, no. 10, pp. 135–141. (in Russ.)
  14. Piestrak S.J. Design of Self-Testing Checkers for Unidirectional Error Detecting Codes, Wrocław, Oficyna Wydawnicza Politechniki Wrocłavskiej, 1995, 111 p.
  15. Mitra S., McCluskey E.J. Proceedings of International Test Conference, 2000, USA, Atlantic City, NJ, 3–5 October 2000, pp. 985–994.
  16. Nicolaidis M., Zorian Y. Journal of Electronic Testing: Theory and Applications, 1998, no. 12, pp. 7–20.
  17. Gessel' M., Morozov A.A., Sapozhnikov V.V., Sapozhnikov Vl.V. Automation and Remote Control, 1994, no. 7, pp. 148–160. (in Russ.)
  18. Berger J.M. Information and Control, 1961, no. 1(4), pp. 68–73. DOI: 10.1016/S0019-9958(61)80037-5.
  19. Gessel' M., Morozov A.A., Sapozhnikov V.V., Sapozhnikov Vl.V. Automation and Remote Control, 1997, no. 2, pp. 180–193. (in Russ.)
  20. Das D., Touba N.A., Seuring M., Gossel M. Proceedings of IEEE 6th International On-Line Testing Workshop (IOLTW), Spain, Palma de Mallorca, July 3–5, 2000, pp. 171–176.
  21. Goessel M., Morozov A.V., Sapozhnikov V.V., Sapozhnikov Vl.V., Dmitriev A.V. Automation and Remote Control, 2003, no. 1, pp. 167–176. (in Russ.)
  22. Saposhnikov Vl.V., Dmitriev A., Goessel M., Saposhnikov V.V. Proceedings of 14th IEEE VLSI Test Symposium, USA, Princeton, 1996, pp. 162–168.
  23. 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.
  24. 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.
  25. Sen S.K. National Conference on Emerging trends and advances in Electrical Engineering and Renewable Energy (NCEEERE 2010), Sikkim Manipal Institute of Technology, Sikkim, held dur-ing 22–24 December, 2010.
  26. Das D.K., Roy S.S., Dmitiriev A., Morozov A., Gössel M. Proceedings of the 10th International Workshops on Boolean Problems, Freiberg, Germany, September, 2012, pp. 33–40.
  27. Sapozhnikov V.V., Sapozhnikov Vl.V., Efanov D.V. Control Sciences, 2017, no. 1, pp. 57–64.
  28. Sapozhnikov V.V., Sapozhnikov Vl.V. Samoproveryaemye diskretnyye ustroystva (Self-Checked Discrete Devices), St. Petersburg, 1992, 224 р. (in Russ.)
  29. Efanov D.V., Sapozhnikov V.V., Sapozhnikov Vl.V., Pivovarov D.V. Automatic Control and Com-puter Sciences, 2020, no. 2, pp. 89–99. (in Russ.)
  30. Pivovarov D.V. Automation on Transport, 2018, no. 1(4), pp. 131–149. (in Russ.)
  31. Sapozhnikov V.V., Sapozhnikov Vl.V., Efanov D.V. Journal of Instrument Engineering, 2016, no. 7(59), рр. 524–533. DOI 10.17586/0021-3454-2016-59-7-524-533. (in Russ.)
  32. Sapozhnikov V.V., Efanov D.V., Dmitriev V.V. Automation and Remote Control, 2017, no. 2(78), pp. 300–312.
  33. Sentovich E.M., Singh K.J., Moon C., Savoj H., Brayton R.K., Sangiovanni-Vincentelli A. Proceed-ings IEEE International Conference on Computer Design: VLSI in Computers & Processors, 11–14 October 1992, Cambridge, MA, USA, pp. 328–333. DOI: 10.1109/ICCD.1992.276282.
  34. 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. SIS: A System for Sequential Circuit Synthesis, Electron-ics Research Laboratory, Department of Electrical Engineering and Computer Science, University of California, Berkeley, 4 May 1992, 45 p.
  35. Patent US. 747533, Self-Checking Error Checker for Two-Rail Coded Data, Carter W.C., Duke K.A., Schneider P.R., July 25, 1968.
  36. Efanov D.V., Sapozhnikov V.V., Sapozhnikov Vl.V. Automation and Remote Control, 2018, no. 9(79), pp. 1609–1620.
  37. Sapozhnikov V.V., Sapozhnikov Vl.V., Efanov D.V., Pivovarov D.V. Journal of Instrument Engi-neering, 2019, no. 12(62), pp. 1039–1052. DOI: 10.17586/0021-3454-2019-62-12-1039-1052. (in Russ.)