Составные части абстрактного автомата. Способы задания автоматов. Синхронные и асинхронные автоматы. Минимизация полностью определенного автомата. Структурная теория. Канонический метод структурного синтеза автомата. Кодирование состояний автомата. Гонки в автомате. Противогоночное кодирование состояний автомата, страница 7

Отказ – событие, заключающееся в нарушении работоспособности изделия

Безотказность – свойство объекта сохранять непрерывно работоспособность в течение некоторого времени наработки

Исправное состояние – состояние объекта, при котором он соответствует всем требования нормативно – ТД (НТД) или конструкторской документации (КД)

Неисправное состояние – состояние объекта, при котором он не соответствует хотя одному из требований НТД или КД

Работоспособное состояние – состояние объекта, при котором значения всех параметров, характеризующих способность выполнять заданные функции, соответствует требованиям НТД или КД

Неработоспособное состояние - состояние объекта, при котором значения хотя бы одного из параметров, характеризующих способность выполнять заданные функции, не соответствует требованиям НТД или КД

Контролепригодность – свойство устройства, обуславливающее приспособленность к поведению контроля его состояния в процессе изготовления и эксплуатации

Модель неисправностей

При решении задач контроля делают предположение о характере неисправностей. Для ТТЛ – логики:

v константные неисправности (постоянный сигнал в виде "1" или "0" на входе или выходе)

v отсутствие реакции на один или более входных сигналов

v медленное изменение выходного сигнала после изменения входного сигнала

v перемещающиеся ошибки (помехи, плохой контакт, перегрев элементов, большой  разброс задержки в цепях с критическими состязаниями)

При решении практических задач ограничиваются моделью константных неисправностей. Если схема содержит  элементов, любой из них может иметь три состояния: исправен, константная неисправность в виде "1", константная неисправность в виде "0".  – возможные состояния схемы.

Объем моделирования большой, на практике рассматривают лишь одиночные константные неисправности.

Оценка тестопригодности схемы

Тестопригодность можно определить как возможность выполнения процедур генерации множества тестовых наборов, оценка их эффективности и организация тестового диагностирования. Существуют два пути количественной оценки тестопригодности схемы, которые можно использовать до выполнения процедуры генерации тестов для проверки их полноты. Они представлены счетными и алгоритмическими методами. Счетные методы основаны на выявлении особенностей схем, которые либо улучшают, либо ухудшают тестопригодность. Каждая характеристика задается некоторым числом показателей, представляющим степень ее влияния на тестопригодоность. Эти две оценки могут комбинироваться для получения одной оценки тестопригодности. Достоинство – простота реализации. Недостаток – являются грубой оценкой тестопригодности, но позволяют отличить тестопригодное устройство от менее тестопригодного, обеспечивают перечнем рекомендаций по повышению тестопригодности.

Алгоритмические методы

Реализуется программа, которая позволяет получить оценку тестопригодности путем анализа топологии схемы. Достоинство – возможность оценить тестопригодность каждого узла схемы и построить гистограмму. Это позволяет определить области с невысокой тестопригодностью и оценить эффективность различных методов ее повышения. Общепринятая процедура нахождения тестовых наборов заключается в попытке использования теста, предназначенного для проверки функционирования каждого различимого устройства или подпункта схемы.

Простота, с которой нам удается установить на вход подсхемы требуемое входное воздействие, характеризуется управляемостью

Простота установления путей  характеризует наблюдаемость

Простота этих характеристик определяет тестопригодность.

Коэффициент передачи – отношение количества комбинаций входных наборов, активизирующих входные воздействия для некоторой пары вход – выход, к сумме данного количества комбинаций и числа комбинаций, блокирующих реализацию этих путей.

Тестовое диагностирование