Transport automation research Transport automation research Автоматика на транспорте 2412-9186 57685 10.20295/2412-9186-2023-9-01-99-123 ТЕХНИЧЕСКАЯ ДИАГНОСТИКА И КОНТРОЛЕПРИГОДНЫЕ СИСТЕМЫ TECHNICAL DIAGNOSTICS AND CONTROLLABLE SYSTEMS ТЕХНИЧЕСКАЯ ДИАГНОСТИКА И КОНТРОЛЕПРИГОДНЫЕ СИСТЕМЫ Building Self-Checking Digital Devices on the Basis of Modified Hamming Codes with Self-Duality Control for Being Calculated Functions Построение самопроверяемых цифровых устройств на основе модифицированных кодов Хэмминга с контролем самодвойственности вычисляемых функций Ефанов Дмитрий Викторович Efanov Dmitriy Viktorovich TrES-4b@yandex.ru

доктор технических наук;

doctor of technical sciences;

 Погодина Татьяна Сергеевна Pogodina Tat'yana Sergeevna pogodina-ts@mail.ru Санкт-Петербургский политехнический университет Петра Великого Россия Peter the Great Saint Petersburg Polytechnic University Russian Federation Санкт-Петербургский политехнический университет Петра Великого Санкт-Петербург Россия Peter the Great Saint Petersburg Polytechnic University Saint-Petersburg Russian Federation Российский университет транспорта (МИИТ) Москва Россия Russian University of Transport (MIIT) Moscow Russian Federation Ташкентский государственный транспортный университет Ташкент Узбекистан Tashkent State Transport University Tashkent Uzbekistan Институт проблем транспорта им. Н. С. Соломенко Российской Академии наук Россия Institute of Transport Problems named after N. S. Solomenko of the Russian Academy of Sciences Russian Federation Российский университет транспорта (МИИТ) Москва Россия Russian University of Transport (MIIT) Moscow Russian Federation 13 03 2023 13 03 2023 9 1 99 123 13 03 2023 https://atjournal.ru/en/nauka/article/57685/view

Рассматривается задача синтеза самопроверяемых цифровых устройств, в которых для обеспечения свойства обнаружения ошибок в вычислениях используются временнáя избыточность и импульсное представление сигналов. Предложена структура организации самопроверяемых комбинационных устройств со схемами встроенного контроля, основанная на использовании модифицированных кодов Хэмминга с самодвойственными функциями, описывающими проверочные символы. Описаны принципы построения модифицированных кодов Хэмминга. Доказано, что проверочные символы модифицированных кодов Хэмминга будут описываться самодвойственными функциями только для случаев значений числа информационных символов (k > 1), где k — число проверочных символов. Приведена «базовая» структура организации контроля вычислений в комбинационных устройствах на основе модифицированных кодов Хэмминга с числом информационных символов m = 6, проверочные символы которых описываются самодвойственными булевыми функциями. При контроле вычислений устройствами с числом выходов, большим шести, производится разбиение множества выходов на подмножества, для выходов каждого из которых синтезируется отдельная схема контроля; выходы схем контроля для различных групп выходов объединяются на входах самопроверяемого компаратора для получения одного контрольного сигнала. Таким образом, предложена структура организации контроля вычислений по двум диагностическим параметрам — принадлежности кодовых слов модифицированным кодам Хэмминга и вычисляемых функций, описывающих проверочные символы, классу самодвойственных булевых функций. Такой подход, как показано в статье, позволяет повысить показатели контролепригодности и увеличить число тестовых комбинаций по сравнению с контролем вычислений только на основе модифицированного кода Хэмминга. Приводятся результаты моделирования самодвойственных комбинационных цифровых устройств в среде Multisim. Освещены особенности реализации блоков схемы встроенного контроля и их функционирования. Применение предложенного способа организации цифровых устройств перспективно в практике реализации надежных и безопасных систем управления в широком спектре отраслей науки и техники.

The article presents a methodology for optimizing transport costs with the use of modeling in PTV Visum software package. Based on the analysis of transport problems in large urban agglomerations, a quality criterion was chosen for the assessment of passenger transport performance. An approach has been proposed to introduce transport hub systems with the purpose to minimize time spending on transfer, in particular, and on trip by public transport in a whole. This optimization method for transport spending represents an algorithm of 3 key blocks: the formation of transport model for being studied agglomeration, the placement conditions and the choice of transport hub locations. The model is formed on the base of 4-step approach, the trips distribution in a network is based on entropy approach which is considered in the second section in more details. The placement conditions go from an idea to minimize time total spending on moving, the number of hubs being introduced is limited by their construction financing. The approach application is demonstrated on the example of northwestern urban agglomeration Sertolovo-Osinovaya Roshcha-Pargolovo which represents being actively built-up residential districts on St. Petersburg city border. The specificities of its transport network, including also hubs and highways with complicated traffic, are determined. Based on open sources and statistical data, a transport model was developed, its calibration was pursued. 3 options for placing transport hubs on network of the agglomeration are presented. As a result of the research, the analysis for the options of transport hub placements is presented and the most promising option from the view of purpose meaning achievement for hub placement in being considered agglomeration is proposed.

 самопроверяемое устройство самодвойственные цифровые устройства контроль вычислений на выходах цифровых устройств временнáя избыточность контроль самодвойственности контроль вычислений по модифицированным кодам Хэмминга self-checking device self-dual digital devices calculation control on the outputs of digital devices time redundancy self-dual control calculation control by modified Hamming codes

Theeg G. Railway Signalling & Interlocking: 3ed Edition / G. Theeg, S. Vlasenko. - Ger-many: Leverkusen PMC Media House GmbH, 2020, 552 p. Theeg G. Railway Signalling & Interlocking: 3ed Edition / G. Theeg, S. Vlasenko. - Ger-many: Leverkusen PMC Media House GmbH, 2020, 552 p. Сапожников В. В. Надежность систем железнодорожной автоматики, телемеханики и связи: учеб. пособие / В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов и др.; под ред. Вл. В. Сапожникова. - М.: ФГБУ ДПО «Учебно-методический центр по образо-ванию на железнодорожном транспорте», 2017, 318 с. Sapozhnikov V. V. Nadezhnost' sistem zheleznodorozhnoy avtomatiki, telemehaniki i svyazi: ucheb. posobie / V. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Efanov i dr.; pod red. Vl. V. Sapozhnikova. - M.: FGBU DPO «Uchebno-metodicheskiy centr po obrazo-vaniyu na zheleznodorozhnom transporte», 2017, 318 s. Efanov D. Fundamentals of Implementation of Safety Movement of Trains under Integra-tion of Control Systems with Hardware for Railway Infrastructure Facilities Monitoring / D. Efanov, G. Osadchy, I. Aganov // Proceedings of 11th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applica-tions (IDAACS’2021), Cracow, Poland, September 22-25, 2021. - Vol. 1. - Pp. 391-396. - DOI: 10.1109/IDAACS53288.2021.9660985. Efanov D. Fundamentals of Implementation of Safety Movement of Trains under Integra-tion of Control Systems with Hardware for Railway Infrastructure Facilities Monitoring / D. Efanov, G. Osadchy, I. Aganov // Proceedings of 11th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applica-tions (IDAACS’2021), Cracow, Poland, September 22-25, 2021. - Vol. 1. - Pp. 391-396. - DOI: 10.1109/IDAACS53288.2021.9660985. Fujiwara E. Code Design for Dependable Systems: Theory and Practical Applications / E. Fujiwara. - John Wiley & Sons, 2006. - 720 p. Fujiwara E. Code Design for Dependable Systems: Theory and Practical Applications / E. Fujiwara. - John Wiley & Sons, 2006. - 720 p. Дрозд А. В. Рабочее диагностирование безопасных информационно-управляющих систем / А. В. Дрозд, В. С. Харченко, С. Г. Антощук и др.; под ред. А. В. Дрозда и В. С. Харченко. - Харьков: Национальный аэрокосмический университет им. Н. Е. Жуковского «ХАИ», 2012, 614 с. Drozd A. V. Rabochee diagnostirovanie bezopasnyh informacionno-upravlyayuschih sistem / A. V. Drozd, V. S. Harchenko, S. G. Antoschuk i dr.; pod red. A. V. Drozda i V. S. Harchenko. - Har'kov: Nacional'nyy aerokosmicheskiy universitet im. N. E. Zhukovskogo «HAI», 2012, 614 s. Согомонян Е. С. Самопроверяемые устройства и отказоустойчивые системы / Е. С. Согомонян, Е. В. Слабаков. - М.: Радио и связь, 1989. - 208 с. Sogomonyan E. S. Samoproveryaemye ustroystva i otkazoustoychivye sistemy / E. S. Sogomonyan, E. V. Slabakov. - M.: Radio i svyaz', 1989. - 208 s. Ярмолик В. Н. Контроль и диагностика вычислительных систем / В. Н. Ярмолик. - Минск: Бестпринт, 2019. - 387 с. Yarmolik V. N. Kontrol' i diagnostika vychislitel'nyh sistem / V. N. Yarmolik. - Minsk: Bestprint, 2019. - 387 s. Сапожников В. В. Самопроверяемые дискретные устройства / В. В. Сапожников, В. В. Сапожников. - СПб.: Энергоатомиздат, 1992. - 224 с. Sapozhnikov V. V. Samoproveryaemye diskretnye ustroystva / V. V. Sapozhnikov, V. V. Sapozhnikov. - SPb.: Energoatomizdat, 1992. - 224 s. Piestrak S. J. Design of Self-Testing Checkers for Unidirectional Error Detecting Codes / S. J. Piestrak. - Wrocław: Oficyna Wydawnicza Politechniki Wrocłavskiej, 1995. - 111 p. Piestrak S. J. Design of Self-Testing Checkers for Unidirectional Error Detecting Codes / S. J. Piestrak. - Wrocław: Oficyna Wydawnicza Politechniki Wrocłavskiej, 1995. - 111 p. Сапожников В. В. Коды с суммированием для систем технического диагностирова-ния / В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов. - Т. 1: Классические ко-ды Бергера и их модификации. - М.: Наука, 2020. - 383 с. Sapozhnikov V. V. Kody s summirovaniem dlya sistem tehnicheskogo diagnostirova-niya / V. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Efanov. - T. 1: Klassicheskie ko-dy Bergera i ih modifikacii. - M.: Nauka, 2020. - 383 s. Сапожников В. В. Коды с суммированием для систем технического диагностирова-ния / В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов. - Т. 2: Взвешенные коды с суммированием. - М.: Наука, 2021. - 455 с. Sapozhnikov V. V. Kody s summirovaniem dlya sistem tehnicheskogo diagnostirova-niya / V. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Efanov. - T. 2: Vzveshennye kody s summirovaniem. - M.: Nauka, 2021. - 455 s. Ефанов Д. В. Отказоустойчивые структуры цифровых устройств на основе логиче-ского дополнения / Д. В. Ефанов, В. В. Сапожников, Вл. В. Сапожников // Автомати-ка и телемеханика. - 2021. - № 8. - С. 140-158. - DOI: 10.31857/S0005231021080079. Efanov D. V. Otkazoustoychivye struktury cifrovyh ustroystv na osnove logiche-skogo dopolneniya / D. V. Efanov, V. V. Sapozhnikov, Vl. V. Sapozhnikov // Avtomati-ka i telemehanika. - 2021. - № 8. - S. 140-158. - DOI: 10.31857/S0005231021080079. Hamming R. W. Error Detecting and Correcting Codes / R. W. Hamming // Bell System Technical Journal. - 1950. - Iss. 29(2). - Pp. 147-160. - DOI: 10.1002/j.1538-7305.1950.tb00463.x. Hamming R. W. Error Detecting and Correcting Codes / R. W. Hamming // Bell System Technical Journal. - 1950. - Iss. 29(2). - Pp. 147-160. - DOI: 10.1002/j.1538-7305.1950.tb00463.x. Berger J. M. A Note on Error Detection Codes for Asymmetric Channels / J. M. Berger // In-formation and Control. - 1961. - Vol. 4. - Iss. 1. - Pp. 68-73. - DOI: 10.1016/S0019-9958(61)80037-5. Berger J. M. A Note on Error Detection Codes for Asymmetric Channels / J. M. Berger // In-formation and Control. - 1961. - Vol. 4. - Iss. 1. - Pp. 68-73. - DOI: 10.1016/S0019-9958(61)80037-5. Freiman C. V. Optimal Error Detection Codes for Completely Asymmetric Binary Channels / C. V. Freiman // Information and Control. - 1962. - Vol. 5. - Iss. 1. - Pp. 64-71. - DOI: 10.1016/S0019-9958(62)90223-1. Freiman C. V. Optimal Error Detection Codes for Completely Asymmetric Binary Channels / C. V. Freiman // Information and Control. - 1962. - Vol. 5. - Iss. 1. - Pp. 64-71. - DOI: 10.1016/S0019-9958(62)90223-1. Sapozhnikov V. Weighted Sum Code Without Carries - is an Optimum Code with Detec-tion of Any Double Errors in Data Vectors / V. Sapozhnikov, Vl. Sapozhnikov, D. Efanov et al. // Proceedings of 14th IEEE East-West Design & Test Symposium (EWDTS’2016), Ye-revan, Armenia, October 14-17, 2016. - Pp. 134-141. - DOI: 10.1109/EWDTS.2016.7807686. Sapozhnikov V. Weighted Sum Code Without Carries - is an Optimum Code with Detec-tion of Any Double Errors in Data Vectors / V. Sapozhnikov, Vl. Sapozhnikov, D. Efanov et al. // Proceedings of 14th IEEE East-West Design & Test Symposium (EWDTS’2016), Ye-revan, Armenia, October 14-17, 2016. - Pp. 134-141. - DOI: 10.1109/EWDTS.2016.7807686. Сапожников В. В. Взвешенный код с суммированием без операций переноса для за-дач технической диагностики дискретных систем / В. В. Сапожников, Вл. В. Сапож-ников, Д. В. Ефанов // Известия высших учебных заведений. Приборостроение. - 2018. - Т. 61. - № 4. - С. 323-335. - DOI: 10.17586/0021-3454-2018-61-4-323-335. Sapozhnikov V. V. Vzveshennyy kod s summirovaniem bez operaciy perenosa dlya za-dach tehnicheskoy diagnostiki diskretnyh sistem / V. V. Sapozhnikov, Vl. V. Sapozh-nikov, D. V. Efanov // Izvestiya vysshih uchebnyh zavedeniy. Priborostroenie. - 2018. - T. 61. - № 4. - S. 323-335. - DOI: 10.17586/0021-3454-2018-61-4-323-335. Сапожников В. В. Коды Хэмминга в системах функционального контроля логиче-ских устройств: монография / В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов. - СПб.: Наука, 2018. - 151 с. Sapozhnikov V. V. Kody Hemminga v sistemah funkcional'nogo kontrolya logiche-skih ustroystv: monografiya / V. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Efanov. - SPb.: Nauka, 2018. - 151 s. Drozd A. Checkability of the Digital Components in Safety-Critical Systems: Problems and Solutions / A. Drozd, V. Kharchenko, S. Antoshchuk et al. // Proceedings of 9th IEEE East-West Design & Test Symposium (EWDTS’2011), Sevastopol, Ukraine, 2011. - Pp. 411-416. - DOI: 10.1109/EWDTS.2011.6116606. Drozd A. Checkability of the Digital Components in Safety-Critical Systems: Problems and Solutions / A. Drozd, V. Kharchenko, S. Antoshchuk et al. // Proceedings of 9th IEEE East-West Design & Test Symposium (EWDTS’2011), Sevastopol, Ukraine, 2011. - Pp. 411-416. - DOI: 10.1109/EWDTS.2011.6116606. Сапожников Вл. В. Синтез систем управления движением поездов на железнодорож-ных станциях с исключением опасных отказов / Вл. В. Сапожников. - М.: Наука, 2021. - 229 с. Sapozhnikov Vl. V. Sintez sistem upravleniya dvizheniem poezdov na zheleznodorozh-nyh stanciyah s isklyucheniem opasnyh otkazov / Vl. V. Sapozhnikov. - M.: Nauka, 2021. - 229 s. Ефанов Д. В. Обнаружение неисправностей в комбинационных схемах на основе са-модвойственного дополнения до равновесных кодов / Д. В. Ефанов, В. В. Сапожни-ков, Вл. В. Сапожников и др. // Труды Института системного программирования РАН. - 2019. - Т. 31. - № 1. - С. 115-132. - DOI: 10.15514/ISPRAS-2019-31(1)-8. Efanov D. V. Obnaruzhenie neispravnostey v kombinacionnyh shemah na osnove sa-modvoystvennogo dopolneniya do ravnovesnyh kodov / D. V. Efanov, V. V. Sapozhni-kov, Vl. V. Sapozhnikov i dr. // Trudy Instituta sistemnogo programmirovaniya RAN. - 2019. - T. 31. - № 1. - S. 115-132. - DOI: 10.15514/ISPRAS-2019-31(1)-8. Efanov D. Self-Dual Complement Method up to Constant-Weight Codes for Arrangement of Combinational Logical Circuits Concurrent Error-Detection Systems / D. Efanov, V. Sapozhnikov, Vl. Sapozhnikov et al. // Proceedings of 17th IEEE East-West Design & Test Symposium (EWDTS’2019), Batumi, Georgia, September 13-16, 2019. - Pp. 136-143. - DOI: 10.1109/EWDTS.2019.8884398. Efanov D. Self-Dual Complement Method up to Constant-Weight Codes for Arrangement of Combinational Logical Circuits Concurrent Error-Detection Systems / D. Efanov, V. Sapozhnikov, Vl. Sapozhnikov et al. // Proceedings of 17th IEEE East-West Design & Test Symposium (EWDTS’2019), Batumi, Georgia, September 13-16, 2019. - Pp. 136-143. - DOI: 10.1109/EWDTS.2019.8884398. Efanov D. V. The Hybrid Structure of a Self-Dual Built-In Control Circuit for Combina-tional Devices with Pre-Compression of Signals and Checking of Calculations by Two Diag-nostic Parameters / D. V. Efanov, D. V. Pivovarov // Proceedings of 19th IEEE East-West Design & Test Symposium (EWDTS’2021), Batumi, Georgia, September 10-13, 2021. - Pp. 200-206. - DOI: 10.1109/EWDTS52692.2021.9581019. Efanov D. V. The Hybrid Structure of a Self-Dual Built-In Control Circuit for Combina-tional Devices with Pre-Compression of Signals and Checking of Calculations by Two Diag-nostic Parameters / D. V. Efanov, D. V. Pivovarov // Proceedings of 19th IEEE East-West Design & Test Symposium (EWDTS’2021), Batumi, Georgia, September 10-13, 2021. - Pp. 200-206. - DOI: 10.1109/EWDTS52692.2021.9581019. Ефанов Д. В. Синтез самопроверяемых комбинационных устройств с контролем вы-числений по двум диагностическим параметрам / Д. В. Ефанов, Д. В. Пивоваров // Известия высших учебных заведений. Приборостроение. - 2022. - Т. 65. - № 7. - С. 461-477. - DOI: 10.17586/0021-3454-2022-65-7-461-477. Efanov D. V. Sintez samoproveryaemyh kombinacionnyh ustroystv s kontrolem vy-chisleniy po dvum diagnosticheskim parametram / D. V. Efanov, D. V. Pivovarov // Izvestiya vysshih uchebnyh zavedeniy. Priborostroenie. - 2022. - T. 65. - № 7. - S. 461-477. - DOI: 10.17586/0021-3454-2022-65-7-461-477. Ефанов Д. В. Самодвойственный контроль комбинационных схем с применением кодов Хэмминга / Д. В. Ефанов, Т. Погодина // Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС). - 2022. - № 3. - С. 113-122. - DOI: 10.31114/2078-7707-2022-3-113-122. Efanov D. V. Samodvoystvennyy kontrol' kombinacionnyh shem s primeneniem kodov Hemminga / D. V. Efanov, T. Pogodina // Problemy razrabotki perspektivnyh mikro- i nanoelektronnyh sistem (MES). - 2022. - № 3. - S. 113-122. - DOI: 10.31114/2078-7707-2022-3-113-122. Сагалович Ю. Л. Обнаружение неисправностей в схемной реализации системы моно-тонных булевых функций / Ю. Л. Сагалович, В. Ю. Соломенников // Проблемы пере-дачи информации. - 1997. - Vol. 33. - Iss. 2. - Pp. 81-93. Sagalovich Yu. L. Obnaruzhenie neispravnostey v shemnoy realizacii sistemy mono-tonnyh bulevyh funkciy / Yu. L. Sagalovich, V. Yu. Solomennikov // Problemy pere-dachi informacii. - 1997. - Vol. 33. - Iss. 2. - Pp. 81-93. Matrosova A. Yu. Self-Checking Synchronous FSM Network Design with Low Overhead / A. Yu. Matrosova, I. Levin, S. A. Ostanin // VLSI Design. - 2000. - Vol. 11. - Iss. 1. - Pp. 47-58. - DOI: 10.1155/2000/46578. Matrosova A. Yu. Self-Checking Synchronous FSM Network Design with Low Overhead / A. Yu. Matrosova, I. Levin, S. A. Ostanin // VLSI Design. - 2000. - Vol. 11. - Iss. 1. - Pp. 47-58. - DOI: 10.1155/2000/46578. Reynolds D. A. Fault Detection Capabilities of Alternating Logic / D. A. Reynolds, G. Meize // IEEE Transactions on Computers. - 1978. - Vol. C-27. - Iss. 12. - Pp. 1093-1098. - DOI: 10.1109/TC.1978.1675011. Reynolds D. A. Fault Detection Capabilities of Alternating Logic / D. A. Reynolds, G. Meize // IEEE Transactions on Computers. - 1978. - Vol. C-27. - Iss. 12. - Pp. 1093-1098. - DOI: 10.1109/TC.1978.1675011. Аксенова Г. П. Восстановление в дублированных устройствах методом инвертирова-ния данных / Г. П. Аксенова // Автоматика и телемеханика. - 1987. - № 10. - С. 144-153. Aksenova G. P. Vosstanovlenie v dublirovannyh ustroystvah metodom invertirova-niya dannyh / G. P. Aksenova // Avtomatika i telemehanika. - 1987. - № 10. - S. 144-153. Гессель М. Обнаружение неисправностей в самопроверяемых комбинационных схе-мах с использованием свойств самодвойственных функций / М. Гессель, В. И. Моша-нин, В. В. Сапожников и др. // Автоматика и телемеханика. - 1997. - № 12. - С. 193-200. Gessel' M. Obnaruzhenie neispravnostey v samoproveryaemyh kombinacionnyh she-mah s ispol'zovaniem svoystv samodvoystvennyh funkciy / M. Gessel', V. I. Mosha-nin, V. V. Sapozhnikov i dr. // Avtomatika i telemehanika. - 1997. - № 12. - S. 193-200. Гессель М. Самотестируемая структура для функционального обнаружения отказов в комбинационных схемах / М. Гессель, А. В. Дмитриев, В. В. Сапожников и др. // Ав-томатика и телемеханика. - 1999. - № 11. - С. 162-174. Gessel' M. Samotestiruemaya struktura dlya funkcional'nogo obnaruzheniya otkazov v kombinacionnyh shemah / M. Gessel', A. V. Dmitriev, V. V. Sapozhnikov i dr. // Av-tomatika i telemehanika. - 1999. - № 11. - S. 162-174. Гессель М. Исследование свойств самодвойственных самопроверяемых многотакт-ных схем / М. Гессель, А. В. Дмитриев, В. В. Сапожников и др. // Автоматика и теле-механика. - 2001. - № 4. - С. 148-159. Gessel' M. Issledovanie svoystv samodvoystvennyh samoproveryaemyh mnogotakt-nyh shem / M. Gessel', A. V. Dmitriev, V. V. Sapozhnikov i dr. // Avtomatika i tele-mehanika. - 2001. - № 4. - S. 148-159. Сапожников В. В. Самодвойственные дискретные устройства / В. В. Сапожников, Вл. В. Сапожников, М. Гессель. - СПб.: Энергоатомиздат (Санкт-Петербургское от-деление), 2001. - 331 с. Sapozhnikov V. V. Samodvoystvennye diskretnye ustroystva / V. V. Sapozhnikov, Vl. V. Sapozhnikov, M. Gessel'. - SPb.: Energoatomizdat (Sankt-Peterburgskoe ot-delenie), 2001. - 331 s. Сапожников В. В. Синтез самодвойственных дискретных систем / В. В. Сапожников, Вл. В. Сапожников, Р. Ш. Валиев. - СПб.: Элмор, 2006. - 220 с. Sapozhnikov V. V. Sintez samodvoystvennyh diskretnyh sistem / V. V. Sapozhnikov, Vl. V. Sapozhnikov, R. Sh. Valiev. - SPb.: Elmor, 2006. - 220 s. Göessel M. New Methods of Concurrent Checking: Edition 1 / M. Göessel, V. Ocheretny, E. Sogomonyan et al. - Dordrecht: Springer Science + Business Media B. V., 2008. - 184 p. Göessel M. New Methods of Concurrent Checking: Edition 1 / M. Göessel, V. Ocheretny, E. Sogomonyan et al. - Dordrecht: Springer Science + Business Media B. V., 2008. - 184 p. Гессель М. Логическое дополнение - новый метод контроля комбинационных схем / М. Гессель, А. В. Морозов, В. В. Сапожников и др. // Автоматика и телемеханика. - 2003. - № 1. - С. 167-176. Gessel' M. Logicheskoe dopolnenie - novyy metod kontrolya kombinacionnyh shem / M. Gessel', A. V. Morozov, V. V. Sapozhnikov i dr. // Avtomatika i telemehanika. - 2003. - № 1. - S. 167-176. Гессель М. Контроль комбинационных схем методом логического дополнения / М. Гессель, А. В. Морозов, В. В. Сапожников и др. // Автоматика и телемеханика. - 2005. - № 8. - С. 161-172. Gessel' M. Kontrol' kombinacionnyh shem metodom logicheskogo dopolneniya / M. Gessel', A. V. Morozov, V. V. Sapozhnikov i dr. // Avtomatika i telemehanika. - 2005. - № 8. - S. 161-172. Сапожников В. В. Построение самопроверяемых структур систем функционального контроля на основе равновесного кода «2 из 4» / В. В. Сапожников, Вл. В. Сапожни-ков, Д. В. Ефанов // Проблемы управления. - 2017. - № 1. - С. 57-64. Sapozhnikov V. V. Postroenie samoproveryaemyh struktur sistem funkcional'nogo kontrolya na osnove ravnovesnogo koda «2 iz 4» / V. V. Sapozhnikov, Vl. V. Sapozhni-kov, D. V. Efanov // Problemy upravleniya. - 2017. - № 1. - S. 57-64. Сапожников В. В. Способ построения системы функционального контроля на основе логического дополнения по равновесному коду «1 из 5» / В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов и др. // Радиоэлектроника и информатика. - 2017. - № 3. - С. 15-22. Sapozhnikov V. V. Sposob postroeniya sistemy funkcional'nogo kontrolya na osnove logicheskogo dopolneniya po ravnovesnomu kodu «1 iz 5» / V. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Efanov i dr. // Radioelektronika i informatika. - 2017. - № 3. - S. 15-22. Nikolos D. Self-Testing Embedded Two-Rail Checkers / D. Nikolos // Journal of Electronic Testing: Theory and Applications. - 1998. - Vol. 12. - Iss. 1-2. - Pp. 69-79. - DOI: 10.1023/A:1008281822966. Nikolos D. Self-Testing Embedded Two-Rail Checkers / D. Nikolos // Journal of Electronic Testing: Theory and Applications. - 1998. - Vol. 12. - Iss. 1-2. - Pp. 69-79. - DOI: 10.1023/A:1008281822966. Yongmao C. Control Operation Circuit System Design and Simulation Based on Multisim 13.0 / C. Yongmao, W. Jiayu, L. Tianyu // 2020 7th International Conference on Information Science and Control Engineering (ICISCE), 18-20 December, 2020, Changsha, China. - DOI: 10.1109/ICISCE50968.2020.00457. Yongmao C. Control Operation Circuit System Design and Simulation Based on Multisim 13.0 / C. Yongmao, W. Jiayu, L. Tianyu // 2020 7th International Conference on Information Science and Control Engineering (ICISCE), 18-20 December, 2020, Changsha, China. - DOI: 10.1109/ICISCE50968.2020.00457. Сапожников В. В. Основы теории надежности и технической диагностики / В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов. - СПб.: Лань, 2019. - 588 с. Sapozhnikov V. V. Osnovy teorii nadezhnosti i tehnicheskoy diagnostiki / V. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Efanov. - SPb.: Lan', 2019. - 588 s. Багхдади А. А. А. Методы анализа и диагностирования цифровых устройств (анали-тический обзор) / А. А. А. Багхдади, В. И. Хаханов, Е. И. Литвинова // Автоматизи-рованные системы управления и приборы автоматики. - 2014. - № 166. - С. 59-74. Baghdadi A. A. A. Metody analiza i diagnostirovaniya cifrovyh ustroystv (anali-ticheskiy obzor) / A. A. A. Baghdadi, V. I. Hahanov, E. I. Litvinova // Avtomatizi-rovannye sistemy upravleniya i pribory avtomatiki. - 2014. - № 166. - S. 59-74. Пашуков А. В. Синтез устройств управления объектами напольной автоматизации железнодорожного транспорта на программируемых логических интегральных схе-мах / А. В. Пашуков // Проблемы разработки перспективных микро- и наноэлектрон-ных систем (МЭС). - 2021. - № 1. - С. 61-69. - DOI: 10.31114/2078-7707-2021-1-61-69. Pashukov A. V. Sintez ustroystv upravleniya ob'ektami napol'noy avtomatizacii zheleznodorozhnogo transporta na programmiruemyh logicheskih integral'nyh she-mah / A. V. Pashukov // Problemy razrabotki perspektivnyh mikro- i nanoelektron-nyh sistem (MES). - 2021. - № 1. - S. 61-69. - DOI: 10.31114/2078-7707-2021-1-61-69. Langmann R., Stiller M. The PLC as a Smart Service in Industry 4.0 Production Systems / R. Langmann, M. Stiller // Applied Sciences. - 2019. - Vol. 18. - Iss. 9. - Pp. 1-20. - DOI: 10.3390/app9183815. Langmann R., Stiller M. The PLC as a Smart Service in Industry 4.0 Production Systems / R. Langmann, M. Stiller // Applied Sciences. - 2019. - Vol. 18. - Iss. 9. - Pp. 1-20. - DOI: 10.3390/app9183815.