1896

Неисправности в комбинационных схемах. Модель константных неисправностей. Особенности проявления неисправностей в схемах из элементов И-НЕ

Доклад

Коммуникация, связь, радиоэлектроника и цифровые приборы

Проверяющий и диагностирующий тесты. Процедура построения диагностирующего теста. Особенности проявления неисправностей в схемах из элементов И-НЕ. Процедура построения двухуровневого диагностирующего теста.

Русский

2013-01-06

24.47 KB

29 чел.

Неисправности в комбинационных схемах. Модель константных неисправностей. Особенности проявления неисправностей в схемах из элементов И-НЕ. Проверяющий и диагностирующий тесты. Процедура построения диагностирующего теста.

Дефект – причина неисправности, физическое явление схемы.

Понятие неисправности. Неисправностью элемента называется его неправильное функционирование хотя бы на одном входном наборе: вместо ожидаемого сигнала биспр на его выходе при неисправности появляется сигнал испр. Источниками неисправностей являются дефекты внутри элемента или на его входах и выходах.

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

По устойчивости во времени неисправности разделяются на сбои, перемежающиеся отказы и катастрофические отказы. Сбой, возникнув в элементе в какой-то момент времени, самостоятельно исчезает в какой-то следующий момент времени. Перемежающийся отказ – это часто возникающий сбой. Наконец, катастрофический отказ – это неисправность, раз возникшая и самостоятельно не исчезающая в следующие моменты времени до ремонта.

По числу одновременно допустимых неисправностей рассматриваются модели одиночных, к-кратных и неограниченной кратности неисправностей. Более всего развиты методы диагностирования, опирающиеся на модель одиночных неисправностей. Для частных случаев есть методы, учитывающие к-кратные неисправности. При возможной неисправности неограниченной кратности гарантию правильности вывода о работоспособности схемы дает только тривиальный тест (проверка работы схемы во всех возможных ситуациях).

Неисправности можно характеризовать по их влиянию на работу устройства. Большинство неисправностей являются обнаруживаемыми, т.е. их возникновение обязательно приводит к неправильному функционированию схемы хотя бы на одном входном наборе. Однако существуют необнаруживаемые неисправности, появление которых объясняется избыточностью схемы.

Модель константных неисправностей.

Одиночные константные неисправности и . При исследовании неисправностей в схемах широко используется следующая модель неисправностей: считается, что все дефекты внутри элемента проявляются в формировании и на входах или выходах элемента, часто делается предположение однократности неисправности.

Особенности проявления неисправностей в схемах из элементов И-НЕ

Большинство дефектов в элементах И, ИЛИ, НЕ, И-НЕ, ИЛИ-НЕ приводят к неисправностям, которые выражаются в виде и на полюсах этих элементов.

Тесты

Для обнаружения или поиска неисправностей в схеме используются тесты – входные воздействия на схему с известной ее реакцией в случае исправной работы.

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

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

Проверяющий тест должен показать наличие неисправностей в схеме, если при его применении хотя бы на одном входном наборе реакция схемы отличается от заданного в тесте выходного набора исправной схемы, либо констатировать, что схема исправна, если на всех наборах реакция схемы совпадает с зафиксированной в тесте.

Важнейшей характеристикой проверяющего теста является его полнота, показывающая насколько можно верить выводу об исправности схем. Тест называется полным по отношению к заданному множеству неисправностей, если при наличии в схеме любой неисправности этого списка тест обнаружит ее. Чаще всего рассматриваются одиночные константные неисправности и на полюсах элементов в схеме или к-кратные неисправности с небольшим значением к. При проверке полноты теста учитываются только обнаруживаемые неисправности. Если тест не полон, то он характеризуется процентом проверяемых неисправностей.

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

Важной характеристикой теста является его длина. Диагностирующий тест намного длиннее проверяющего.

Процедура построения двухуровневого диагностирующего теста

1) На первом уровне проводится проверка работоспособности ПЛМ на основе проверяющего теста. Если эксперимент с проверяющим тестом обнаруживает наличие неисправности в схеме ПЛМ, то осуществляется анализ ситуации: выделение тестовых наборов, на которых работа схемы отличается от исправной, и вычисление списка возможных неисправностей.

Используется модель однократных константных неисправностей, в рамках которой неисправности ПЛМ сводятся к сужению одного из реализованных в ПЛМ интервалов по одной из внутренних переменных ( или ) или к его расширению по одной из внешних переменных. Кроме того должны учитываться возможности исчезновения одного из принадлежащих функции интервалов или возникновение в ней лишнего, принадлежащего другим функциям интервала.

В случае неисправности типа появления на некотором наборе 0 вместо 1, вычисляются интервалы, поглощающие этот набор, и рассматриваются соответствующие сокращения этих интервалов или их исчезновение. В случае появления 1 вместо 0 рассматриваются интервалы, находящиеся на расстоянии 1 от набора, на котором обнаружена неисправность или рассматриваются не принадлежащие функции интервалы, поглощающие набор, на котором обнаружена неисправность.

2) Если множество подозреваемых неисправностей, которые согласуются с результатами тестирования, содержит более одной неисправности, то строятся дополнительные тестовые наборы, позволяющие различить, какая неисправность действительно реализована в ПЛМ. Проводится новый тестовый эксперимент с ПЛМ на вычисленных дополнительных наборах и констатируется конкретный диагноз.

Подозреваемые неисправности могут вычисляться простым моделированием однократных неисправностей всех интервалов, находящихся на расстоянии однократной ошибки от наборов, на которых обнаружена ошибка (рассматриваются неисправности типа сужения, если реализована ситуация появления 0 вместо 1, или типа расширения, если появились 1 вместо 0). Каждый вариант неисправностей проверяется на соответствие реализуемому результату тестового эксперимента и либо отвергается, либо вносится в список подозреваемых неисправностей.

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


 

А также другие работы, которые могут Вас заинтересовать

35913. Экология как наука 73.5 KB
  Все живые и неживые объекты окружающие растения животные и другие организмы непосредственно взаимодействующие с ними называются средой обитания. Световой режим оказывает прямое влияние в первую очередь на растения. По отношению к освещенности выделяют следующие экологические группы растений: гелиофиты светолюбивые растения растения открытых пространств постоянно хорошо освещаемых местообитаний. сциофиты тенелюбивые растения которые плохо переносят интенсивное освещение растения нижних ярусов тенистых лесов.
35914. Государственное регулирование экономики: сущность, средства, объекты. Институционализм 75.5 KB
  Какие же проблемы не может решить рынок 1. А поскольку сегодня практически во всех странах мира преобладает рынок несовершенной конкуренции то регулирующая роль государства значительно возрастает. Оно должно обеспечивать условия для эффективного развития производства; перераспределять доходы хозяйствующих субъектов и населения в целом; оказывать поддержку малообеспеченным; регулировать рынок рабочей силы; смягчать цикличность развития экономики; проводить антиинфляционную и антикризисную политику; способствовать развитию конкуренции...
35915. Советский плакат 71.12 KB
  Политический плакат Основная статья: Советский плакат Виды искусства способные жить на улицах в первые годы после революции играли важнейшую роль в формировании общественного и эстетического сознания революционного народа. Он оказался самым мобильным и оперативным видом искусства[4]. В его плакатах заметна символикоаллегорическая тенденция советского искусства той поры.
35917. Тепловые эффекты растворения веществ 68.5 KB
  Определение энтальпии растворения соли кислоты или основания. Получить у преподавателя соль энтальпию растворения которой нужно определить при определении энтальпии растворения кислоты или основания необходимо соблюдать технику безопасности. Для определения энтальпии растворения соли используется калориметр схема которого показана на рисунке.
35918. Строение и метаболизм клеток животных. Строение и функции митохондрий. Клеточное дыхание 68 KB
  Ещё особенность внй мембраны очень высе содержание белков до 70 по весу предсх транспми белками ферментами дых цепи а также крупными АТФсинтетазными комплексами. Внуя мембрана в отличие от внешней не имеет спецх отверстий для транспорта мелких молекул и ионов; на ней на стороне обращенной к матриксу распся особые молекулы АТФсинтазы состоящие из головки ножки и основания. При прохождении через них протонов происходит синтез АТФ. Синтез АТФ унивей формы химй энергии в любой живой клетке.
35919. Основы экономики 65.8 KB
  Понятие и формы собственности. Владение возможность определять судьбу объекта собственности продать подарить передать по наследству Распоряжение управление объектом собственности с целью эффективного его использования можно сдать в аренду в пользование Пользование извлечение полезных свойств объекта собственности.лицу Формы собственности различаются в зависимости от того кто является собственником и осуществляет присвоение. В ГК РФ есть 4 формы собственности: 1.
35921. Функциональная стилистика 65.5 KB
  возникает много споров Функциональный стиль разновидность литературного стиля предназначенный для функционирования в определенной сфере человеческой деятельности; общественно осознанная объединенная определена функциональным назначением в общ. Стиль художественной речи 2. Публицистический стиль 3. Научный стиль 5.