НПО Системы Безопасности
(499)340-94-73 График работы:
ПН-ПТ: 10:00-19:00
СБ-ВС: выходной

Главная » Периодика » Безопасность

0 ... 12131415161718 ... 48


Теорема It. Для любого значения О < р < 1:

1) из р-диагностируемости FP-системы без восстановления следует р-диагностируемость: РР-системы с восстановлением и РВ-системы без восстановления;

2) из /з-диагностируемости РР-системы с восстановлением следует р-диагностируем ость РВ-системы с восстановлением;

3) из р-диагностируемости РВ-системы без восстановления следует р-диагностируемость РВ-системы с восстановлением.

6. ВЫБОР МОДЕЛЕЙ ВЗАИМОКОНТРОЛЯ

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

Выбор Р-моделей связан с учетом следующих основных ограничений:

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

2. Получение результатов проверки контролирующим элементом контролируемого им элемента должно быть независимым.

3. Наиболее вероятным при отказе нескольких элементов является неисправность наименьшего количества элементов.

Основной особенностью В-модели, в отличие от Р-модели, является необходимость обеспечения защиты в системе от одновременной неисправности контролируемого и контролирующего элементов при наличии результата контроля об исправности. Для использования R-моделей при диагностировании систем должны выполняться следующие требования:

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

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



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

3. Должно обеспечиваться полное диагностирование компонентов системы для получения множеств полных тестов для каждой неисправности а для получения множеств Т (Рц), искажаемых при наличии наборов неисправностей F„, необходима информация о включении элементов из в представление тестов.

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

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

В К-моделях диагностирования, несмотря на большую общность, также имеются некоторые ограничения.

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

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

Одна из принципиальных особенностей микропроцессорных систем по сравнению с существовавшими ранее системами - большой удельный вес при реализации функций системы программного обеспечения. В настоящее время до 80-90 % операций в системах выполняется программно.

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



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

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

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

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

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

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

Получение и передача тестов в отказоустойчивых микропроцессорных системах возможна централизованно, с не-



0 ... 12131415161718 ... 48