Диагностирование дискретных устройств с памятью. Построение диагностических и проверяющих тестов

Многотактные схемы (рисунок 1) или схемы с памятью являются более сложными для диагностирования объектами, чем комбина­ционные схемы. Многотактная схема (МС) содержит блок памяти (БП) и логический преобразователь (ЛП). Элементы памяти (ЭП), входящие в БП, сохраняют информацию о предыдущих входных воздействиях. ЛП является комбинационной схемой, которая вычис­ляет значения выходов и состояния ЭП в каждом такте работы МС.

Рисунок 1 – Структура МС

При диагностировании многотактной схемы необходимо обес­печить проверку исправного состояния каждого ЭП и каждого ло­гического элемента, входящего в ЛП. Логический преобразова­тель проверяется как комбинационная схема, но при этом необхо­димо учитывать, что пере­менные y ₁, …, y_k, поступа­ющие на вход ЛП, не явля­ются независимыми (как пе­ременные x₁, …, x _n). В дан­ный момент времени они определяются состояниями ЭП. Поэтому возникает следующая задача. Если из­вестен входной набор, на котором обнаруживается неисправность некоторого ЛП, то, для того чтобы обеспечить ввод этого набора, необходимо предварительно установить ЭП в состояния, соответствующие этому набору. Другими словами, проверка элемента требует предваритель­ной подачи некоторой установочной последовательности входных на­боров. Так как каждый ЭП имеет свою установочную последователь­ность, то объединение их в общий тест является достаточно сложной задачей. Кроме того, имеет место проблема установки схемы в исход­ное состояние, из которого начинается процедура диагноза. В неко­торых МС возможно увеличение числа ЭП в результате возникнове­ния константных неисправностей, а также появление критических со­стязаний, отсутствующих в исправной схеме.

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

Рисунок 2 – Многотактная схема

Работу многотактной схемы отображают при помощи таблицы переходов ТП. Для ее построения составляют функции, описыва­ющие схемы включения внутренних элементов памяти (реле У₁ и У₂) и выходную схему (включение лампы Z). Для данной схемы:

По полученной системе функций составляют кодированную ТП (таблица 1), которая содержит 2^п граф (п - число входов схемы) и 2^k строк (k - число внутренних элементов памяти). Каждая графа соответствует одному из входных состояний схемы. В данном случае имеется два входных состояния: х = О (кнопка х не нажата) и х = 1 (кнопка х нажата). Строки соответствуют внутренним состояниям схемы, которые определяются состояниями ЭП. Рассматриваемая схема имеет 4 внутренних состояния: 00,01, 11, 10. Каждому состоя­нию сопоставлено десятичное число 1, 2, 3, 4. На пересечении графы и строки в клетке ТП указано внутреннее состояние, в кото­рое переходит схема, если она находилась в состоянии, соответ­ствующем данной строке, и на вход схемы поступил входной на­бор, соответствующий данному столбцу.

Таблица 1

Состояния, в которых находится схема, вычисляются по урав­нениям системы. Определяются значения функций У₁ и У₂ при подста­новке переменных х, У₁ и Y₂ соответствующих строке и графе, ко­торым принадлежит элемент таблицы ТП, соответствующий дан­ному состоянию.

От кодированной ТП (см. таблицу 1) осуществля­ется переход к ТП, в кото­рой внутренние состояния обозначаются цифрами (таблица 2), а от нее – к графу переходов (рисунок 3). В последнем вершины соответствуют состояниям схе­мы, а дуги - переходам между состояниями. Значение входа, под воздействием которого осуществляется переход, указывает­ся над дугой. Из таблицы 1 видно, что значение выхода полнос­тью определяется внутренним состоянием схемы. На графе пе­реходов значения выходов указаны под обозначениями внутрен­них состояний.

Таблица 2

Рисунок 3 – Граф переходов

При помощи таблицы переходов или графа переходов можно моделировать работу многотактной схемы на любой последова­тельности входных наборов. В табл. 5.3 показан результат работы рассматриваемой схемы на входной последовательности 010101, подаваемой за шесть тактов.

Таблица 3

Первый такт отводится для установки схемы в исходное состоя­ние. В данной схеме, которая осуществляет управление лампой Z от одной кнопки Х, в качестве исходного состояния выбирается случай, когда кнопка X не нажата, реле У₁ и У₂ выключены, а лам­па Z не горит (см. рисунок 2). В таблице указаны внутренние состоя­ния, в которые переходит схема в каждом такте работы, и значе­ния выхода. Так как при диагностировании наблюдаются только вхо­ды и выходы устройства, то работа многотактной схемы описывает­ся входной-выходной последовательностью (ВВП):010101 – 011001.

Каждая неисправность превращает исправную схему в неисправ­ную схему, которая описывается собственной таблицей переходов. Последняя строится так же, как и ТП исходной схемы. ВВП обнаруживает неисправность N_i, если ВВП неисправной схемы, имеющая ту же входную последовательность, от­личается от нее хотя бы в одном такте выходной последовательности.

Для МС может быть построена проверяющая ВВП, на которой обнаруживаются все неисправности схемы из заданного списка. Тривиальная проверяющая ВВП строится следующим образом. Рассматривается граф переходов схемы. Выбирается исходное со­стояние схемы, реализуемое в первом такте ВВП. Составляется ВВП с выполнением следующего условия. Если граф переходов содержит переход S _i →S _f (S _i ≠S _f) под воздействием входного набо­ра a _r, то этот переход должен моделироваться хотя бы в одном так­те ВВП. В том случае, когда переход S _i →S _f осуществляется под воздействием нескольких входных наборов, то моделироваться должен каждый случай перехода. Переходы S _i →S _j моделируются в ВВП автоматически. Минимальное число тактов ВВП

Где – множество индексов дуг в графе переходов; – число входных наборов, приписанных дуге с индексом p.

Составляется список неисправностей схемы, относительно ко­торых строится тест. В него включаются неисправности ЭП и элементов ЛП. Последний рассматривается как комбинацион­ная схема, в которой выделяются множества эквивалентных и импликантных неисправностей.

Для каждой неисправности из полученного списка составляет­ся ТП, описывающая работу неисправной схемы, и вычисляется ВВП, соответствующая последовательности. Составляется таблица выходных последовательностей, в которой вы­писываются ВВП исправной схемы и всех ее неисправных модифи­каций. В таблице выходных последовательностей осуществляется сравнение столбца, соответствующего исправной схеме, со всеми столбцами неисправностей. Если столбцы не совпадают, то дан­ная неисправность обнаруживается ВВП; в противном случае не обнаруживается. Составляется множество необнаруживаемых не­исправностей. Так как ВВП моделирует все возможные перехо­ды в многотактной схеме, то число таких неисправностей невели­ко.Последовательно рассматривается каждая необнаруживаемая не­исправность. Удлиняется ВВП для их обнаружения.

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

Поиск по сайту: