Peter the Great Saint Petersburg Polytechnic University (Higher School of Transport, Mechanical Engineering, Material and Transport Institute, Professor)
Russian University of Transport (MIIT) (Department of Automation, Remote Control and Communication on Railway Transport, Professor)
Tashkent State Transport University (Department of Automation and Remote Control, Professor)
Institute of Transport Problems named after N. S. Solomenko of the Russian Academy of Sciences (Laboratory of Problems of Organization of Transport Systems (Laboratory No. 5), Leading Researcher)
Russian Federation
Russian Federation
Russian Federation
Belarus
Russian Federation
UDC 004.052.32
This paper aims to enhance the design method for self-checking discrete devices used in automatic control systems, based on the composition of two constantweight codes with orthogonal combinations across all bits. A method has been proposed for design high-speed checkers for the composition of constant-weight codes with orthogonal combinations across all bits. This approach entails the construction of checkers based on detectors of the two constant-weight codes, utilizing the properties of symmetric Boolean functions. Dependencies have been established that enable the determination of the complexity indicator for the technical implementation of the checker, applicable to any length of code words. Some properties and characteristics of the synthesized testers are presented. The technique for synthesizing testers for a composition of an arbitrary number of constant-weight codes is demonstrated. The findings of this research can be applied in the development of highly reliable and safe discrete devices using various element bases.
self-checking discrete device, composition of two constant-weight codes, symmetric Boolean function, design of the composition of constant-weight codes, checker efficiency index
1. Sapozhnikov V. V. Metody postroeniya bezopasnyh mikroelektronnyh sistem zheleznodorozhnoy avtomatiki / V. V. Sapozhnikov, Vl. V. Sapozhnikov, H. A. Hristov, D. V. Gavzov; pod red. Vl. V. Sapozhnikova. — M.: Transport, 1995. — 272 s.
2. Fujiwara E. Code Design for Dependable Systems: Theory and Practical Applications / E. Fujiwara. — John Wiley & Sons, 2006. — 720 p.
3. Drozd A. V. Rabochee diagnostirovanie bezopasnyh informacionno-upravlyayuschih sistem / A. V. Drozd, V. S. Harchenko, S. G. Antoschuk, Yu. V. Drozd i dr. — Har'kov: Nacional'nyy aerokosmicheskiy universitet im. N. E. Zhukovskogo «HAI», 2012. — 614 s.
4. Gessel' M. Issledovanie kombinacionnyh samoproveryaemyh ustroystv s nezavisimymi i monotonno nezavisimymi vyhodami / M. Gessel', A. A. Morozov, V. V. Sapozhnikov, Vl. V. Sapozhnikov // Avtomatika i telemehanika. — 1997. — № 2. — S. 180–193.
5. Saposhnikov V. V. A New Design Method for Self-Checking Unidirectional Combinational Circuits / V. V. Saposhnikov, A. Morosov,Vl.V. Saposhnikov, M. Göessel // Journal of Electronic Testing: Theory and Applications. — 1998. — Vol. 12. — Iss. 1–2. — Pp. 41–53. — DOI:https://doi.org/10.1023/A:1008257118423.
6. Morosow A. Self-Checking Combinational Circuits with Unidirectionally Independent Outputs / A. Morosow, V. V. Sapozhnikov, Vl. V. Sapozhnikov, M. Goessel // VLSI Design. — 1998. — Vol. 5. — Iss. 4. — Pp. 333–345. — DOI:https://doi.org/10.1155/1998/20389.
7. Efanov D. V. Organization of a Fully Self-Checking Structure of a Combinational Device Based on Searching for Groups of Symmetrically Independent Outputs / D. V. Efanov, V. V. Sapozhnikov, Vl. V. Sapozhnikov // Automatic Control and Computer Sciences. — 2020. — Vol. 54. — Iss. 4. — Pp. 279 – 290. — DOI:https://doi.org/10.3103/S0146411620040045.
8. Slabakov E. V. Postroenie polnost'yu samoproveryaemyh kombinacionnyh ustroystv s ispol'zovaniem ravnovesnyh kodov / E. V. Slabakov, E. S. Sogomonyan // Avtomatika i telemehanika. — 1980. — № 9. — S. 173–181.
9. Sapozhnikov V. V. Organizaciya funkcional'nogo kontrolya kombinacionnyh shem metodom logicheskogo dopolneniya / V. V. Sapozhnikov, Vl. V. Sapozhnikov, A. V. Dmitriev, A. V. Morozov i dr. // Elektronnoe modelirovanie. — 2002. — T. 24. — № 6. — S. 52–66.
10. Gessel' M. Logicheskoe dopolnenie — novyy metod kontrolya kombinacionnyh shem / M. Gessel', A. V. Morozov, V. V. Sapozhnikov, Vl. V. Sapozhnikov // Avtomatika i telemehanika. — 2003. — № 1. — S. 167–176.
11. Sapozhnikov V. V. Diskretnye avtomaty s obnaruzheniem otkazov / V. V. Sapozhnikov, Vl. V. Sapozhnikov. — L.: Energoatomizdat. Leningr. otdelenie, 1984. — 112 s.
12. Sogomonyan E. S. Samoproveryaemye ustroystva i otkazo-ustoychivye sistemy / E. S. Sogomonyan, E. V. Slabakov. — M.: Radio i svyaz', 1989. — 208 s.
13. Sapozhnikov V. V. Samodvoystvennye diskretnye ustroystva / V. V. Sapozhnikov, Vl. V. Sapozhnikov, M. Gessel'. — SPb.: Energoatomizdat (Sankt-Peterburgskoe otdelenie), 2001. — 331 s.
14. Sapozhnikov V. V. Sintez samodvoystvennyh diskretnyh sistem / V. V. Sapozhnikov, Vl. V. Sapozhnikov, R. Sh. Valiev. — SPb.: Elmor, 2006. — 220 s.
15. Göessel M. New Methods of Concurrent Checking: Edition 1 / M. Göessel, V. Ocheretny, E. Sogomonyan, D. Marienfeld. — Dordrecht: Springer Science + Business Media B.V., 2008. — 184 p.
16. Sapozhnikov V. V. Kody Hemminga v sistemah funkcional'nogo kontrolya logicheskih ustroystv / V. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Efanov. — SPb.: Nauka, 2018. — 151 s.
17. Sapozhnikov V. V. Kody s summirovaniem dlya sistem tehnicheskogo diagnostirovaniya. T. 1: Klassicheskie kody Bergera i ih modifikacii / V. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Efanov. — M.: Nauka, 2020. — 383 s.
18. Sapozhnikov V. V. Kody s summirovaniem dlya sistem tehnicheskogo diagnostirovaniya. T. 2: Vzveshennye kody s summirovaniem / V. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Efanov. — M.: Nauka, 2021. — 455 s.
19. Efanov D. V. Metody sinteza samoproveryaemyh diskretnyh ustroystv. — M.: LENAND, 2025. — 268 s.
20. Efanov D. V. Kompozicii dvuh ravnovesnyh kodov s ortogonal'nymi po vsem razryadam kombinaciyami dlya sinteza samoproveryaemyh diskretnyh ustroystv / D. V. Efanov // Problemy upravleniya. — 2025. — № 3. — S. 49–62.
21. Sapozhnikov V. V. Samoproveryaemye testery dlya ravnovesnyh kodov / V. V. Sapozhnikov, Vl. V. Sapozhnikov // Avtomatika i telemehanika. — 1992. — № 3. — S. 3–35.
22. Sapozhnikov V. V. Samoproveryaemye diskretnyeustroystva / V. V. Sapozhnikov, Vl. V. Sapozhnikov. — SPb.: Energoatomizdat, 1992. — 224 s.
23. Piestrak S. J. Design of Self-Testing Checkers for Unidirectional Error Detecting Codes. — Wrocław: Oficyna Wydawnicza Politechniki Wrocłavskiej, 1995. — 111 p.
24. Suprun V. P. Osnovy teorii bulevyh funkciy. — M.: LENAND, 2017. — 208 s.
25. Deza E. Figurnye chisla / E. Deza, M. Deza; per. s angl. — M.: MCNMO, 2015. — 350 s.
26. Grehem R. L. Konkretnaya matematika. Matematicheskie osnovy informatiki / R. L. Grehem, D. E. Knut, O. Patash- nik; per. s angl.; 2-e izd. — M.: OOO «I.D. Vil'yams», 2017. — 784 s.
27. Efanov D. V. Obnaruzhenie neispravnostey v kombina- cionnyh shemah na osnove samodvoystvennogo dopol- neniya do ravnovesnyh kodov / D. V. Efanov, V. V. Sapozh- nikov, Vl. V. Sapozhnikov, D. V. Pivovarov // Trudy Instituta sistemnogo programmirovaniya RAN. — 2019. — T. 31. — № 1. — S. 115–132. — DOI: 10.15514/ ISPRAS-2019-31(1)-8.
28. Efanov D. Self-Dual Complement Method up to Constant- Weight Codes for Arrangement of Combinational Logical Circuits Concurrent Error-Detection Systems / D. Efanov, V. Sapozhnikov, Vl. Sapozhnikov, G. Osadchy et al. // Proceedings of the 17th IEEE East-West Design & Test Symposium (EWDTS’2019), Batumi, Georgia, September 13–16, 2019. — Pp. 136–143. — DOI:https://doi.org/10.1109/EWDTS. 2019.8884398.
29. Efanov D. V. Metod funkcional'nogo kontrolya kombi- nacionnyh logicheskih ustroystv na osnove samodvoy- stvennogo dopolneniya do ravnovesnyh kodov / D. V. Efanov, V. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Pivovarov // Elektronnoe modelirovanie. — 2020. — T. 42. — № 3. — S. 27–52. — DOI: 10.15407/ emodel.42.03.027.
30. Efanov D. V.The Hybrid Structure of a Self-Dual Built-In Control Circuit for Combinational Devices with Pre-Compression of Signals and Checking of Calculations by Two Diagnostic Parameters / D. V. Efanov, D. V. Pivovarov // Proceedings of the 19th IEEE East-West Design &Test Symposium (EWDTS’2021), Batumi, Georgia, September 10–13, 2021. — Pp. 200–206. — DOI:https://doi.org/10.1109/EWDTS52692.2021.9581019.
31. Pospelov D. A. Logicheskie metody analiza i sinteza shem / D. A. Pospelov. — M.: Energiya, 1968. — 328 s.
32. Vasilenko M. N. O sokraschenii spiska odinochnyh neispravnostey pri postroenii testov kombinacionnyh shem / M. N. Vasilenko, V. V. Sapozhnikov, Vl. V. Sapozhnikov // Avtomatika i telemehanika. — 1974. — № 8. — S. 139–145.
33. Sapozhnikov V. V. Osnovy teorii nadezhnosti i tehnicheskoy diagnostiki / V. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Efanov. — Sankt-Peterburg: Izdatel'stvo «Lan'», 2019. — 588 s.
34. Tyurin S. F. Metody obespecheniya nadezhnosti elementov PLIS putem mnogovariantnogo rezervirovaniya sispol'zovaniem logikotopologicheskoy modifikacii na tranzistornom urovne / S. F. Tyurin, M. S. Nikitin // Vestnik Permskogo nacional'nogo issledovatel'skogo politehnicheskogo universiteta. Elektrotehnika, informacionnye tehnologii, sistemy upravleniya. — 2025. — № 54. — S. 282–301. — DOI:https://doi.org/10.15593/2224- 9397/2025.2.13.
35. Tyurin S. F. Mnogovariantnoe rezervirovanie s ispol'zovaniem logiko-topologicheskih osobennostey tranzistornyh shem / S. F. Tyurin, M. S. Nikitin, Yu. A. Stepchenkov, Yu. G. D'yachenko//Informatikaieeprimeneniya.— 2025.— T. 19. — № 3. — S. 55–66
