Д.В. ЕФАНОВ СИНТЕЗ САМОПРОВЕРЯЕМЫХ КОМБИНАЦИОННЫХ УСТРОЙСТВ НА ОСНОВЕ КОДОВ С ЭФФЕКТИВНЫМ ОБНАРУЖЕНИЕМ СИММЕТРИЧНЫХ ОШИБОКЕфанов Д.В. Синтез самопроверяемых комбинационных устройств на основе кодов с эффективным обнаружением симметричных ошибок. Аннотация. При создании надежных и безопасных компонентов систем автоматического управления часто используются методы помехоустойчивого кодирования -как при передаче данных между узлами системы, так и на уровне архитектуры аппаратных и программных средств. Широко применяется избыточное кодирование при организации контроля комбинационных логических устройств. При этом используются коды, ориентированные именно на обнаружение, а не исправление ошибок. Такие особенности кодов позволяют реализовывать контролепригодные системы автоматики с приемлемой избыточностью, не превышающей избыточности при использовании дублирования. В статье освещается метод синтеза самопроверяемых комбинационных устройств, позволяющий учитывать при решении задачи построения технических средств диагностирования особенности архитектуры исходных устройств, а также свойства обнаружения ошибок избыточными кодами. Даются базовые сведения из теории синтеза контролепригодных дискретных систем на основе избыточных кодов с суммированием. Определены ключевые этапы анализа топологий объектов диагностирования с выделением специальных групп выходов -групп структурно и функционально симметрично независимых выходов устройств. Приводятся формулы, позволяющие установить наличие или отсутствие симметричной зависимости выходов объекта диагностирования. Дается пример, иллюстрирующий процесс вычислений. Сформулированы основные этапы анализа применения избыточных кодов при выявлении ошибок на функционально симметрично зависимых выходах. Дан алгоритм синтеза самопроверяемых логических устройств с учетом особенностей структуры объекта диагностирования и свойств избыточных кодов.Ключевые слова: логические устройства автоматики, контролепригодная структура, техническая диагностика, диагностирование, контроль технического состояния, равномерный блочный код, код Бергера, коды с суммированием, обнаружение ошибок.1. Введение. Важная задача разработки и конструирования со-временных аппаратно-программных систем автоматического управле-ния и контроля -обеспечение высокого уровня надежности и без-опасности функционирования их компонентов. Эта задача решается за счет разнообразных методов как на аппаратном, так и на программном уровнях системы: широко используются методы структурного, вре-менного и информационного резервирования и технического диагно-стирования [1][2][3][4][5][6][7]. Для контроля корректности выполняемых вычисли-тельных процедур по реализации ответственных технологических ал-горитмов применяются методы сигнатурного анализа и сканирования, используются структуры устройств, обладающие свойством самопро-веряемости, а также проводится тестирование блоков и компонентов в свободное от выполнения ими своих функций время [8, 9].
_____________________________________________Еще на этапе разработки и синтеза компонентов систем у...