RUS  ENG
Полная версия
ЖУРНАЛЫ // Труды института системного программирования РАН // Архив

Труды ИСП РАН, 2022, том 34, выпуск 3, страницы 75–88 (Mi tisp694)

Модификация алгоритма обнаружения и локализации ошибки в системе остаточных классов

А. В. Гладковa, В. А. Кучуковb, М. Г. Бабенкоac, А. Н. Черныхdec, В. В. Бережнойa, А. Ю. Дроздовf

a Северо-Кавказский федеральный университет
b Северо-Кавказский центр математических исследований СКФУ
c Институт системного программирования им. В.П. Иванникова РАН
d Центр научных исследований и высшего образования
e Южно-Уральский государственный университет
f Московский физико-технический институт

Аннотация: В статье рассмотрена модификация алгоритма обнаружения и локализации ошибки в системе остаточных классов (СОК). Классическая избыточная СОК с одним контрольным основанием позволяет обнаружить ошибку, но не локализовать её. Для локализации одиночной ошибки вводят два контрольных основания. Благодаря накладываемым на основания СОК ограничениям уи разработанному алгоритму дается достичь исправления ошибок при одном контрольном основании, передаваемом по надежному каналу связи. Проведено моделирование классического и предложенного подходов с использованием Verilog на ASIC в среде RTL и физического синтеза Cadence Genus Synthesis Solution Предложенный алгоритм позволяет значительно сократить используемое при аппаратной реализации оборудование, незначительно увеличив время работы. На основе предложенного алгоритма разработана система распределенного хранения данных.

Ключевые слова: избыточная система остаточных классов, обнаружение ошибок, аппаратное моделирование

DOI: 10.15514/ISPRAS-2022-34(3)-6



© МИАН, 2024