Russian Federation
The paper considers the existing methods for constructing systems of test and functional control of logic circuits, as well as their inherent disadvantages. The principles of the polynomial codes construction and features of their application in the tasks of functional diagnosis of logical combinational circuits of railway automation are given. The existing and new properties of polynomial codes, which are necessary for the synthesis of combinational self-control schemes, are listed, in particular, these are the property of detection of single and double errors, the property of detecting errors of odd multiplicity, the property of possessing polynomials of the lower class of detecting characteristics of some polynomials of the senior class. A condition for complete detection of any type of double errors by polynomial codes is given. The article provides a comparative analysis of the different multiplicity errors, detected by polynomial codes of the 2, 3 and 4 classes in comparison with the errors detected by the corresponding sum codes. The polynomial codes have shown good results in the course of experiments on error detection in combinational circuits of the set of LGSynth`89. In some control schemes, full detection of any multiplicity errors is achieved using polynomial codes. The structural redundancy of concurrent error detection systems was also calculated. In the situation of the polynomial codes applying, the redundancy of the system did not exceed 70-80 % of the redundancy value in the situation of the sum codes applying, and did not exceed 50-60 % of the redundancy in the situation of duplication method applying.
combinational circuit, functional diagnosis, uniform codes, polynomial code, that forms the polynomial, polynomial code properties
1. Mikroprocessornaya centralizaciya strelok i signalov EBILock 950 / G. A. Kazimov, V. N. Aleshin, A. E. Derevyanko, S. V. Zolotareva, G. F. Lekuta, S. B. Platunov, A. V. Suraev, S. A. Hohlov, K. D. Hromushkin ; pod. red. G. D. Kazieva. - M. : Transizdat, 2008. - 368 s
2. Efanov D. V. Funkcional'nyy kontrol' i monitoring ustroystv zheleznodorozhnoy avtomatiki i telemehaniki : monografiya / D. V. Efanov. - SPb. : FGBOU VO PGUPS, 2016. - 171 s.
3. Sapozhnikov Val. V. Metody postroeniya bezopasnyh mikroelektronnyh sistem zheleznodorozhnoy avtomatiki / Val. V. Sapozhnikov, Vl. V. Sapozhnikov, H. A. Hristov, D. V. Gavzov ; pod red. Vl. V. Sapozhnikova. - M. : Transport, 1995. - 272 s.
4. Parhomenko P. P. Osnovy tehnicheskoy diagnostiki (optimizaciya algoritmov diagnostirovaniya, apparaturnye sredstva) / P. P. Parhomenko, E. S. Sogomonyan. - M. : Energoatomizdat, 1981. - 320 s.
5. Rabochee diagnostirovanie bezopasnyh informacionno-upravlyayuschih sistem / A. V. Drozd, V. S. Harchenko, S. G. Antoschuk, Yu. V. Drozd, M. A. Drozd, Yu. Yu. Sulima ; pod red. A. V. Drozda i V. S. Harchenko. - Har'kov : Nacional'nyy aerokosmicheskiy universitet im. N. E. Zhukovskogo (HAI), 2012. - 614 s.
6. Sogomonyan E. S. Samoproveryaemye ustroystva i otkazoustoychivye sistemy / E. S. Sogomonyan, E. V. Slabakov. - M. : Radio i svyaz', 1989. - 207 s.
7. Berger J. M. A Note on Error Detection Codes for Asymmetric Channels / J. M. Berger // Information and Control. - 1961. - Vol. 4. - Issue 1. - Pp. 68-73.
8. Efanov D. V. O svoystvah koda s summirovaniem v shemah funkcional'nogo kontrolya / D. V. Efanov, Val. V. Sapozhnikov, Vl. V. Sapozhnikov // Avtomatika i telemehanika. - 2010. - № 6. - S. 155-162.
9. Blyudov A. A. Postroenie modificirovannogo koda Bergera s minimal'nym chislom neobnaruzhivaemyh oshibok informacionnyh razryadov / A. A. Blyudov, D. V. Efanov, Val. V. Sapozhnikov, Vl. V. Sapozhnikov // Elektronnoe modelirovanie. - 2012. - T. 34. - № 6. - S. 17-29.
10. Efanov D. V. Primenenie modul'nyh kodov s summirovaniem dlya postroeniya sistem funkcional'nogo kontrolya kombinacionnyh logicheskih shem / D. V. Efanov, Val. V. Sapozhnikov, Vl. V. Sapozhnikov // Avtomatika i telemehanika. - 2015. - № 10. - S. 152-169.
11. Sapozhnikov Val. V. Primenenie kodov s summirovaniem pri sinteze sistem zheleznodorozhnoy avtomatiki i telemehaniki na programmiruemyh logicheskih integral'nyh shemah / Val. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Efanov // Avtomatika na transporte. - 2015. - T. 1. - № 1. - S. 84-107.
12. Castagnoli G. Optimization of Cyclic Redundancy-Check Codes with 24 and 32 Parity Bits / G. Castagnoli, S. Brauer, M. Herrmann // IEEE Transactions on Commu-nications. - 1993. - Vol. 41. - Issue 6. - Pp. 883-892.
13. Koopman P. Cyclic Redundancy Code (CRC) Polynomial Selection for Embedded Networks / P. Koopman, T. Chakravarty // The International Conference on Dependable Systems and Networks, DSN-2004, 28 June - 1 July 2004, Florence, Italy. - Pp. 145-154.
14. Sagalovich Yu. L. Vvedenie v algebraicheskie kody / Yu. L. Sagalovich. - M. : Institut problem peredachi informacii im. A. A. Harkevicha RAN, 2010. - 302 s.
15. Sellers F. F. Error Detecting Logic for Digital Computers / F. F. Sellers, M.-Y. Hsiao, L. W. Bearnson. - N. Y. : McGraw-Hill, 1968. - 288 r.
16. Stolyarova M. I. Analiz oshibkoobnaruzhivayuschih svoystv ciklicheskih kodov / M. I. Stolyarova, G. V. Bobrysheva, G. O. Zvoznikova // Sbornik statey XVII Mezhdunarodnoy nauchno-tehnicheskoy konferencii po problemam informatiki v obrazovanii, upravlenii, ekonomike i tehnike, 26-27 oktyabrya 2017 g., g. Penza, Rossiya. - Penza : Privolzhskiy Dom znaniy, 2017. - C. 105-108.
17. Aksenova G. P. Neobhodimye i dostatochnye usloviya postroeniya polnost'yu proveryaemyh shem svertki po modulyu 2 / G. P. Aksenova // Avtomatika i telemehanika. - 1979. - № 9. - S. 126-135.
18. Sapozhnikov Val. V. Osobennosti organizacii sistem funkcional'nogo kontrolya kombinacionnyh shem na osnove polinomial'nyh kodov / Val. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Efanov, R. B. Abdullaev // Izvestiya Peterburgskogo universiteta putey soobscheniya. - 2018. - T. 15. - № 3. - S. 432-445.
19. Goessel M. Error Detection Circuits / M. Goessel, S. Graf. - L. : McGraw-Hill, 1994. - 261 p.
20. Sapozhnikov Val. V. O svoystvah polinomial'nyh kodov v sistemah funkcional'nogo kontrolya / Val. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Efanov, R. B. Abdullaev // Informatika i sistemy upravleniya. - 2018. - № 2. - S. 50-61.
21. Efanov D. Experimental Studies of Polynomial Codes in Concurrent Error Detection Systems of Combinational Logical Circuits / D. Efanov, Val. Sapozhnikov, Vl. Sapozhnikov, R. Abdullaev, D. Plotnikov // Proceedings of 16th IEEE East-West Design & Test Symposium (EWDTS`2018), Kazan, Russia, September 14-17, 2018. - Pp. 184-190.
22. Collection of Digital Design Benchmarks. - URL : http://ddd.fi t.cvut.cz/prj/Benchmarks.
23. Saposhnikov Vl. V. Experimental Results for Self-Dual Multi-Output Combinational Circuits / Vl. V. Saposhnikov, V. Moshanin, Val. V. Saposhnikov, M. Goessel // Journal of Electronic Testing : Theory and Applications. - 1999. - Vol. 14. - Issue 3. - Pp. 295-300.
24. Sapozhnikov Val. Method of Combinational Circuits Testing by Dividing its Outputs into Groups and Using Codes, that Effectively Detect Double Errors / Val. Sapozhnikov, D. Efanov, Vl. Sapozhnikov, V. Dmitriev // Proceedings of 15th IEEE East-West Design & Test Symposium (EWDTS`2017), Novi Sad, Serbia, September 29 - October 2, 2017. - Pp. 129-136.
25. SIS : A System for Sequential Circuit Synthesis / E. M. Sentovich, K. J. Singh, L. Lavagno, C. Moon, R. Murgai, A. Saldanha, H. Savoj, P. R. Stephan, R. K. Brayton, A. Sangiovanni-Vincentelli // Electronics Research Laboratory, Department of Electrical Engineering and Computer Science, University of California, Berkeley, 4 May 1992. - 45 p.
