Russian University of Transport (MIIT) ("Automation, Remote Control and Communication on Railway Transport" Department, Professor)
«Scientific Research and Design Institute «Transport and Construction Safety» LLC (General Director Deputy on Scientific Research Work)
Tashkent State Transport University ("Automation and Remote Control" Department, Professor)
Russian Federation
Russian Federation
UDK 681.518.5 Системы автоматического контроля и технической диагностики
Features for error detection by Berger codes in digits of both, informational or control vectors, that’s vital at their usage for built-in control scheme synthesis by Boolean complement method, are analyzed. Meanwhile, an accent was made on the analysis of probabilistic characteristics of error detection in Berger code words and on the experimental investigations of possibilities of error identification versus these errors’ kinds and multiplicities. The assessment of indicator for error non-detection in Berger code words talks about that even in the case when distortion absence probability in a one digit is of less than p = 0.9, error detection Pm common value in the circuits, synthesized with Boolean complement method, of built-in control on Berger code basis exceeds indicator of 0.98. But as for real devices, the given value of distortion absence in a one digit is much higher. The experimental results also show that errors in control devices are revealed in built-in control schemes, which’re organized by Boolean complement method, rather well: for all the circuits, non-detected error share on devices’ outputs constitutes less than 7% and, approximately for their half, – less than 2%. This also talks about high efficiency of Berger code application at built-in control scheme synthesis with Boolean complement method.
built-in control scheme synthesis, Boolean complement method, Berger code, distortions in informational and control vectors, error detection, non-detected error probability
1. Saposhnikov Vl. V. Self-Dual Parity Checking - a New Method for on Line Testing / Vl. V. Saposhnikov, A. Dmitriev, M. Goessel, V. V. Saposhnikov // Proceedings of 14th IEEE VLSI Test Symposium. - USA, Princeton, 1996. - Pp. 162-168.
2. Aksenova G. P. Metod sinteza shem vstroennogo kontrolya dlya avtomatov s pamyat'yu / G. P. Aksenova // Avtomatika i telemehanika. - 1973. - № 2. - S. 109-116.
3. 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.
4. Gessel' M. Kontrol' kombinacionnyh shem metodom logicheskogo dopolneniya / M. Gessel', A. V. Morozov, V. V. Sapozhnikov, Vl. V. Sapozhnikov // Avtomatika i telemehanika. - 2005. - № 8. - S. 161-172.
5. Sen S. K. A Self-Checking Circuit for Concurrent Checking by 1-out-of-4 code with Design Optimization using Constraint Don’t Cares / S. K. Sen // National Conference on Emerging trends and advances in Electrical Engineering and Renewable Energy (NCEEERE 2010), Sikkim Manipal Institute of Technology, Sikkim, held during 22-24 December, 2010.
6. Das D. K. Constraint Don’t Cares for Optimizing Designs for Concurrent Checking by 1-out-of-3 Codes / D. K. Das, S. S. Roy, A. Dmitiriev, A. Morozov, M. Gössel // Proceedings of the 10th International Workshops on Boolean Problems, Freiberg, Germany, September, 2012. - Pp. 33-40.
7. Pivovarov D. V. Postroenie sistem funkcional'nogo kontrolya mnogovyhodnyh kombinacionnyh shem metodom logicheskogo dopolneniya po ravnovesnym kodam / D. V. Pivovarov // Avtomatika na transporte. - 2018. - T. 4. - № 1. - S. 131-149.
8. Gessel' M. Obnaruzhenie neispravnostey v samoproveryaemyh kombinacionnyh shemah s ispol'zovaniem svoystv samodvoystvennyh funkciy / M. Gessel', V. I. Moshanin, V. V. Sapozhnikov, Vl. V. Sapozhnikov // Avtomatika i telemehanika. - 1997. - № 12. - S. 193-200.
9. Gessel' M. Samotestiruemaya struktura dlya funkcional'nogo obnaruzheniya otkazov v kombinacionnyh shemah / M. Gessel', A. V. Dmitriev, V. V. Sapozhnikov, Vl. V. Sapozhnikov // Avtomatika i telemehanika. - 1999. - № 11. - S. 162-174.
10. Gessel' M. Postroenie samoproveryaemyh kombinacionnyh shem na osnove svoystv samodvoystvennyh funkciy / M. Gessel', A. A. Morozov, V. V. Sapozhnikov, Vl. V. Sapozhnikov // Avtomatika i telemehanika. - 2000. - № 2. - S. 151-163.
11. Gessel' M. Obnaruzhenie neispravnostey v kombinacionnyh shemah s pomosch'yu samodvoystvennogo kontrolya / M. Gessel', A. V. Dmitriev, V. V. Sapozhnikov, Vl. V. Sapozhnikov // Avtomatika i telemehanika. - 2000. - № 7. - S. 140-149.
12. Sapozhnikov V. V. Samodvoystvennye diskretnye ustroystva / V. V. Sapozhnikov, Vl. V. Sapozhnikov, M. Gessel'. - SPb.: Energoatomizdat (Sankt-Peterburgskoe otdelenie), 2001. - 331 s.
13. 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.
14. Sogomonyan E. S. Samoproveryaemye ustroystva i otkazoustoychivye sistemy / E. S. Sogomonyan, E. V. Slabakov. - M.: Radio i svyaz', 1989, 208 s.
15. Nicolaidis M. On-Line Testing for VLSI - A Compendium of Approaches / M. Nicolaidis, Y. Zorian // Journal of Electronic Testing: Theory and Application. - 1998. - Vol. 12. - Issue 1-2. - Pp. 7-20. - DOI:https://doi.org/10.1023/A:1008244815697.
16. Efanov D. V. O svoystvah koda s summirovaniem v shemah funkcional'nogo kontrolya / D. V. Efanov, V. V. Sapozhnikov, Vl. V. Sapozhnikov // Avtomatika i telemehanika. - 2010. - № 6. - S. 155-162.
17. Berger J. M. A Note on Error Detection Codes for Asymmetric Channels / J. M. Berger // Information and Control. - 1961. - Vol. 4. - Iss. 1. - Pp. 68-73. - DOI:https://doi.org/10.1016/S0019-9958(61)80037-5.
18. Efanov D. V. Kody Bergera v shemah vstroennogo kontrolya, realizovannyh na osnove metoda logicheskogo dopolneniya / D. V. Efanov, G. V. Osadchiy, M. V. Zueva // Informatika i sistemy upravleniya. - 2021. - № 1. - S. 75-89. - DOI:https://doi.org/10.22250/isu.2021.67.75-89.
19. Efanov D. V. Special Aspects of Errors Definition via Sum Codes within Embedded Control Schemas Being Realized by Means of Boolean Complement Method / D. V. Efanov, G. Osadchy, M. Zueva // Proceedings of 11th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS’2021), Cracow, Poland, September 22-25, 2021.
20. Morozov M. New Self-Checking Circuits by Use of Berger-Sodes / M. Morozov, V. V. Saposhnikov, Vl. V. Saposhnikov, M. Goessel // Proceedings of 6th IEEE International On-Line Testing Workshop, Palma de Mallorca, Spain, 3-5 July 2000. - Pp. 171-176.
21. Efanov D. V. The Self-Checking Concurrent Error-Detection Systems Synthesis Based on the Boolean Complement to the Bose-Lin Codes with the Modulo Value M=4 / D. V. Efanov, V. V. Sapozhnikov, Vl. V. Sapozhnikov // Electronic Modeling. - 2021. - Vol. 43. - Iss. 1. - Pp. 28-45. - DOI:https://doi.org/10.15407/emodel.43.01.028.
22. Sapozhnikov V. V. Veroyatnostnye svoystva koda s summirovaniem v shemah funkcional'nogo kontrolya / V. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Efanov // Avtomatika i telemehanika zheleznyh dorog Rossii. Tehnika, tehnologiya, sertifikaciya. Sbornik nauchnyh trudov. - SPb.: PGUPS. - 2011. - S. 3-13.
23. Sentovich E. M. SIS: A System for Sequential Circuit Synthesis / E. M. Sentovich, K. J. Singh, L. Lavagno et al. // Electronics Research Laboratory, Department of Electrical Engineering and Computer Science, University of California, Berkeley, 4 May 1992. - 45 p.
24. Sentovich E. M. Sequential Circuit Design Using Synthesis and Optimization / E. M. Sentovich, K. J. Singh, C. Moon et al. // Proceedings IEEE International Conference on Computer Design: VLSI in Computers & Processors, 11-14 October 1992, Cambridge, MA, USA, USA. - Pp. 328-333. - DOI:https://doi.org/10.1109/ICCD.1992.276282.
25. Collection of Digital Design Benchmarks. - URL: http://ddd.fit.cvut.cz/prj/Benchmarks/.
26. Sapozhnikov V. V. Klassifikaciya oshibok v informacionnyh vektorah sistematicheskih kodov / V. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Efanov // Izvestiya vuzov. Priborostroenie. - 2015. - T. 58. - № 5. - S. 333-343. - DOI:https://doi.org/10.17586/0021-3454-2015-58-5-333-343.
27. Sapozhnikov V. V. Kody s summirovaniem dlya sistem tehnicheskogo diagnostirovaniya / V. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Efanov. - T. 1: Klassicheskie kody Bergera i ih modifikacii. - M.: Nauka, 2020. - 383 s.
28. Sapozhnikov V. V. Kody s summirovaniem dlya sistem tehnicheskogo diagnostirovaniya / V. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Efanov. - T. 2: Vzveshennye kody s summirovaniem. - M.: Nauka, 2021, 455 s.