Модульные коды с суммированием в системах функционального контроля. II. Уменьшение структурной избыточности систем функционального контроля

В.В. Сапожников, Вл.В. Сапожников, доктора техн. наук,
Д.В. Ефанов, канд. техн. наук, М.Р. Черепанова
Федеральное государственное бюджетное образовательное учреждение
высшего образования «Петербургский государственный университет
путей сообщения Императора Александра I»
(Российская Федерация, 190031, Санкт-Петербург, Московский пр., 9,
тел. (+7) 9117092164, (+7) (812) 4578579, e-mail: Ця електронна адреса захищена від спам-ботів. Вам потрібно увімкнути JavaScript, щоб побачити її.)

АННОТАЦИЯ

Описано способи організації систем функціонального контролю. Досліджено вплив значення модуля при побудові коду з підсумовуванням на показник структурної надлишковост і системи функціонального контролю. Запропоновано класифікацію модульних кодів з підсумовуванням.

КЛЮЧЕВЫЕ СЛОВА:

система функционального контроля, структурная избыточность, код с суммированием, код Бергера, код паритета, модульный код с суммированием, обнаружение ошибок в комбинационных схемах.

СПИСОК ЛИТЕРАТУРЫ

1. Сапожников В.В., Сапожников Вл.В., Ефанов Д.В., Черепанова М.Р. Модульные коды с суммированием в системах функционального контроля. Ч. I. Свойства обнаружения ошибок кодами в информационных векторах // Электрон. моделирование.—2016.— 38, № 2.— С. 27—48.
2. Kavousianos X., Nikolos D. Novel TSC Checkers for Bose-Lin and Bose Codes // 3ed IEEE Intern. On-Line Testing Workshop. July 6-8, 1998. Capry, Italy.— P. 172—176.
3. Nikolos D., Kavousianos X. Modular TSC Checkers for Bose-Lin and Bose Codes // IEEE VLSI Test Symposium, April 25-29, 1999, Dana Point.— Ð. 354—360.
4. Goessel M., Graf S. Error Detection Circuits.— London: McGraw-Hill, 1994. — 261 p.
5. Блюдов А.А., Ефанов Д.В., Сапожников В.В., Сапожников Вл.В. О кодах с суммированием единичных разрядов в системах функционального контроля // Автоматика и телемеханика. — 2014. — № 8. — С. 131—145.
6. Гессель М., Согомонян Е.С. Построение кодоразделительных самопаритетных комбинационных схем для самотестирования и функционального диагностирования // Там же. —1996. —№ 11. —С. 155—165.
7. Согомонян Е.С. Построение самопроверяемых схем встроенного контроля для комбинационных устройств // Там же. — 1974. — № 2. — С. 121—133.
8. Berger J.M. À Note on Error Detecting Codes for Asymmetric Channels // Information and Control. —1961. —Vol. 4, Issue 1. — Ð. 68—73.
9. Collection of Digital Design Benchmarks [Ðåæèì äîñòóïà: http://ddd.fit.cvut.cz/prj/Benchmarks/].
10. Yang S. Logic Synthesis and Optimization Benchmarks: User Guide: Version 3.0.—Microelectronics Center of North Carolina (MCNC). — 1991. —88 p.
11. Sapozhnikov V., Sapozhnikov Vl., Efanov D. Modular Sum Code in Building Testable Discrete Systems // Proc. of 13th IEEE East-West Design & Test Symposium (EWDTS’2015). — Batumi, Georgia, September 26-29, 2015. — Ð. 181—187.
12. Lala P.K. Self-Checking and Fault-Tolerant Digital Design. — San Francisco: Morgan Kaufmann Publishers, 2001. —216 p.
13. Marouf M.A., Friedman A.D. Design of Self-Checking Checkers for Berger Codes // Proc. of the 8th Annual Intern. Conf. on Fault-Tolerant Computing.—Toulouse, France, 1978.—P. 179—183.
14. Jha N.K. Totally Self-Checking Checker Designs for Bose-Lin, Bose and Blaum Codes // IEEE Trans. Computer-Aided Design.— 1991. — Vol. CAD-10, Feb. — P. 136—143.
15. Pierce D., Lala P.K. Efficient Self-Checking Checkers for Berger Codes // Proc. of 1st IEEE Int. On-Line Testing Workshop. — 1995. — P. 238—242.
16. Metra C., Favalli M., Ricco B. Novel Berger Code Checker // Proc. of the IEEE Intern. Workshop on Defect and Fault Tolerance in VLSI Systems. — 1995, November 13-15. — 287 p.
17. Metra C., Lo J.C. Compact and High Speed Berger Code Checker // 2nd IEEE International On-Line Testing Workshop. — Biarritz, Franze, 1996, July 8-10.—P. 144—149.
18. Piestrak S.J. Design of Self-Testing Checkers for Unidirectional Error Detecting Codes.—Wrocaw: Oficyna Wydawnicza Politechniki Wrocavskiej, 1995. — 111 p.
19. Сапожников В.В., Сапожников Вл.В., Ургансков Д.И. Универсальные структуры двоичных счетчиков единиц по произвольному модулю счета // Электрон. моделирование. — 2002. — 24, № 4. —С. 65—81.
20. Сапожников В.В., Сапожников Вл.В., Ургансков Д.И. Блочная структура двоичного счетчика единиц по произвольному модулю счета // Тамже.—2005.—27, №4.—С. 47—56.
21. Das D., Touba N.A., Seuring M., Gossel M. Low Cost Concurrent Error Detection Based on Modulo Weight-Based Codes // Proc. of the 6th IEEE Intern. On-Line Testing Workshop (IOLTW). — Spain, Palma de Mallorca, July 3-5, 2000. — P. 171—176.
22. Гессель М., Согомонян Е.С. Построение самотестируемых и самопроверяемых комбинационных устройств со слабо-независимыми выходами // Автоматика и телемеханика. —1992. — № 8. — С. 150—160.
23. Busaba F.Y., Lala P.K. Self-Checking Combinational Circuit Design for Single and Unidirectional Multibit Errors // Journal of Electronic Testing: Theory and Applications. — 1994. — Vol. 5, Issue 5.— P. 19—28.
24. Сапожников В.В., Сапожников Вл.В, Гессель М., Морозов А.А. Метод построения комбинационных самопроверяемых устройств с обнаружением всех одиночных неисправностей // Электрон. моделирование. — 1998. — 20, № 6. — C. 70—80.
25. Morosow A, Saposhnikov V.V., Saposhnikov Vl.V., Goessel M. Self-Checking Combinational Circuits with Unidirectionally Independent Outputs // VLSI Design.—1998.—Vol. 5, Issue 4. —P. 333—345.
26. Ефанов Д.В., Сапожников В.В., Сапожников Вл.В. Применение модульных кодов с суммированием для построения систем функционального контроля комбинационных логических схем // Автоматика и телемеханика. — 2015. —№ 10. — С. 152—169.

САПОЖНИКОВ Валерий Владимирович, д-р техн. наук, профессор кафедры «Автоматика и телемеханика на железных дорогах» Петербургского государственного университета путей сообщения Императора Александра I. В 1963 г. окончил Ленинградский ин-т инженеров железнодорожного транспорта. Область научных исследований — надежностный синтез дискретных устройств, синтез безопасных систем, синтез самопроверяемых схем, техническая диагностика дискретных систем.

САПОЖНИКОВ Владимир Владимирович, д-р техн. наук, профессор кафедры «Автоматика и телемеханика на железных дорогах» Петербургского государственного университета путей сообщения Императора Александра I. В 1963 г. окончил Ленинградский ин-т инженеров железнодорожного транспорта. Область научных исследований—надежностный синтез дискретных
устройств, синтез безопасных систем, синтез самопроверяемых схем, техническая диагностика дискретных систем.

ЕФАНОВ Дмитрий Викторович, канд. техн. наук, доцент кафедры «Автоматика и телемеханика на железных дорогах» Петербургского государственного университета путей сообщения Императора Александра I, который окончил в 2007 г. Область научных исследований—дискретная математика, надежность и техническая диагностика дискретных систем.

ЧЕРЕПАНОВА Мария Родионовна, студентка факультета «Автоматизация и интеллектуальные технологии» Петербургского государственного университета путей сообщения Императора Александра I. Область научных исследований — автоматика и дискретная
математика.

Полный текст: PDF (русский)