Анализируются свойства кодов Хэмминга по обнаружению ошибок в информационных разрядах кодовых слов в сравнении со свойствами кодов Бергера, что актуально для задач технической диагностики систем автоматики и вычислительной техники. Показаны особенности применения рассматриваемых кодов при организации систем функционального контроля арифметико-логических устройств. Описываются модификации кодов Хэмминга, связанные с уменьшением числа контрольных разрядов. Это напрямую влияет на сложность систем функционального контроля, однако уменьшает количество обнаруживаемых ошибок на их рабочих выходах.
система функционального контроля, рабочие выходы, код Хэмминга, код Бергера, модификация кода Хэмминга, модульный код, информационные векторы, ошибки в информационных векторах
1. Слабаков Е. В. Самопроверяемые вычислительные устройства и системы (об- зор) / Е. В. Слабаков, Е. С. Согомонян // Автоматика и телемеханика. - 1981. - № 11. - С. 147-167.
2. Согомонян Е. С. Самопроверяемые устройства и отказоустойчивые системы / Е. С. Согомонян, Е. В. Слабаков. - М. : Радио и связь, 1989. - 208 с.
3. Touba N.A. Logic Synthesis Techniques for Reduced Area Implementation of Multilevel Circuits with Concurrent Error Detection / N.A. Touba, E. J. McCluskey // Proceedings of the 1994 IEEE / ACM International Conference on Computer-aided Design. San Jose, California, USA, November 6-10, 1994. - Pp. 651-654.
4. Abramovici M. Digital System Testing and Testable Design / M. Abramovici, M.A. Bre- uer, A. D. Friedman. Comp. Sc. Press, 1998. - 652 p.
5. Matrosova A.Yu. Self-Checking Synchronous FSM Network Design with Low Over- head / A.Yu. Matrosova, I. Levin, S. A. Ostanin // VLSI Design. - 2000. - Vol. 11. - Issue 1. - Pp. 47-58.
6. Das D. Low Cost Concurrent Error Detection Based on Modulo Weight-Based Codes / D. Das, N. A. Touba, M. Seuring, M. Gossel // Proceedings of IEEE 6th International On-Line Testing Workshop (IOLTW). Spain, Palma de Mallorca, July 3-5, 2000. - Pp. 171-176.
7. Matrosova A. Survivable Self-Checking Sequential Circuits / A. Matrosova, I. Levin, S. Ostanin // Proc. of 2001 IEEE International Symposium on Defect and Fault Tole- rance in VLSI Systems (DFT 2001), Oct. 24-26. San Francisco, CA, 2001. - Pp. 395-402.
8. Рабочее диагностирование безопасных информационно-управляющих систем / А. В. Дрозд, В. С. Харченко, С. Г. Антощук [и др.] ; под ред. А. В. Дрозда и В. С. Харченко. - Харьков : Национальный аэрокосмический университет им. Н. Е. Жуковского (ХАИ), 2012. - 614 с.
9. Nicolaidis M. On-Line Testing for VLSI - А Compendium of Approaches / M. Nicolaidis, Y. Zorian // J. Electron. Testing: Theory Appl. - 1998. - Vol. 12. - Issue 1-2 (February/ April). - Pp. 7-20.
10. Сапожников Вал. В. Самопроверяемые дискретные устройства / Вал. В. Сапожников, Вл. В. Сапожников. - СПб. : Энергоатомиздат, 1992. - 224 с.
11. Piestrak S. J. Design of Self-Testing Checkers for Unidirectional Error Detecting Co- des / S. J. Piestrak. - Wrocław : Oficyna Wydawnicza Politechniki Wrocłavskiej, 1995. - 111 p.
12. Hamming R. W. Error Detecting and Correcting Codes / R. W. Hamming // Bell System Technical Journal. - 1950. - 29 (2). - Pp. 147-160.
13. Hamming R. W. Coding and Information Theory : 2 Sub Edition / R. W. Hamming. - N.-Y. : Prentice-Hall, 1986. - 272 p.
14. Ефанов Д. В. О свойствах кода с суммированием в схемах функционального контроля / Д. В. Ефанов, Вал. В. Сапожников, Вл. В. Сапожников // Автоматика и теле- механика. - 2010. - № 6. - С. 155-162.
15. Berger J. M. А Note on Error Detecting Codes for Asymmetric Channels / J. M. Berger // Information and Control. - 1961. - Vol. 4. - № 1. - Pp. 68-73.
16. Согомонян Е. С. Построение самопроверяемых схем встроенного контроля для самопроверяемых устройств / Е. С. Согомонян // Автоматика и телемеханика. - 1974. - № 2. - C. 121-153.
17. Lo J.-C. An SFS Berger Check Prediction ALU and Its Application to Self-checking Processor Designs / J.-C. Lo, S. Thanawastien, M. Nicolaidis // Computer-Aided Design of Integrated Circuits and Systems. - 1992. - Vol. 11. - Issue 4. - Pp. 525-540.
18. Goessel M. Error Detection Circuits / M. Goessel, S. Graf. - L. : McGraw-Hill, 1994. - 261 p.
19. Pierce D. Efficient Self-Checking Checkers for Berger Codes / D. Pierce, P. K. Lala // Proceedings of 1st IEEE Int. On-Line Testing Workshop, 1995. - Pp. 238-242.
20. Gorshe S. S., Bose B. A Self-Checking ALU Design with Efficient Codes / S. S. Gorshe, B. Bose // Proceedings of 14th VLSI Test Symposium, Princeton, NJ, USA, 1996. - Pp. 157-161.
21. Lala P. K. Self-checking and Fault-tolerant Digital Design / P. K. Lala. - San Francisco : Morgan Kaufmann Publishers, 2001. - 216 p.
22. Сапожников Вал. В. Самодвойственные дискретные устройства / Вал. В. Сапожников, Вл. В. Сапожников, М. Гёссель. - СПб. : Энергоатомиздат, Санкт-Петербургское отделение, 2001. - 331 с.
23. Ефанов Д. В. Предельные свойства кода Хэмминга в схемах функционального диагностирования / Д. В. Ефанов // Информатика и системы управления. - 2011. - № 3. - С. 70-79.
24. Ефанов Д. В. Об организации схем функционального диагностирования на основе свойств кодов Хэмминга / Д. В. Ефанов // Интеллектуальные системы на транспорте : cб. материалов II МНПК «ИнтеллектТранс-2012». - СПб., 2012. - С. 217-226.
25. Ефанов Д. В. Коды Хэмминга и их обнаруживающие способности в схемах функционального контроля / Д. В. Ефанов, А. А. Блюдов // Информатика и системы управления. - 2012. - № 2. - С. 100-111.
26. Сапожников Вал. В. Применение кодов Бергера и Хэмминга в схемах функционального контроля / Вал. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов, А. А. Блюдов // Известия Петербургского университета путей сообщения. - 2013. - № 2. - С. 168-182.
27. Sapozhnikov Val. Analysis of Error-Detection Possibilities of CED Circuits Based on Hamming and Berger Codes / Val. Sapozhnikov, Vl. Sapozhnikov, D. Efanov, A. Blyu- dov // Proceedings of 11th IEEE East-West Design & Test Symposium (EWDTS`2013), Rostov-on-Don, Russia, September 27-30, 2013. - Pp. 200-207.
28. Сапожников Вал. В. Классические и взвешенные коды Бергера в системах функционального контроля / Вал. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов // Развитие элементной базы и совершенствование методов построения устройств железнодорожной автоматики и телемеханики : сб. науч. тр. ; под. ред. Вл. В. Сапожникова. - СПб. : ФГБОУ ВПО ПГУПС, 2014. - С. 81-88.
29. Блюдов А. А. О кодах с суммированием единичных разрядов в системах функционального контроля / А. А. Блюдов, Д. В. Ефанов, Вал. В. Сапожников, Вл. В. Сапожников // Автоматика и телемеханика. - 2014. - № 8. - С. 131-145.
30. Блюдов А. А. Построение модифицированного кода Бергера с минимальным числом необнаруживаемых ошибок информационных разрядов / А. А. Блюдов, Д. В. Ефа- нов, Вал. В. Сапожников, Вл. В. Сапожников // Электронное моделирование. - 2012. - Т. 34. - № 6. - С. 17-29.
31. Сапожников Вал. В. О способах построения кодов с суммированием с минимальным общим числом необнаруживаемых искажений в информационных векто- рах / Вал. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов, Д. А. Никитин // Известия Петербургского университета путей сообщения. - 2014. - № 1. - С. 82-91.
32. Сапожников Вал. В. Предельные свойства кода с суммированием / Вал. В. Сапожнив, Вл. В. Сапожников, Д. В. Ефанов // Известия Петербургского университета путей сообщения. - 2010. - № 3. - С. 290-299.
33. Блюдов А. А. Коды с суммированием для организации контроля комбинационных схем / А. А. Блюдов, Д. В. Ефанов, Вал. В. Сапожников, Вл. В. Сапожников // Автоматика и телемеханика. - 2013. - № 6. - С. 153-164.
34. Сапожников Вал. В. Взвешенные коды с суммированием для организации контроля логических устройств / Вал. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов // Электронное моделирование. - 2014. - Т. 36. - № 1. - С. 59-80.
35. Morosow A. Self-Checking Combinational Circuits with Unidirectionally Independent Outputs / A. Morosow, Val. V. Sapozhnikov, Vl. V. Sapozhnikov, M. Goessel // VLSI Design. - 1998. - Vol. 5. - Issue 4. - Pp. 333-345.
36. Bose B. Systematic Unidirectional Error-Detection Codes / B. Bose, D. J. Lin // Pro- ceedings of IEEE Trans. Comput. - 1985. - Vol. C-34. - November. - Pp. 1026-1032.
37. Jha N. K. Totally Self-Checking Checker Designs for Bose-Lin, Bose and Blaum Co- des / N. K. Jha // IEEE Trans. Computer-Aided Design. - 1991. - Vol. CAD-10, February. - Pp. 136-143.
38. Das D. Synthesis of Circuits with Low-Cost Concurrent Error Detection Based on Bose-Lin Codes / D. Das, N. A. Touba // Journal of Electronic Testing: Theory and Applications. - 1999. - Vol. 15. - Issue 1-2. - Pp. 145-155.
39. Efanov D. On the Problem of Selection of Code with Summation for Combinational Circuit Test Organization / D. Efanov, Val. Sapozhnikov, Vl. Sapozhnikov, A. Blyudov // Proceedings of 11th IEEE East-West Design & Test Symposium (EWDTS`2013), Rostov-on-Don, Russia, September 27-30, 2013. - Pp. 261-266.
40. Системы управления движением поездов на перегонах : учебник для вузов ж.-д. транспорта : в 3 ч. Ч. 2 / В. М. Лисенков, П. Ф. Бестемьянов, В. Б. Леушин, А. В. Лисенков, А. Е. Ваньшин ; под ред. В. М. Лисенкова. - М. : ГОУ «Учебно-методический центр по образованию на железнодорожном транспорте, 2009. - 324 с.
41. Benchmarks : LGSynth89. - URL : http://www.cbl.ncsu.edu:16080/benchmarks/LG Synth89/mlexamples.
42. Sentovich E. M. 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.
43. Collection of Digital Design Benchmarks. - URL : http://ddd.fit.cvut.cz/prj/Bench marks.
44. Матросова А. Ю. Синтез синхронных последовательностных устройств, устойчивых к кратковременным и перемежающимся неисправностям / А. Ю. Матросова, В. В. Андреева, Е. А. Николаева // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. - 2008. - № 3. - С. 99-109.
45. Ефанов Д. В. Метод кодирования состояний диагностируемых объектов / Д. В. Ефанов // Известия Петербургского университета путей сообщения. - 2010. - № 2. - С. 74-85.
46. Ubar R. Design and Test Technology for Dependable Systems-on-Chip (Premier Reference Source) / R. Ubar, J. Raik, H.-T. Vierhaus. - Information Science Reference, Hershey. - N.-Y. : IGI Global, 2011. - 578 p.
47. Ефанов Д. В. Повышение надежности датчиков контроля положения железнодорожных стрелок / Д. В. Ефанов, А. А. Блюдов // Известия Петербургского университета путей сообщения. - 2014. - № 3. - С. 69-77.
48. Сапожников Вал. В. Применение кодов с суммированием при синтезе систем железнодорожной автоматики и телемеханики на программируемых логических интегральных схемах / Вал. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов // Автоматика на транспорте. - 2015. - № 1. - С. 84-107.
49. Ефанов Д. В. Некоторые аспекты развития систем функционального контроля устройств железнодорожной автоматики и телемеханики / Д. В. Ефанов // Транспорт Урала. - 2015. - № 1. - С. 35-40.
50. Сапожников Вал. В. Классификация ошибок в информационных векторах систематических кодов / Вал. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов // Известия вузов. Приборостроение. - 2015. - Т. 58. - № 5. - С. 333-343.
