К синтезу контролепригодных автоматных сетей

Структура сети известна на уровне связей между элементами, являющимися автоматами Мура. Вводится избыточность в компоненты с целью обеспечения контролепригодных свойств для сети в целом. Под контролепригодностью понимается существование для сети простого по способу построения и достаточно короткого теста, обнаруживающего кратные константные неисправности на полюсах элементов. Обсуждается процедура внесения избыточности в диаграмму переходов элемента, заключающаяся в обеспечении его “прозрачности” относительно специальной последовательности, поступающей вслед за установкой элемента в некоторое заданное состояние. Далее предлагается введение режима тестирования с одновременным внесением избыточности в компоненту, обеспечивающее “прозрачность” компоненты относительно той же последовательности. Приводятся оценки сложности избыточной аппаратуры, используемой в режиме тестирования.