Системы диагностики ПК
Рефераты >> Программирование и компьютеры >> Системы диагностики ПК

Регистр микрокоманд устанавливается средствами тесто­вого диагностирования с помощью диагностической опе­рации «Загрузка РгМк».

Состояние регистров поступает в СТД, где выполня­ется диагностическая операция сравнения с эталоном.

При несовпадении результата с эталоном происходит останов с индикацией номера останова.

 

5. МЕТОД ЭТАЛОННЫХ СОСТОЯНИЙ

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

Рис. 16. Обобщенна» схема системы диагностирования, реализующей метод эталонных состояний

В качестве результата элемен­тарной проверки используется состояние аппаратурных средств диагностируемого устройства.

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

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

Обобщенная схема системы диагностирования, реализу­ющей метод эталонных состояний, приведена на рис. 16.

При представлении алгоритмов операций ЭВМ в виде графов каждому пути i из множества путей на графе мож­но поставить в соответствие последовательность состояний ЭВМ на каждом такте: Si0, Si1, ., Sil, . ,Sin,

Рис. 18. Схема взаимодействия диагностирующего и диагностируемого устройств при диагностированию по методу эталонных состояний.

Рис. 17. Процедура диагностирования по методу эталонных состоя6ний: j- номер такта ветви алгоритма; I – номер ветви алгоритма

где п—число вершин граф-схемы алгоритма, соответству­ющее числу тактов выполнения операции с конкретными условиями. Эталонной последовательностью состояний счи­тается последовательность состояний Sil, l=0, 1, .,п, име­ющих место при отсутствии ошибок.

Проверка выполняется путем сравнения реального со­стояния ЭВМ Sil на l-м такте i-го пути с эталонным Sэil.

Несовпадение Sil и Sэil является признаком неисправности.

Процедура диагностирования по методу эталонных со­стояний приведена на рис. 17.

Для реализации метода эталонных состояний средства тестового диагностирования должны иметь:

средства управления потактовой работой ЭВМ;

средства опроса состояния ЭВМ;

средства сравнения состояния с эталонным и средства сообщения о неисправности.

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

В силу неопределенности состояний некоторых тригге­ров каждому состоянию Sil может соответствовать некото­рое подмножество состояний Silk, где k=0,1, ., т, т — мно­жество неопределенных состояний. Поэтому обычно до срав­нения с эталоном выполняется маскирование состояний. Маска снимает неопределенные состояния .

Обычно управление потактовой работой устройства и опрос состояния устройства выполняются с помощью команды ДИАГНОСТИКА, а сравнение с эталоном, мас­кирование и сообщение о неисправности—с помощью ко­манд на программном уровне.

Команда ДИАГНОСТИКА адресует управляющее слово в ОП, которое поступает на вход диагностируемого устрой­ства, как показано на рис. 8.18. Сочетание бит управляю­щего слова обеспечивает продвижение тактов, а также оп­рос состояния и запись его в ОП.

Остальные операции, такие как маскирование состояния с целью исключения неопределенных бит, сравнение его с эталонным состоянием и сообщение о неисправности, вы­полняются программой диагностирующего устройства.

6. МЕТОД ДИАГНОСТИРОВАНИЯ С ПОМОЩЬЮ СХЕМ ВСТРОЕННОГО КОНТРОЛЯ.

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

На рис. 19 показаны диагностируемое устройство и схемы встроенного контроля, образующие самопроверяе­мый сменный блок. Наибольшая вероятность правильного диагностирования достигается при полной проверяемости ДУ и самопроверяемости СВК.

Поэтому здесь приводится только определение полной проверяемости ДУ.

Рис. 19 Самопроверяемый сменный блок.

Диагностируемое устройст­во называется полностью про­веряемым, если любая его неисправность заданного класса обнаруживается СВК в момент ее первого проявления на выходных устройствах .

Рис 20 Структура системы диагностирования, использующей схемы встроенного контроля

Требование полной проверяемости. ДУ и самопроверяе­мости СВК приводит к значительным аппаратурным затра­там, что ограничивает применяемость данного метода уст­ройствами, реализованными в основном на больших интег­ральных микросхемах.

На рис. 20 приведена структура системы функциональ­ного диагностирования. Локальными средствами функцио­нального диагностирования ЛСФД являются самопроверя­емые СВК с парами выходов fi1, fi2, приданные каждому сменному блоку Бi общим средством функционального ди­агностирования ОСФД—устройство анализа и индикации УАИ. Назначением последнего является синхронизация сиг­налов ошибок от сменных блоков с учетом их связей, предо­твращение возможной неоднозначности индикации из-за распространения сигналов ошибок и однозначная индика­ция неисправного блока.

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

7. МЕТОД ДИАГНОСТИРОВАНИЯ С ПОМОЩЬЮ САМОПРОВЕРЯЕМОГО ДУБЛИРОВАНИЯ.

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


Страница: