В.В. Сапожников, Вл.В. Сапожников, доктора техн. наук,
Д.В. Ефанов, канд. техн. наук, М.Р. Черепанова
Федеральное государственное бюджетное образовательное учреждение
высшего образования «Петербургский государственный университет
путей сообщения Императора Александра I»
(Российская Федерация, 190031, Санкт-Петербург, Московский пр., 9,
тел. (+7) 9117092164, (+7) (812) 4578579, e-mail:
АННОТАЦИЯ
Описано способи організації систем функціонального контролю. Досліджено вплив значення модуля при побудові коду з підсумовуванням на показник структурної надлишковост і системи функціонального контролю. Запропоновано класифікацію модульних кодів з підсумовуванням.
КЛЮЧЕВЫЕ СЛОВА:
система функционального контроля, структурная избыточность, код с суммированием, код Бергера, код паритета, модульный код с суммированием, обнаружение ошибок в комбинационных схемах.
СПИСОК ЛИТЕРАТУРЫ
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. Область научных исследований — автоматика и дискретная
математика.