<?xml version="1.0" encoding="UTF-8"?>
<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" xmlns:ali="http://www.niso.org/schemas/ali/1.0/" article-type="research-article" dtd-version="1.2" xml:lang="en">
  <front>
    <journal-meta>
      <journal-id journal-id-type="issn">1561-5405</journal-id>
	    <journal-id journal-id-type="doi">10.24151/1561-5405</journal-id>	  
      <journal-id journal-id-type="publisher-id">Proceedings of Universities. Electronics</journal-id>
      <journal-title-group>
        <journal-title xml:lang="en">Scientifical and technical journal "Proceedings of Universities. Electronics"</journal-title>
        <trans-title-group xml:lang="ru">
          <trans-title>Научно-технический журнал «Известия высших учебных заведений. Электроника»</trans-title>
        </trans-title-group>        
      </journal-title-group>      
      <issn publication-format="print">1561-5405</issn>
      <issn publication-format="online">2587-9960</issn>
      <publisher>
        <publisher-name xml:lang="en">National Research University of Electronic Technology</publisher-name>
        <publisher-name xml:lang="ru">Национальный исследовательский университет "Московский институт электронной техники"</publisher-name>
      </publisher>
    </journal-meta>
    <article-meta>                                    
      
    <article-id pub-id-type="doi">10.24151/1561-5405-2022-27-2-218-232</article-id><article-id pub-id-type="udk">04.052.32+681.518.5</article-id><article-categories/><title-group><article-title xml:lang="en">Sum codes by arbitrary modulus in concurrent error-detection circuit implemented by the Boolean complement method</article-title><trans-title-group xml:lang="ru"><trans-title>Коды с суммированием по произвольному модулю в схемах встроенного контроля, реализованных по методу логического дополнения</trans-title></trans-title-group></title-group><contrib-group><contrib contrib-type="author"><string-name xml:lang="ru">Дмитрий Викторович Ефанов</string-name><name-alternatives><name xml:lang="ru"><surname>Дмитрий</surname><given-names>Викторович Ефанов</given-names></name><name xml:lang="en"><surname>Efanov</surname><given-names>Dmitry V.</given-names></name></name-alternatives><string-name xml:lang="en">Dmitry V. Efanov</string-name><xref ref-type="aff" rid="AFF-1"/></contrib><contrib contrib-type="author"><string-name xml:lang="ru">Зуева Марина Владимировна</string-name><name-alternatives><name xml:lang="ru"><surname>Зуева</surname><given-names>Марина Владимировна</given-names></name><name xml:lang="en"><surname>Zueva</surname><given-names>Marina V.</given-names></name></name-alternatives><string-name xml:lang="en">Marina V. Zueva</string-name><xref ref-type="aff" rid="AFF-2"/></contrib><aff id="AFF-1" xml:lang="ru">Peter the Great St. Petersburg Polytechnic University, St. Petersburg, Russia; Russian University of Transport, Moscow, Russia; Tashkent State Transport University, Tashkent, Uzbekistan</aff><aff id="AFF-2" xml:lang="ru">“IBS Saint Petersburg” LLC</aff></contrib-group><fpage>218</fpage><lpage>232</lpage><self-uri>http://ivuz-e.ru/en/issues/2-_2022/kody_s_summirovaniem_po_proizvolnomu_modulyu_v_skhemakh_vstroennogo_kontrolya_realizovannykh_po_meto/</self-uri><abstract xml:lang="en"><p>Checker circuits are used for implementation of the device fault verification function. Boolean complement method is prospective for checker circuit synthesis for automation and computing devices. One of this method’s basic directions is computing control by code methods that imply fixed-length block code use at checker circuit synthesis. In this work, the error detection features by modular sum codes in codewords by multiplicities and error types (unidirectional, symmetrical and asymmetrical) are described. It is shown that an increase in the data vector length and the module increases the proportion of undetectable errors arising simultaneously in both data and check vectors, out of undetectable errors arising only in data vectors. For sum codes with modules M ≥ 4, this value exceeds 3. It has been suggested to consider the specified feature of modular sum codes in concurrent error-detection circuit synthesis in automation and computing devices using the Boolean complement method. For this purpose, it is necessary to separate in circuit the diagnostic object outputs, which form the data vector, and the diagnostic object outputs, including the check bits of the data vector. A decision rule has been formulated that allows this to be done for combinational devices. The experiment results with the concurrent error-detection circuit show the effectiveness of modular sum codes for concurrent error-detection circuit organizing using the Boolean complement method.</p></abstract><trans-abstract xml:lang="ru"><p>Для реализации функции контроля возникающих в устройствах неисправностей используются схемы встроенного контроля. Перспективным методом синтеза схемы встроенного контроля для устройств автоматики и вычислительной техники является логическое дополнение. Одно из основных направлений логического дополнения - контроль вычислений по кодовым методам, которые подразумевают применение при синтезе схемы встроенного контроля блочного равномерного кода. В работе описаны особенности обнаружения ошибок модульными кодами с суммированием в кодовых словах по кратностям и видам ошибок &amp;#40;монотонные, симметричные и асимметричные&amp;#41;. Показано, что с увеличением значения длины информационного вектора и модуля увеличивается доля числа необнаруживаемых ошибок, возникающих одновременно в информационных и контрольных векторах, от числа необнаруживаемых ошибок, возникающих только в информационных векторах. Для кодов с суммированием со значениями модулей M ≥ 4 эта величина превышает 3. Указанную особенность модульных кодов с суммированием предложено учитывать при синтезе схем встроенного контроля устройств автоматики и вычислительной техники по методу логического дополнения. Для этого выходы объекта диагностирования, формирующие значения информационного вектора, и выходы объекта диагностирования, формирующие значения контрольных разрядов информационного вектора, схемотехнически разделяют. Сформулировано решающее правило, позволяющее это делать для комбинационных устройств. Результаты экспериментов с контрольными комбинационными схемами свидетельствуют об эффективности применения модульных кодов с суммированием при организации схем встроенного контроля по методу логического дополнения.</p></trans-abstract><kwd-group xml:lang="ru"><kwd/></kwd-group><funding-group><funding-statement xml:lang="ru">работа выполнена при финансовой поддержке гранта Президента РФ (тема № МД-2533.2021.4)</funding-statement></funding-group></article-meta>
  </front>
  <body/>
  <back>
    <ref-list><ref id="B1"><label>1.</label><mixed-citation xml:lang="ru">Согомонян Е. С., Слабаков Е. В. Самопроверяемые устройства и отказоустойчивые системы.  М.: Радио и связь, 1989. 208 с.</mixed-citation></ref><ref id="B2"><label>2.</label><mixed-citation xml:lang="ru">Рабочее диагностирование безопасных информационно-управляющих систем / А. В. Дрозд, В. С. Харченко, С. Г. Антощук и др.; под ред. А. В. Дрозда, В. С. Харченко. Харьков: Национальный  аэрокосмический университет им. Н. Е. Жуковского «ХАИ», 2012. 614 с.</mixed-citation></ref><ref id="B3"><label>3.</label><mixed-citation xml:lang="ru">Сапожников В. В. Синтез систем управления движением поездов на железнодо-рожных станциях с исключением опасных отказов. М.: Наука, 2021. 229 с.</mixed-citation></ref><ref id="B4"><label>4.</label><mixed-citation xml:lang="ru">Mitra S., McCluskey E. J. Which concurrent error detection scheme to сhoose? // Pro-ceedings of  International Test Conference 2000 (IEEE Cat. No. 00CH37159). Atlantic City, NJ: IEEE, 2000. P. 985–994. doi: https://doi.org/10.1109/TEST.2000.894311</mixed-citation></ref><ref id="B5"><label>5.</label><mixed-citation xml:lang="ru">Saposhnikov Vl. V., Dmitriev A., Goessel M., Saposhnikov V. V. Self-dual parity check-ing – A new method for on-line testing // Proceedings of 14th VLSI Test Symposium. Princeton, NJ: IEEE, 1996. P. 162–168. doi: https://doi.org/10.1109/VTEST.1996.510852</mixed-citation></ref><ref id="B6"><label>6.</label><mixed-citation xml:lang="ru">Аксёнова Г. П. Метод синтеза схем встроенного контроля для автоматов с памятью // Автомат. и телемех. 1973. № 2. С. 109–116.</mixed-citation></ref><ref id="B7"><label>7.</label><mixed-citation xml:lang="ru">Гессель М., Мошанин В. И., Сапожников В. В., Сапожников Вл. В. Обнаружение неисправностей в самопроверяемых комбинационных схемах с использованием свойств самодвойственных функций // Автомат. и телемех. 1997. № 12. С. 193–200.</mixed-citation></ref><ref id="B8"><label>8.</label><mixed-citation xml:lang="ru">Гессель М., Морозов А. А., Сапожников В. В., Сапожников Вл. В. Построение са-мопроверяемых комбинационных схем на основе свойств самодвойственных функций // Автомат. и телемех. 2000. № 2. С. 151–163.</mixed-citation></ref><ref id="B9"><label>9.</label><mixed-citation xml:lang="ru">Гессель М., Дмитриев А. В., Сапожников В. В., Сапожников Вл. В. Обнаружение неисправностей в комбинационных схемах с помощью самодвойственного контроля // Автомат. и телемех. 2000. № 7. С. 140–148.</mixed-citation></ref><ref id="B10"><label>10.</label><mixed-citation xml:lang="ru">Göessel M., Ocheretny V., Sogomonyan E., Marienfeld D. New methods of concurrent checking. 1st ed. Dordrecht: Springer Netherlands, 2008. 184 p. doi: https://doi.org/10.1007/978-1-4020-8420-1</mixed-citation></ref><ref id="B11"><label>11.</label><mixed-citation xml:lang="ru">Гессель М., Морозов А. В., Сапожников В. В., Сапожников Вл. В. Логическое дополнение – новый метод контроля комбинационных схем // Автомат. и телемех. 2003. № 1. С. 167–176.</mixed-citation></ref><ref id="B12"><label>12.</label><mixed-citation xml:lang="ru">Гессель М., Морозов А. В., Сапожников В. В., Сапожников Вл. В. Контроль ком-бинационных схем методом логического дополнения // Автомат. и телемех. 2005. № 8. С. 161–172.</mixed-citation></ref><ref id="B13"><label>13.</label><mixed-citation xml:lang="ru">Constraint don’t cares for optimizing designs for concurrent checking by 1-out-of-3 codes / D. K. Das, S. S. Roy, M. Gössel et al. // Proceedings of the 10th International Workshops on Boolean Problems. Freiberg: IWSBP, 2012. P. 33–40.</mixed-citation></ref><ref id="B14"><label>14.</label><mixed-citation xml:lang="ru">Сапожников В. В., Сапожников Вл. В., Ефанов Д. В. Коды Хэмминга в системах функционального контроля логических устройств. СПб.: Наука, 2018. 151 с.</mixed-citation></ref><ref id="B15"><label>15.</label><mixed-citation xml:lang="ru">Сапожников В. В., Сапожников Вл. В., Ефанов Д. В. Коды с суммированием для систем технического диагностирования. Т. 1: Классические коды Бергера и их модифика-ции. М.: Наука, 2020. 383 с.</mixed-citation></ref><ref id="B16"><label>16.</label><mixed-citation xml:lang="ru">Сапожников В. В., Сапожников Вл. В., Ефанов Д. В. Коды с суммированием для систем технического диагностирования. Т. 2: Взвешенные коды с суммированием. М.: Наука, 2021. 455 с.</mixed-citation></ref><ref id="B17"><label>17.</label><mixed-citation xml:lang="ru">Матросова А. Ю., Чернышов С. В., Ким О. Х., Николаева Е. А. Построение по-следовательности, обнаруживающей робастно тестируемые неисправности задержек пу-тей в схемах с памятью // Автомат. и телемех. 2021. № 11. С. 148–168. doi: https://doi.org/10.31857/S0005231021110106</mixed-citation></ref><ref id="B18"><label>18.</label><mixed-citation xml:lang="ru">Багхдади А. А. А., Хаханов В. И., Литвинова Е. И. Методы анализа и диагности-рования цифровых устройств (аналитический обзор) // АСУ и приборы автоматики. 2014. Вып. 166. С. 59–74.</mixed-citation></ref><ref id="B19"><label>19.</label><mixed-citation xml:lang="ru">Sapozhnikov V., Sapozhnikov Vl., Efanov D. Modular sum codes in building testable discrete systems // 2015 IEEE East-West Design &amp;amp; Test Symposium (EWDTS). Batumi: IEEE, 2015. P. 181–187.  doi: https://doi.org/10.1109/EWDTS.2015.7493133</mixed-citation></ref><ref id="B20"><label>20.</label><mixed-citation xml:lang="ru">Ефанов Д. В., Сапожников В. В., Сапожников Вл. В. Применение модульных кодов с суммированием для построения систем функционального контроля комбинацион-ных логических схем // Автомат. и телемех. 2015. № 10. С. 152–169.</mixed-citation></ref><ref id="B21"><label>21.</label><mixed-citation xml:lang="ru">Сапожников В. В., Сапожников Вл. В. Самопроверяемые дискретные устройст-ва. СПб.: Энергоатомиздат, 1992. 224 с.</mixed-citation></ref><ref id="B22"><label>22.</label><mixed-citation xml:lang="ru">Ефанов Д. В., Сапожников В. В., Сапожников Вл. В. Отказоустойчивые струк-туры цифровых устройств на основе логического дополнения // Автомат. и телемех. 2021. № 8. С. 140–158.  doi: https://doi.org/10.31857/S0005231021080079</mixed-citation></ref><ref id="B23"><label>23.</label><mixed-citation xml:lang="ru">Слабаков Е. В. Построение полностью самопроверяемых комбинационных уст-ройств с использованием остаточных кодов // Автомат. и телемех. 1979. № 10. С. 133–141.</mixed-citation></ref><ref id="B24"><label>24.</label><mixed-citation xml:lang="ru">Piestrak S. J. Design of self-testing checkers for unidirectional error detecting codes. Wrocław: Oficyna Wydawnicza Politechniki Wrocłavskiej, 1995. 111 p.</mixed-citation></ref><ref id="B25"><label>25.</label><mixed-citation xml:lang="ru">Ефанов Д. В., Осадчий Г. В., Зуева М. В. Особенности обнаружения ошибок ко-дами с суммированием единичных информационных разрядов в кольце вычетов по задан-ному модулю в схемах встроенного контроля, синтезированных на основе метода логиче-ского дополнения // Автоматика на транспорте. 2021. Т. 7. № 2. С. 284–314. doi: https://doi.org/10.20295/2412-9186-2021-7-2-284-314</mixed-citation></ref><ref id="B26"><label>26.</label><mixed-citation xml:lang="ru">Efanov D. V., Sapozhnikov V. V., Sapozhnikov Vl. V. The self-checking concurrent er-ror-detection systems synthesis based on the Boolean complement to the Bose-Lin codes with the modulo value M = 4 // Электрон. модел. 2021. Т. 43. № 1. С. 28–45. doi: https://doi.org/10.15407/emodel.43.01.028</mixed-citation></ref><ref id="B27"><label>27.</label><mixed-citation xml:lang="ru">Ефанов Д. В., Зуева М. В. Логическое дополнение до модульных кодов с сумми-рованием для синтеза схем встроенного контроля комбинационных устройств автоматики и вычислительной техники // Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС). 2021. № 1. С. 52–60.  doi: https://doi.org/10.31114/2078-7707-2021-1-52-60</mixed-citation></ref><ref id="B28"><label>28.</label><mixed-citation xml:lang="ru">Efanov D. V., Sapozhnikov V. V., Sapozhnikov Vl. V. Organization of a fully self-checking structure of a combinational device based on searching for groups of symmetrically in-dependent outputs // Aut. Control Comp. Sci. 2020. Vol. 54. Iss. 4. P. 279–290. doi: https://doi.org/10.3103/S0146411620040045</mixed-citation></ref><ref id="B29"><label>29.</label><mixed-citation xml:lang="ru">Collection of digital design benchmarks // Digital Design &amp;amp; Dependability Research Group: [web]. URL: https://ddd.fit.cvut.cz/www/prj/Benchmarks/ (дата обращения: 07.02.2022).</mixed-citation></ref><ref id="B30"><label>30.</label><mixed-citation xml:lang="ru">Sequential circuit design using synthesis and optimization / E. M. Sentovich, K. J. Singh, C. Moon et al. // Proceedings of 1992 IEEE International Conference on Computer Design: VLSI in Computers &amp;amp; Processors. Cambridge, MA: IEEE, 1992. P. 328–333. doi: https://doi.org/10.1109/ICCD.1992.276282</mixed-citation></ref></ref-list>    
  </back>
</article>
