45.Динамический и статический риск сбоя, синтез функцион…

Риск сбоя - возможность появления ложных сигналов. Статический риск сбоя - это воз­можность такого изменения переменной на выходе какого-либо эле­мента, которого при нормальном функционировании быть не должно. B трехзначной модели значение равное 2 задает не­определенное состо­яние, соответствующего выхода или входа эле­мента. Неопределенные состояния возникают во время переходных процессов как промежуточ­ное при переключениях из состояния 1 в 0 или наоборот. При анализе трехзначных моделей в течение одного такта значения переменных вычисляются дважды. Сначала определя­ются промежу­точные значения, затем окончательные. Стати­ческий риск сбоя по вы­ходной переменной имеет место в случае, если соче­тание значений этой переменной н исходном, промежуточном и окон­чательном состоя­нии имеют вид 0-2-0 или 1-2-1. Динамический риск сбоя представляет собой опасность многократных изменений вы­ход­ной переменной вме­сто правильного однократного изменения. Ис­поль­зование трехзначных моделей для анализа не позволяет опреде­лить динамический риск сбоя. Выявить динамический риск сбоя позво­ляют пятизначные модели. Пятизначные величины при­нимают значе­ния из мно­жества {0, 1, 2, 3, 4}, где значения, равные 0 и 1, имеют прежнюю ин­терпретацию, значение, равное 2, соответствует статиче­скому риску сбоя, a значения, равные 3 и 4, являются промежу­точными при пере­ходах 1-0 и 0-1. Динамический риск сбоя име­ется в случае, если соче­тание значений переменной па вы­ходе неко­торого элемента в исход­ном, промежуточном и окончатель­ном состоя­ниях не совпадает c од­ним из правильных сочетаний: 1-3-0 или 0-4-1. Обнару­жение риска сбоя при помощи моделей рассмотрен­ного типа, называ­емых синхрон­ными, еще не означает, что сбой дей­ствительно будет. Результаты синхронного анализа соответствуют ре­зультатам наихуд­шего случая. Точные результаты получают c помо­щью асин­хронных моделей. Эти модели позволяют воспроизвести временную последо­вательность всех событий для исследуемого устройства. Ис­ходной информацией для синтеза схем является описание ал­горитма функци­онирования синте­зируемого устройства. Оно должно быть со­ставлено на входном языке использу­емой подсистемы функци­онально-логиче­ского проектирова­ния. B под­системе это описание c помощью проце­дур логического син­теза пре­образуется в функцио­нальные схемы. Блочный синтез.— вы­деление в общем описании устройства частей, соответствующих от­дельным бло­кам устройств. Процедура блочного синтеза не является полностью формализованной и поэтому выполня­ется либо вручную, либо в диа­логовом режиме ра­боты. В процессе проектирования для удобства и еди­нообразия описания блоки делят на: Функциональ­ный блок представ­ляет собой комбинаци­онный авто­мат- дискретный авто­мат. Операци­онный блок представ­ляет собой по­следовательный авто­мат – автомат с памятью. Управля­ющий блок ха­рактерен тем, что на его выходах об­разуются управляю­щие перемен­ные. Последующие процедуры син­теза выпол­няются по отношению к каждому блоку в от­дельности. Структурный синтез. Пе­реход к струк­турному описанию – первая про­цедура. Пораз­рядное раз­биение – вто­рая процедура. С ее помощью упрощается по­лученное структурное описание. Абстрактный синтез – процедура пре­образова­ния алго­ритма, описывающего функ­циониро­вание блока в описание конечного автомата.