<!DOCTYPE article
PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.4 20190208//EN"
       "JATS-journalpublishing1.dtd">
<article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" article-type="research-article" dtd-version="1.4" xml:lang="en">
 <front>
  <journal-meta>
   <journal-id journal-id-type="publisher-id">Transport automation research</journal-id>
   <journal-title-group>
    <journal-title xml:lang="en">Transport automation research</journal-title>
    <trans-title-group xml:lang="ru">
     <trans-title>Автоматика на транспорте</trans-title>
    </trans-title-group>
   </journal-title-group>
   <issn publication-format="print">2412-9186</issn>
  </journal-meta>
  <article-meta>
   <article-id pub-id-type="publisher-id">55615</article-id>
   <article-id pub-id-type="doi">10.20295/2412-9186-2022-8-04-399-417</article-id>
   <article-categories>
    <subj-group subj-group-type="toc-heading" xml:lang="ru">
     <subject>ТЕХНИЧЕСКАЯ ДИАГНОСТИКА И КОНТРОЛЕПРИГОДНЫЕ СИСТЕМЫ</subject>
    </subj-group>
    <subj-group subj-group-type="toc-heading" xml:lang="en">
     <subject>TECHNICAL DIAGNOSTICS AND CONTROLLABLE SYSTEMS</subject>
    </subj-group>
    <subj-group>
     <subject>ТЕХНИЧЕСКАЯ ДИАГНОСТИКА И КОНТРОЛЕПРИГОДНЫЕ СИСТЕМЫ</subject>
    </subj-group>
   </article-categories>
   <title-group>
    <article-title xml:lang="en">Synthesis Method of Self-Checking Devices with Calculation Control by Two Diagnostic Parameters with Preliminary Compression of Signals from the Object of Diagnosis</article-title>
    <trans-title-group xml:lang="ru">
     <trans-title>МЕТОД СИНТЕЗА САМОПРОВЕРЯЕМЫХ УСТРОЙСТВ С КОНТРОЛЕМ ВЫЧИСЛЕНИЙ ПО ДВУМ ДИАГНОСТИЧЕСКИМ ПАРАМЕТРАМ С ПРЕДВАРИТЕЛЬНЫМ СЖАТИЕМ СИГНАЛОВ ОТ ОБЪЕКТА ДИАГНОСТИРОВАНИЯ</trans-title>
    </trans-title-group>
   </title-group>
   <contrib-group content-type="authors">
    <contrib contrib-type="author">
     <name-alternatives>
      <name xml:lang="ru">
       <surname>Ефанов</surname>
       <given-names>Дмитрий Викторович</given-names>
      </name>
      <name xml:lang="en">
       <surname>Efanov</surname>
       <given-names>Dmitriy Viktorovich</given-names>
      </name>
     </name-alternatives>
     <email>TrES-4b@yandex.ru</email>
     <bio xml:lang="ru">
      <p>доктор технических наук;</p>
     </bio>
     <bio xml:lang="en">
      <p>doctor of technical sciences;</p>
     </bio>
     <xref ref-type="aff" rid="aff-1"/>
     <xref ref-type="aff" rid="aff-2"/>
     <xref ref-type="aff" rid="aff-3"/>
     <xref ref-type="aff" rid="aff-4"/>
     <xref ref-type="aff" rid="aff-5"/>
    </contrib>
    <contrib contrib-type="author">
     <name-alternatives>
      <name xml:lang="ru">
       <surname>Пивоваров</surname>
       <given-names>Дмитрий Вячеславович</given-names>
      </name>
      <name xml:lang="en">
       <surname>Pivovarov</surname>
       <given-names>Dmitry Vyacheslavovich</given-names>
      </name>
     </name-alternatives>
     <bio xml:lang="ru">
      <p>кандидат технических наук;</p>
     </bio>
     <bio xml:lang="en">
      <p>candidate of technical sciences;</p>
     </bio>
     <xref ref-type="aff" rid="aff-6"/>
    </contrib>
    <contrib contrib-type="author">
     <name-alternatives>
      <name xml:lang="ru">
       <surname>Леоненко</surname>
       <given-names>Олег Викторович</given-names>
      </name>
      <name xml:lang="en">
       <surname>Leonenko</surname>
       <given-names>Oleg Viktorovich</given-names>
      </name>
     </name-alternatives>
     <bio xml:lang="ru">
      <p>кандидат технических наук;</p>
     </bio>
     <bio xml:lang="en">
      <p>candidate of technical sciences;</p>
     </bio>
     <xref ref-type="aff" rid="aff-7"/>
    </contrib>
   </contrib-group>
   <aff-alternatives id="aff-1">
    <aff>
     <institution xml:lang="ru">Санкт-Петербургский политехнический университет Петра Великого</institution>
     <country>Россия</country>
    </aff>
    <aff>
     <institution xml:lang="en">Peter the Great Saint Petersburg Polytechnic University</institution>
     <country>Russian Federation</country>
    </aff>
   </aff-alternatives>
   <aff-alternatives id="aff-2">
    <aff>
     <institution xml:lang="ru">Санкт-Петербургский политехнический университет Петра Великого</institution>
     <city>Санкт-Петербург</city>
     <country>Россия</country>
    </aff>
    <aff>
     <institution xml:lang="en">Peter the Great Saint Petersburg Polytechnic University</institution>
     <city>Saint-Petersburg</city>
     <country>Russian Federation</country>
    </aff>
   </aff-alternatives>
   <aff-alternatives id="aff-3">
    <aff>
     <institution xml:lang="ru">Российский университет транспорта (МИИТ)</institution>
     <city>Москва</city>
     <country>Россия</country>
    </aff>
    <aff>
     <institution xml:lang="en">Russian University of Transport (MIIT)</institution>
     <city>Moscow</city>
     <country>Russian Federation</country>
    </aff>
   </aff-alternatives>
   <aff-alternatives id="aff-4">
    <aff>
     <institution xml:lang="ru">Ташкентский государственный транспортный университет</institution>
     <city>Ташкент</city>
     <country>Узбекистан</country>
    </aff>
    <aff>
     <institution xml:lang="en">Tashkent State Transport University</institution>
     <city>Tashkent</city>
     <country>Uzbekistan</country>
    </aff>
   </aff-alternatives>
   <aff-alternatives id="aff-5">
    <aff>
     <institution xml:lang="ru">Институт проблем транспорта им. Н. С. Соломенко Российской Академии наук</institution>
     <country>Россия</country>
    </aff>
    <aff>
     <institution xml:lang="en">Institute of Transport Problems named after N. S. Solomenko of the Russian Academy of Sciences</institution>
     <country>Russian Federation</country>
    </aff>
   </aff-alternatives>
   <aff-alternatives id="aff-6">
    <aff>
     <institution xml:lang="ru">Петербургский государственный университет путей сообщения Императора Александра I</institution>
     <country>Россия</country>
    </aff>
    <aff>
     <institution xml:lang="en">Emperor Alexander I St. Petersburg State Transport University</institution>
     <country>Russian Federation</country>
    </aff>
   </aff-alternatives>
   <aff-alternatives id="aff-7">
    <aff>
     <institution xml:lang="ru">Межгосударственное образовательное учреждение высшего образования «Белорусско-Российский университет»</institution>
     <country>Россия</country>
    </aff>
    <aff>
     <institution xml:lang="en">Interstate Educational Istitution of Higher Education “Belarusian-Russian University”</institution>
     <country>Russian Federation</country>
    </aff>
   </aff-alternatives>
   <pub-date publication-format="print" date-type="pub" iso-8601-date="2022-12-12T14:47:04+03:00">
    <day>12</day>
    <month>12</month>
    <year>2022</year>
   </pub-date>
   <pub-date publication-format="electronic" date-type="pub" iso-8601-date="2022-12-12T14:47:04+03:00">
    <day>12</day>
    <month>12</month>
    <year>2022</year>
   </pub-date>
   <volume>8</volume>
   <issue>4</issue>
   <fpage>399</fpage>
   <lpage>417</lpage>
   <history>
    <date date-type="received" iso-8601-date="2022-12-12T00:00:00+03:00">
     <day>12</day>
     <month>12</month>
     <year>2022</year>
    </date>
   </history>
   <self-uri xlink:href="https://atjournal.ru/en/nauka/article/55615/view">https://atjournal.ru/en/nauka/article/55615/view</self-uri>
   <abstract xml:lang="ru">
    <p>Предложена структура организации самопроверяемых цифровых устройств с контролем вычислений по двум диагностическим параметрам. В качестве первого параметра используется принадлежность формируемого в схеме встроенного контроля кодового слова равновесному коду «2 из 4». Вторым параметром является принадлежность каждой вычисляемой функции классу самодвойственных булевых функций. Особенностью описываемой в статье структуры организации самопроверяемых цифровых устройств является наличие схемы предварительного сжатия сигналов от объекта диагностирования. Ее использование позволяет существенно сократить структурную избыточность конечного устройства. При этом, однако, на входах элементов сжатия могут маскироваться ошибки. В статье отмечаются особенности выбора выходов объекта диагностирования, сигналы с которых будут сжиматься, и предлагается алгоритм, позволяющий минимизировать риск возникновения необнаруживаемых ошибок на входах схемы сжатия. Приведен алгоритм синтеза схемы встроенного контроля по двум диагностическим параметрам, учитывающий условия формирования полного множества проверяющих комбинаций для тестеров и элементов преобразования в блоке коррекции сигналов. Рассмотрен пример реализации алгоритма синтеза полностью самопроверяемого устройства в Logisim. Отмечаются ключевые&#13;
особенности схемы встроенного контроля, реализуемой по предлагаемой структуре. Способ организации контроля вычислений по двум диагностическим параметрам представляет интерес при синтезе полностью самопроверяемых цифровых вычислительных устройств и систем.</p>
   </abstract>
   <trans-abstract xml:lang="en">
    <p>The structure of self-checking digital devices with calculation control by two diagnostic parameters has been proposed. The belonging of being formed in in-built control circuit codeword to constant-weight code “2-out-of-4” is used as a first parameter. A second parameter is the belonging of each being calculated function to the class of self-dual Boolean functions. The specificity of being described in the article the organization structure of self-checking digital devices is the presence of the circuit of preliminary compression of signals from diagnosis object. Its usage allows to cut structural redundancy of end device down essentially. Besides, nevertheless, errors can be masked at the inputs of compression elements. The article underlines the features of the choice of being compressed outputs of diagnosis object and the algorithm is proposed allowing to minimize the risk of undetectable error occurrence at compression scheme output. The algorithm of built-in control scheme synthesis by two diagnosis parameters has been presented which takes into account conditions for the formation of full set of test combinations for testers and elements of transformation in signal correction block. The example of realization of synthesis algorithm for fully self-checking device Logisim is considered. Key features of built-in control scheme are denoted; the scheme is embodied according to the proposed structure. The way of organizing calculation control by two diagnostic parameters is of interest at the synthesis of fully self-checking digital calculation devices and systems.</p>
   </trans-abstract>
   <kwd-group xml:lang="ru">
    <kwd>самопроверяемая схема встроенного контроля</kwd>
    <kwd>контроль вычислений комбинационными устройствами</kwd>
    <kwd>предварительное сжатие сигналов</kwd>
    <kwd>кодовый метод контроля вычислений</kwd>
    <kwd>контроль самодвойственности функций</kwd>
   </kwd-group>
   <kwd-group xml:lang="en">
    <kwd>self-checking circuit of in-built control</kwd>
    <kwd>control of calculations by combinational devices</kwd>
    <kwd>preliminary compression of signals</kwd>
    <kwd>code method of control of calculations</kwd>
    <kwd>function self-duality control</kwd>
   </kwd-group>
  </article-meta>
 </front>
 <body>
  <p></p>
 </body>
 <back>
  <ref-list>
   <ref id="B1">
    <label>1.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Mikoni S. Top Level Diagnostic Models of Complex Objects / S. Mikoni // Lecture Notes in Networks and Systems. - 2022. - Vol. 442. - Pp. 238-249. - DOI: 10.1007/978-3-030-98832-6_21.</mixed-citation>
     <mixed-citation xml:lang="en">Mikoni S. Top Level Diagnostic Models of Complex Objects / S. Mikoni // Lecture Notes in Networks and Systems. - 2022. - Vol. 442. - Pp. 238-249. - DOI: 10.1007/978-3-030-98832-6_21.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B2">
    <label>2.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Матросова А. Ю. Построение последовательности, обнаруживающей робастно тести-руемые неисправности задержек путей в схемах с памятью / А. Ю. Матросова, С. В. Чернышов, О. Х. Ким и др. // Автоматика и телемеханика. - 2021. - № 11. - С. 148-168. - DOI: 10.31857/S0005231021110106.</mixed-citation>
     <mixed-citation xml:lang="en">Matrosova A. Yu. Postroenie posledovatel'nosti, obnaruzhivayuschey robastno testi-ruemye neispravnosti zaderzhek putey v shemah s pamyat'yu / A. Yu. Matrosova, S. V. Chernyshov, O. H. Kim i dr. // Avtomatika i telemehanika. - 2021. - № 11. - S. 148-168. - DOI: 10.31857/S0005231021110106.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B3">
    <label>3.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Слабаков Е. В. Самопроверяемые вычислительные устройства и системы (обзор) / Е. В. Слабаков, Е. С. Согомонян // Автоматика и телемеханика. - 1981. - № 11. - С. 147-167.</mixed-citation>
     <mixed-citation xml:lang="en">Slabakov E. V. Samoproveryaemye vychislitel'nye ustroystva i sistemy (obzor) / E. V. Slabakov, E. S. Sogomonyan // Avtomatika i telemehanika. - 1981. - № 11. - S. 147-167.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B4">
    <label>4.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Микони С. В. Общие диагностические базы знаний вычислительных систем / С. В. Микони. - СПб.: СПИИРАН, 1992. - 234 с.</mixed-citation>
     <mixed-citation xml:lang="en">Mikoni S. V. Obschie diagnosticheskie bazy znaniy vychislitel'nyh sistem / S. V. Mikoni. - SPb.: SPIIRAN, 1992. - 234 s.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B5">
    <label>5.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Lala P. K. Self-Checking and Fault-Tolerant Digital Design / P. K. Lala. - San Francisco: Morgan Kaufmann Publishers, 2001. - 216 p.</mixed-citation>
     <mixed-citation xml:lang="en">Lala P. K. Self-Checking and Fault-Tolerant Digital Design / P. K. Lala. - San Francisco: Morgan Kaufmann Publishers, 2001. - 216 p.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B6">
    <label>6.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Fujiwara E. Code Design for Dependable Systems: Theory and Practical Applications / E. Fujiwara. - John Wiley &amp; Sons, 2006. - 720 p.</mixed-citation>
     <mixed-citation xml:lang="en">Fujiwara E. Code Design for Dependable Systems: Theory and Practical Applications / E. Fujiwara. - John Wiley &amp; Sons, 2006. - 720 p.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B7">
    <label>7.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Дрозд А. В. Рабочее диагностирование безопасных информационно-управляющих систем / А. В. Дрозд, В. С. Харченко, С. Г. Антощук и др.; под ред. А. В. Дрозда и В. С. Харченко. - Харьков: Национальный аэрокосмический университет им. Н. Е. Жуковского «ХАИ», 2012. - 614 с.</mixed-citation>
     <mixed-citation xml:lang="en">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.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B8">
    <label>8.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Пархоменко П. П. Основы технической диагностики (оптимизация алгоритмов диа-гностирования, аппаратурные средства) / П. П. Пархоменко, Е. С. Согомонян. - М.: Энергоатомиздат, 1981. - 320 с.</mixed-citation>
     <mixed-citation xml:lang="en">Parhomenko P. P. Osnovy tehnicheskoy diagnostiki (optimizaciya algoritmov dia-gnostirovaniya, apparaturnye sredstva) / P. P. Parhomenko, E. S. Sogomonyan. - M.: Energoatomizdat, 1981. - 320 s.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B9">
    <label>9.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Согомонян Е. С. Самопроверяемые устройства и отказоустойчивые системы / Е. С. Согомонян, Е. В. Слабаков. - М.: Радио и связь, 1989. - 208 с.</mixed-citation>
     <mixed-citation xml:lang="en">Sogomonyan E. S. Samoproveryaemye ustroystva i otkazoustoychivye sistemy / E. S. Sogomonyan, E. V. Slabakov. - M.: Radio i svyaz', 1989. - 208 s.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B10">
    <label>10.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Гессель М. Контроль комбинационных схем методом логического дополнения / М. Гессель, А. В. Морозов, В. В. Сапожников и др. // Автоматика и телемеханика. - 2005. - № 8. - С. 161-172.</mixed-citation>
     <mixed-citation xml:lang="en">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.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B11">
    <label>11.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Nicolaidis M. On-Line Testing for VLSI - А Compendium of Approaches / M. Nicolaidis, Y. Zorian // Journal of Electronic Testing: Theory and Application. - 1998. - Vol. 12. - Iss. 1-2. - Pp. 7-20. - DOI: 10.1023/A:1008244815697.</mixed-citation>
     <mixed-citation xml:lang="en">Nicolaidis M. On-Line Testing for VLSI - A Compendium of Approaches / M. Nicolaidis, Y. Zorian // Journal of Electronic Testing: Theory and Application. - 1998. - Vol. 12. - Iss. 1-2. - Pp. 7-20. - DOI: 10.1023/A:1008244815697.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B12">
    <label>12.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Мехов В. Б. Контроль комбинационных схем на основе модифицированных кодов с суммированием / В. Б. Мехов, В. В. Сапожников, Вл. В. Сапожников // Автоматика и телемеханика. - 2008. - № 8. - С. 153-165.</mixed-citation>
     <mixed-citation xml:lang="en">Mehov V. B. Kontrol' kombinacionnyh shem na osnove modificirovannyh kodov s summirovaniem / V. B. Mehov, V. V. Sapozhnikov, Vl. V. Sapozhnikov // Avtomatika i telemehanika. - 2008. - № 8. - S. 153-165.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B13">
    <label>13.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Гаврилов С. В. Применение теории кодирования для повышения помехозащищенно-сти комбинационных схем / С. В. Гаврилов, С. И. Гуров, Т. Д. Жукова и др. // Инфор-мационные технологии. - 2016. - Т. 22. - № 12. - С. 931-937.</mixed-citation>
     <mixed-citation xml:lang="en">Gavrilov S. V. Primenenie teorii kodirovaniya dlya povysheniya pomehozaschischenno-sti kombinacionnyh shem / S. V. Gavrilov, S. I. Gurov, T. D. Zhukova i dr. // Infor-macionnye tehnologii. - 2016. - T. 22. - № 12. - S. 931-937.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B14">
    <label>14.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Tshagharyan G. Experimental Study on Hamming and Hsiao Codes in the Context of Em-bedded Applications / G. Tshagharyan, G. Harutyunyan, S. Shoukourian et al. // Proceedings of 15th IEEE East-West Design &amp; Test Symposium (EWDTS’2017), Novi Sad, Serbia, Sep-tember 29 - October 2, 2017. - Pp. 25-28. - DOI: 10.1109/EWDTS.2017.8110065.</mixed-citation>
     <mixed-citation xml:lang="en">Tshagharyan G. Experimental Study on Hamming and Hsiao Codes in the Context of Em-bedded Applications / G. Tshagharyan, G. Harutyunyan, S. Shoukourian et al. // Proceedings of 15th IEEE East-West Design &amp; Test Symposium (EWDTS’2017), Novi Sad, Serbia, Sep-tember 29 - October 2, 2017. - Pp. 25-28. - DOI: 10.1109/EWDTS.2017.8110065.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B15">
    <label>15.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Пашуков А. В. Синтез устройств управления объектами напольной автоматизации железнодорожного транспорта на программируемых логических интегральных схе-мах / А. В. Пашуков // Проблемы разработки перспективных микро- и наноэлектрон-ных систем (МЭС). - 2021. - № 1. - С. 61-69. - DOI: 10.31114/2078-7707-2021-1-61-69.</mixed-citation>
     <mixed-citation xml:lang="en">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.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B16">
    <label>16.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">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.</mixed-citation>
     <mixed-citation xml:lang="en">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.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B17">
    <label>17.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">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.</mixed-citation>
     <mixed-citation xml:lang="en">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.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B18">
    <label>18.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Сапожников В. В. Коды Хэмминга в системах функционального контроля логиче-ских устройств / В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов. - СПб.: Наука, 2018. - 151 с.</mixed-citation>
     <mixed-citation xml:lang="en">Sapozhnikov V. V. Kody Hemminga v sistemah funkcional'nogo kontrolya logiche-skih ustroystv / V. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Efanov. - SPb.: Nauka, 2018. - 151 s.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B19">
    <label>19.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Сапожников В. В. Коды с суммированием для систем технического диагностирова-ния. Т. 1: Классические коды Бергера и их модификации / В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов. - М.: Наука, 2020. - 383 с.</mixed-citation>
     <mixed-citation xml:lang="en">Sapozhnikov V. V. Kody s summirovaniem dlya sistem tehnicheskogo diagnostirova-niya. T. 1: Klassicheskie kody Bergera i ih modifikacii / V. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Efanov. - M.: Nauka, 2020. - 383 s.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B20">
    <label>20.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Сапожников В. В. Коды с суммированием для систем технического диагностирова-ния. Т. 2: Взвешенные коды с суммированием / В. В. Сапожников, Вл. В. Сапожни-ков, Д. В. Ефанов. - М.: Наука, 2021. - 455 с.</mixed-citation>
     <mixed-citation xml:lang="en">Sapozhnikov V. V. Kody s summirovaniem dlya sistem tehnicheskogo diagnostirova-niya. T. 2: Vzveshennye kody s summirovaniem / V. V. Sapozhnikov, Vl. V. Sapozhni-kov, D. V. Efanov. - M.: Nauka, 2021. - 455 s.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B21">
    <label>21.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Яблонский С. В. Введение в дискретную математику: учеб. пособие для вузов / С. В. Яблонский; под ред. В. А. Садовничева. 4-е изд., стер. - М.: Высшая школа, 2003. - 384 с.</mixed-citation>
     <mixed-citation xml:lang="en">Yablonskiy S. V. Vvedenie v diskretnuyu matematiku: ucheb. posobie dlya vuzov / S. V. Yablonskiy; pod red. V. A. Sadovnicheva. 4-e izd., ster. - M.: Vysshaya shkola, 2003. - 384 s.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B22">
    <label>22.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Аксенова Г. П. Восстановление в дублированных устройствах методом инвертирова-ния данных / Г. П. Аксенова // Автоматика и телемеханика. - 1987. - № 10. - С. 144-153.</mixed-citation>
     <mixed-citation xml:lang="en">Aksenova G. P. Vosstanovlenie v dublirovannyh ustroystvah metodom invertirova-niya dannyh / G. P. Aksenova // Avtomatika i telemehanika. - 1987. - № 10. - S. 144-153.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B23">
    <label>23.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Saposhnikov Vl. V. Self-Dual Parity Checking - a New Method for on Line Testing / Vl. V. Saposhnikov, A. Dmitriev, M. Goessel et al. // Proceedings of 14th IEEE VLSI Test Symposium. - USA, Princeton, 1996. - Pp. 162-168.</mixed-citation>
     <mixed-citation xml:lang="en">Saposhnikov Vl. V. Self-Dual Parity Checking - a New Method for on Line Testing / Vl. V. Saposhnikov, A. Dmitriev, M. Goessel et al. // Proceedings of 14th IEEE VLSI Test Symposium. - USA, Princeton, 1996. - Pp. 162-168.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B24">
    <label>24.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Гессель М. Обнаружение неисправностей в самопроверяемых комбинационных схе-мах с использованием свойств самодвойственных функций / М. Гессель, В. И. Моша-нин, В. В. Сапожников и др. // Автоматика и телемеханика. - 1997. - № 12. - С. 193-200.</mixed-citation>
     <mixed-citation xml:lang="en">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.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B25">
    <label>25.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Гессель М. Самотестируемая структура для функционального обнаружения отказов в комбинационных схемах / М. Гессель, А. В. Дмитриев, В. В. Сапожников и др. // Ав-томатика и телемеханика. - 1999. - № 11. - С. 162-174.</mixed-citation>
     <mixed-citation xml:lang="en">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.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B26">
    <label>26.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Гессель М. Построение самопроверяемых комбинационных схем на основе свойств самодвойственных функций / М. Гессель, А. А. Морозов, В. В. Сапожникв и др. // Автоматика и телемеханика. - 2000. - № 2. - С. 151-163.</mixed-citation>
     <mixed-citation xml:lang="en">Gessel' M. Postroenie samoproveryaemyh kombinacionnyh shem na osnove svoystv samodvoystvennyh funkciy / M. Gessel', A. A. Morozov, V. V. Sapozhnikv i dr. // Avtomatika i telemehanika. - 2000. - № 2. - S. 151-163.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B27">
    <label>27.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Гессель М. Обнаружение неисправностей в комбинационных схемах с помощью са-модвойственного контроля / М. Гессель, А. В. Дмитриев, В. В. Сапожников и др. // Автоматика и телемеханика. - 2000. - № 7. - С. 140-149.</mixed-citation>
     <mixed-citation xml:lang="en">Gessel' M. Obnaruzhenie neispravnostey v kombinacionnyh shemah s pomosch'yu sa-modvoystvennogo kontrolya / M. Gessel', A. V. Dmitriev, V. V. Sapozhnikov i dr. // Avtomatika i telemehanika. - 2000. - № 7. - S. 140-149.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B28">
    <label>28.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Гессель М. Исследование свойств самодвойственных самопроверяемых многотакт-ных схем / М. Гессель, А. В. Дмитриев, В. В. Сапожников и др.// Автоматика и теле-механика. - 2001. - № 4. - С. 148-159.</mixed-citation>
     <mixed-citation xml:lang="en">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.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B29">
    <label>29.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Сапожников В. В. Самодвойственные дискретные устройства / В. В. Сапожников, Вл. В. Сапожников, М. Гессель. - СПб: Энергоатомиздат (Санкт-Петербургское от-деление), 2001. - 331 с.</mixed-citation>
     <mixed-citation xml:lang="en">Sapozhnikov V. V. Samodvoystvennye diskretnye ustroystva / V. V. Sapozhnikov, Vl. V. Sapozhnikov, M. Gessel'. - SPb: Energoatomizdat (Sankt-Peterburgskoe ot-delenie), 2001. - 331 s.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B30">
    <label>30.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Сапожников В. В. Синтез самодвойственных дискретных систем / В. В. Сапожников, Вл. В. Сапожников, Р. Ш. Валиев. - СПб: Элмор, 2006. - 220 с.</mixed-citation>
     <mixed-citation xml:lang="en">Sapozhnikov V. V. Sintez samodvoystvennyh diskretnyh sistem / V. V. Sapozhnikov, Vl. V. Sapozhnikov, R. Sh. Valiev. - SPb: Elmor, 2006. - 220 s.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B31">
    <label>31.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">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 &amp; Test Symposium (EWDTS’2019), Batumi, Georgia, September 13-16, 2019. - Pp. 136-143. - DOI: 10.1109/EWDTS.2019.8884398.</mixed-citation>
     <mixed-citation xml:lang="en">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 &amp; Test Symposium (EWDTS’2019), Batumi, Georgia, September 13-16, 2019. - Pp. 136-143. - DOI: 10.1109/EWDTS.2019.8884398.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B32">
    <label>32.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Ефанов Д. В. Метод функционального контроля комбинационных логических устройств на основе самодвойственного дополнения до равновесных кодов / Д. В. Ефанов, В. В. Сапожников, Вл. В. Сапожников и др. // Электронное моделирование. - 2020. - Т. 42. - № 3. - С. 27-52. - DOI: 10.15407/emodel.42.03.027.</mixed-citation>
     <mixed-citation xml:lang="en">Efanov D. V. Metod funkcional'nogo kontrolya kombinacionnyh logicheskih ustroystv na osnove samodvoystvennogo dopolneniya do ravnovesnyh kodov / D. V. Efanov, V. V. Sapozhnikov, Vl. V. Sapozhnikov i dr. // Elektronnoe modelirovanie. - 2020. - T. 42. - № 3. - S. 27-52. - DOI: 10.15407/emodel.42.03.027.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B33">
    <label>33.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Efanov D. V. Organization of Testing of Combinational Devices Based on Boolean Com-plement to Constant-Weight “1-out-of-4” Code with Signal Compression / D. Efanov, V. Sapozhnikov, Vl. Sapozhnikov // Automatic Control and Computer Sciences. - 2021. - Vol. 55. - Iss. 2. - Pp. 113-124. - DOI: 10.3103/S014641162102005X.</mixed-citation>
     <mixed-citation xml:lang="en">Efanov D. V. Organization of Testing of Combinational Devices Based on Boolean Com-plement to Constant-Weight “1-out-of-4” Code with Signal Compression / D. Efanov, V. Sapozhnikov, Vl. Sapozhnikov // Automatic Control and Computer Sciences. - 2021. - Vol. 55. - Iss. 2. - Pp. 113-124. - DOI: 10.3103/S014641162102005X.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B34">
    <label>34.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Гессель М. Логическое дополнение - новый метод контроля комбинационных схем / М. Гессель, А. В. Морозов, В. В. Сапожников и др. // Автоматика и телемеханика. - 2003. - № 1. - С. 167-176.</mixed-citation>
     <mixed-citation xml:lang="en">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.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B35">
    <label>35.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">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.</mixed-citation>
     <mixed-citation xml:lang="en">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.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B36">
    <label>36.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Сапожников В. В. Самопроверяемые дискретные устройства / В. В. Сапожников, Вл. В. Сапожников. - СПб: Энергоатомиздат, 1992. - 224 с.</mixed-citation>
     <mixed-citation xml:lang="en">Sapozhnikov V. V. Samoproveryaemye diskretnye ustroystva / V. V. Sapozhnikov, Vl. V. Sapozhnikov. - SPb: Energoatomizdat, 1992. - 224 s.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B37">
    <label>37.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Carter W. C. Self-Checking Error Checker for Two-Rail Coded Data / W. C. Carter, K. A. Duke, P. R. Schneider // United States Patent Office, filed July 25, 1968. - Ser. No. 747533, patented Jan. 26, 1971. N. Y. - 10 p.</mixed-citation>
     <mixed-citation xml:lang="en">Carter W. C. Self-Checking Error Checker for Two-Rail Coded Data / W. C. Carter, K. A. Duke, P. R. Schneider // United States Patent Office, filed July 25, 1968. - Ser. No. 747533, patented Jan. 26, 1971. N. Y. - 10 p.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B38">
    <label>38.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Ефанов Д. В. Синтез самопроверяемых комбинационных устройств с контролем вы-числений по двум диагностическим параметрам / Д. В. Ефанов, Д. В. Пивоваров // Известия высших учебных заведений. Приборостроение. - 2022. - Т. 65. - № 7. - С. 461-477. - DOI: 10.17586/0021-3454-2022-65-7-461-477.</mixed-citation>
     <mixed-citation xml:lang="en">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.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B39">
    <label>39.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Ефанов Д. В. Организация схем встроенного контроля на основе метода логического дополнения с предварительным преобразованием рабочих функций в контрольные векторы кодов Бергера / Д. В. Ефанов, В. В. Сапожников, Вл. В. Сапожников // Ин-формационные технологии. - 2021. - Т. 27. - № 6. - С. 306-313. - DOI: 10.17587/it.27.306-313.</mixed-citation>
     <mixed-citation xml:lang="en">Efanov D. V. Organizaciya shem vstroennogo kontrolya na osnove metoda logicheskogo dopolneniya s predvaritel'nym preobrazovaniem rabochih funkciy v kontrol'nye vektory kodov Bergera / D. V. Efanov, V. V. Sapozhnikov, Vl. V. Sapozhnikov // In-formacionnye tehnologii. - 2021. - T. 27. - № 6. - S. 306-313. - DOI: 10.17587/it.27.306-313.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B40">
    <label>40.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Ефанов Д. В. Синтез схем встроенного контроля на основе метода логического до-полнения с предварительным сжатием сигналов рабочих функций / Д. В. Ефанов, В. В. Сапожников, Вл. В. Сапожников // Вестник Томского государственного уни-верситета. Управление, вычислительная техника и информатика. - 2021. - № 1. - С. 97-115. - DOI: 10.17223/19988605/54/12.</mixed-citation>
     <mixed-citation xml:lang="en">Efanov D. V. Sintez shem vstroennogo kontrolya na osnove metoda logicheskogo do-polneniya s predvaritel'nym szhatiem signalov rabochih funkciy / D. V. Efanov, V. V. Sapozhnikov, Vl. V. Sapozhnikov // Vestnik Tomskogo gosudarstvennogo uni-versiteta. Upravlenie, vychislitel'naya tehnika i informatika. - 2021. - № 1. - S. 97-115. - DOI: 10.17223/19988605/54/12.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B41">
    <label>41.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Аксенова Г. П. Необходимые и достаточные условия построения полностью проверя-емых схем свертки по модулю 2 / Г. П. Аксенова // Автоматика и телемеханика. - 1979. - № 9. - С. 126-135.</mixed-citation>
     <mixed-citation xml:lang="en">Aksenova G. P. Neobhodimye i dostatochnye usloviya postroeniya polnost'yu proverya-emyh shem svertki po modulyu 2 / G. P. Aksenova // Avtomatika i telemehanika. - 1979. - № 9. - S. 126-135.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B42">
    <label>42.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Efanov D. V. Synthesis of Built-in Self-Test Control Circuits Based on the Method of Bool-ean Complement to Constant-Weight 1-out-of-n Codes / D. V. Efanov, V. V. Sapozhnikov, Vl. V. Sapozhnikov et al. // Automatic Control and Computer Sciences. - 2019. - Vol. 53. - Iss. 6. - Pp. 481-491. - DOI: 10.3103/S014641161906004X.</mixed-citation>
     <mixed-citation xml:lang="en">Efanov D. V. Synthesis of Built-in Self-Test Control Circuits Based on the Method of Bool-ean Complement to Constant-Weight 1-out-of-n Codes / D. V. Efanov, V. V. Sapozhnikov, Vl. V. Sapozhnikov et al. // Automatic Control and Computer Sciences. - 2019. - Vol. 53. - Iss. 6. - Pp. 481-491. - DOI: 10.3103/S014641161906004X.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B43">
    <label>43.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Zakrevskij A. Optimization in Boolean Space / A. Zakrevskij, Yu. Pottosin, L. Cheremisino-va. - Tallinn: TUT Press, 2009. - 241 p.</mixed-citation>
     <mixed-citation xml:lang="en">Zakrevskij A. Optimization in Boolean Space / A. Zakrevskij, Yu. Pottosin, L. Cheremisino-va. - Tallinn: TUT Press, 2009. - 241 p.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B44">
    <label>44.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Sentovich E. M. Sequential Circuit Design Using Synthesis and Optimization / E. M. Sen-tovich, K. J. Singh, C. Moon et al. // Proceedings IEEE International Conference on Com-puter Design: VLSI in Computers &amp; Processors, 11-14 October 1992, Cambridge, MA, USA. - Pp. 328-333. - DOI: 10.1109/ICCD.1992.276282.</mixed-citation>
     <mixed-citation xml:lang="en">Sentovich E. M. Sequential Circuit Design Using Synthesis and Optimization / E. M. Sen-tovich, K. J. Singh, C. Moon et al. // Proceedings IEEE International Conference on Com-puter Design: VLSI in Computers &amp; Processors, 11-14 October 1992, Cambridge, MA, USA. - Pp. 328-333. - DOI: 10.1109/ICCD.1992.276282.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B45">
    <label>45.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Sentovich M. SIS: A System for Sequential Circuit Synthesis / E. M. Sentovich, K. J. Singh, L. Lavagno et al. // Electronics Research Laboratory, Department of Electrical Engineering and Computer Science, University of California, Berkeley, 4 May 1992. - 45 p.</mixed-citation>
     <mixed-citation xml:lang="en">Sentovich M. SIS: A System for Sequential Circuit Synthesis / E. M. Sentovich, K. J. Singh, L. Lavagno et al. // Electronics Research Laboratory, Department of Electrical Engineering and Computer Science, University of California, Berkeley, 4 May 1992. - 45 p.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B46">
    <label>46.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Collection of Digital Design Benchmarks. - URL: http:// ddd.fit.cvut.cz/www/prj/Benchmarks/.</mixed-citation>
     <mixed-citation xml:lang="en">Collection of Digital Design Benchmarks. - URL: http:// ddd.fit.cvut.cz/www/prj/Benchmarks/.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B47">
    <label>47.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">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 &amp; Test Symposium (EWDTS’2021), Batumi, Georgia, September 10-13, 2021. - Pp. 200-206. - DOI: 10.1109/EWDTS52692.2021.9581019.</mixed-citation>
     <mixed-citation xml:lang="en">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 &amp; Test Symposium (EWDTS’2021), Batumi, Georgia, September 10-13, 2021. - Pp. 200-206. - DOI: 10.1109/EWDTS52692.2021.9581019.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B48">
    <label>48.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Drozd O. Hidden Fault Analysis of FPGA Projects for Critical Applications / O. Drozd, I. Perebeinos, O. Martynyuk et al. // Proceedings of the IEEE International Conference on Advanced Trends in Radioelectronics, Telecommunications and Computer Engineering (TCSET), 25-29 February 2020. - Lviv-Slavsko, Ukraine. - P. 142. - DOI: 10.1109/TCSET49122.2020.235591.</mixed-citation>
     <mixed-citation xml:lang="en">Drozd O. Hidden Fault Analysis of FPGA Projects for Critical Applications / O. Drozd, I. Perebeinos, O. Martynyuk et al. // Proceedings of the IEEE International Conference on Advanced Trends in Radioelectronics, Telecommunications and Computer Engineering (TCSET), 25-29 February 2020. - Lviv-Slavsko, Ukraine. - P. 142. - DOI: 10.1109/TCSET49122.2020.235591.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B49">
    <label>49.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">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 &amp; Test Symposium (EWDTS’2011). - Sevastopol, Ukraine, 2011. - Pp. 411-416. - DOI: 10.1109/EWDTS.2011.6116606.</mixed-citation>
     <mixed-citation xml:lang="en">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 &amp; Test Symposium (EWDTS’2011). - Sevastopol, Ukraine, 2011. - Pp. 411-416. - DOI: 10.1109/EWDTS.2011.6116606.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B50">
    <label>50.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Сапожников Вл. В. Синтез систем управления движением поездов на железнодорож-ных станциях с исключением опасных отказов / Вл. В. Сапожников. - М.: Наука, 2021. - 229 с.</mixed-citation>
     <mixed-citation xml:lang="en">Sapozhnikov Vl. V. Sintez sistem upravleniya dvizheniem poezdov na zheleznodorozh-nyh stanciyah s isklyucheniem opasnyh otkazov / Vl. V. Sapozhnikov. - M.: Nauka, 2021. - 229 s.</mixed-citation>
    </citation-alternatives>
   </ref>
  </ref-list>
 </back>
</article>
