Cтраница 2
Если в традиционных маршрутах проектирования разделение алгоритмов на части, реализуемые программно и аппаратно, происходит на самых ранних шагах, то в технологии совмещенного проектирования эта процедура фактически переносится на RTL-уровень и тем самым входит в итерационный проектный цикл, что может привести к более обоснованным проектным решениям. Благодаря совмещенному проектированию удается на ранних стадиях проектирования не только найти и исправить возможные ошибки в аппаратной и программной частях проекта, но и отладить контролирующие тесты. [16]
С целью поиска неисправностей решают задачу диагностики схемы, разрабатывая методы построения совокупности входных воздействий ( проверок), достаточной для выявления в схеме ошибок. Эту совокупность проверок называют тестом, для обнаружения ( или локализации) неисправностей. Контролирующий тест позволяет установить факт неисправности схемы, а диагностический тест локализует место неисправности. Полным проверяющим тестом называют множество наборов значений входных сигналов, достаточное для проверки правильности работы схемы. Тест называют тупиковым, если удаление из него хотя бы одного набора приводит к нарушению его полноты. Тупиковый тест наименьшей мощности по сравнению с другими тестами для данной схемы называют минимальные. [17]
Тестовый контроль проводят во время регламентных проверок. Программы, с помощью которых проверяют комплекс, подразделяются на контролирующие и диагностические тесты. Контролирующие тесты позволяют определить сам факт неисправности комплекса или отдельных его устройств. Место неисправности с указанием отказавшего узла или даже элемента позволяют определить диагностические тесты. Одним из основных требований при составлении диагностических тестов является использование их с целью автоматизации процессов обнаружения и поиска неисправности. [18]
Чтобы сократить объем диагностических тестов и время их выполнения, необходимо в максимальной степени учитывать специфические особенности диагностируемого устройства, что во многих случаях позволяет достичь удовлетворительных практических результатов. Разрабатывая диагностические тесты, следует стремиться разделить то или иное устройство на отдельные относительно независимые части и создавать подтесты для каждой из этих частей в отдельности. Такой подход позволяет получить гибкие последовательные условные тесты. При формировании входных слов, определении последовательности проведения проверок и включения подтестов необходимо в максимальной степени учитывать информацию о состоянии устройства, полученную на основании работы контролирующих тестов либо сигналов аппаратного контроля. Например, диагностические тест-программы арифметического устройства 9ЦВМ могут состоять из трех независимых частей для диагностики узла мантиссы, узла порядка и узла местного управления. Включение в работу одной из этих тест-программ происходит после того, как контролирующий тест укажет, в каком из узлов имеет место отказ. [19]
Обнаружение и локализация неисправностей в ЭВА производится путем подачи на входы проверяемого устройства некоторой последовательности наборов ( векторов) входных сигналов и анализа реакции устройства на эти сигналы. Каждому входному набору соответствует эталонный результат, полученный на исправной аппаратуре. Входной набор и соответствующий ему выходной набор называется элементарной проверкой. Совокупность входных наборов и соответствующих им эталонных выходных результатов называют тестом данного устройства. Тесты бывают контролирующими и диагностическими. При помощи контролирующих тестов определяется наличие или отсутствие неисправности в устройстве. При помощи диагностических тестов локализуется тип и место неисправности в устройстве. Обычно тесты представляют собой довольно длинные последовательности элементарных проверок. Разработка тестов является трудоемкой задачей, которая в большинстве случаев решается с применением ЭВМ. [20]
Чтобы сократить объем диагностических тестов и время их выполнения, необходимо в максимальной степени учитывать специфические особенности диагностируемого устройства, что во многих случаях позволяет достичь удовлетворительных практических результатов. Разрабатывая диагностические тесты, следует стремиться разделить то или иное устройство на отдельные относительно независимые части и создавать подтесты для каждой из этих частей в отдельности. Такой подход позволяет получить гибкие последовательные условные тесты. При формировании входных слов, определении последовательности проведения проверок и включения подтестов необходимо в максимальной степени учитывать информацию о состоянии устройства, полученную на основании работы контролирующих тестов либо сигналов аппаратного контроля. Например, диагностические тест-программы арифметического устройства 9ЦВМ могут состоять из трех независимых частей для диагностики узла мантиссы, узла порядка и узла местного управления. Включение в работу одной из этих тест-программ происходит после того, как контролирующий тест укажет, в каком из узлов имеет место отказ. [21]