DOI: 10.17587/prin.14.175-186

УДК: 681.518.5+004.052.32

Анализ эффективности схем встроенного контроля на основе оценки принадлежности вычисляемых функций классу самодвойственных и предварительного сжатия сигналов с применением линейных кодов

Д. В. Ефанов^1,2,3, д-р техн. наук, доц., проф., TrES-4b@yandex.ru, Т. С. Погодина², студент, pogodina-ts@mail.ru
¹ Санкт-Петербургский политехнический университет Петра Великого
² Российский университет транспорта, Москва
³ ООО НИПИ «ТРАНССТРОЙБЕЗОПАСНОСТЬ», Санкт-Петербург

Описан метод контроля вычислений, направленный на определение принадлежности функций классу самодвойственных с применением известных линейных кодов для предварительного сжатия сигналов с выходов комбинационных устройств для уменьшения числа контролируемых сигналов. Предложена обобщенная структура организации контроля вычислений со сжатием сигналов с применением произвольных разделимых кодов, дополняющая известные структу­ры самодвойственного контроля вычислений по паритету («самодвойственного паритета») и самодвойственного контроля с дублированием каждой функции («самодвойственного дублирования»). В схеме встроенного контроля по представленному методу все устройства, кроме блока самодвойственного дополнения, являются стандартизированными (типовыми). Поэтому для синтеза схемы встроенного контроля необходимо получить только структуру этого блока в выбранном элементном базисе. Приведена методика синтеза блока самодвойственного до­полнения при организации контроля вычислений с применением произвольных разделимых кодов. Описаны примеры реализации устройств со схемами встроенного контроля на основе известных линейных кодов — кодов паритета, Хэмминга и их модификаций. Даны некоторые результаты моделирования устройств со схемами встроенного контроля, отмечающие преимущества и недостатки применения каждого из рассмотренных кодов. Результаты, полученные в исследовании, могут быть применены при разработке самопроверяемых вычислительных устройств и систем.

Ключевые слова: комбинационное устройство, контроль вычислений, контроль самодвойственности функций, код паритета, код Хэмминга, модифицированный код Хэмминга, самопроверяемое устройство, временная избыточность, самодвойственное дополнение

Стр. 175–186

Ссылка для цитирования:
Ефанов Д. В., Погодина Т. С. Анализ эффективности схем встроенного контроля на основе оценки принадлежности вычисляемых функций классу самодвойственных и предварительного сжатия сигналов с применением линейных кодов // Программная инженерия. 2023. Том 14, № 4. С. 175—186. DOI: 10.17587/prin.14.175-186. .