Предложена структура организации схем встроенного контроля для логических устройств автоматики и вычислительной техники, основанная на использовании двух диагностических параметров (гибридная структура). В качестве первого диагностического параметра рассматривается принадлежность контролируемых в схеме встроенного контроля функций заранее выбранному избыточному коду, а в качестве второго диагностического параметра — принадлежность каждой функции к классу самодвойственных функций. Приведено подробное описание гибридной структуры организации схемы встроенного контроля. Рассмотрены частные случаи ее реализации — применение для контроля равновесных кодов „2 из 4“ и стандартных модулей сжатия парафазных сигналов. Продемонстрированы возможности использования специализированных схем предварительного сжатия сигналов с выходов объекта диагностирования, необходимых для сокращения вносимой структурной избыточности при синтезе схемы встроенного контроля. Приведен пример реализации схемы встроенного контроля по гибридной структуре. Рассмотрен алгоритм пошагового определения функций блока контрольной логики с учетом особенностей реализации полностью самопроверяемого цифрового устройства
Рассматриваются троичные коды с суммированием, предназначенные для синтеза цифровых самопроверяемых схем, функционирующих в троичной логике и обладающих свойством обнаружения любых не композиционных (при которых число символов каждого вида сохраняется) ошибок в информационных векторах. Приводятся правила построения троичных кодов с суммированием, которые по своим свойствам схожи с бинарным кодом Бергера. Рассматриваются две модификации троичного кода с суммированием — коды с суммированием в кольце вычетов по модулям μ=3 и μ=9 — и некоторые характеристики обнаружения ошибок этими кодами. Показано, что доля необнаруживаемых троичными кодами с суммированием ошибок кратностью d от общего числа ошибок данной кратностью является постоянной величиной, не зависящей от длины информационного вектора
При синтезе самопроверяемых и отказоустойчивых цифровых вычислительных систем часто применяются двоичные избыточные коды. Их использование позволяет снизить структурную избыточность для наделения устройств свойством самопроверяемости или отказоустойчивости. Приведены результаты исследования широкого класса кодов с суммированием, при построении которых используются заранее выбираемые последовательности весовых коэффициентов и процедура суммирования в кольце вычетов по предварительно зафиксированному модулю. Рассмотрены коды с тремя последовательностями весовых коэффициентов: 1) натуральный ряд; 2) натуральный ряд за исключением степеней числа 2; 3) чередующиеся последовательности возрастающих степеней числа 2. Установлены характеристики обнаружения ошибок кодами по кратностям и видам (монотонные, симметричные и асимметричные). Приведены условия построения помехозащищенных кодов, а также методы модификации кодов для наделения их свойством помехозащищенности. Представлены результаты экспериментов с контрольными комбинационными схемами по применению описанных кодов для обнаружения ошибок на их выходах. Обсуждаются особенности применения модульных взвешенных кодов с суммированием при синтезе цифровых устройств