- •Санкт-Петербургский национальный исследовательский университет
- •Введение
- •Часть 1. Надежность технических систем
- •Вероятностная оценка надежности технической системы
- •Экспоненциальный закон надежности
- •Системы, резервированные по методу голосования
- •Потоки событий. Простейший поток и его свойства
- •Резервированные системы с параллельным включением резервных элементов
- •Вопросы
- •Простейший поток событий и марковские модели функционирования технической системы
- •Аппроксимация потока редких событий пуассоновским потоком
- •Марковские модели функционирования технической системы
- •Непрерывные цепи Маркова
- •Резервированные системы с восстановлением. Уравнения Колмогорова
- •Вопросы
- •Аппаратурная и информационная надежность навигационной системы
- •Часть 2. Техническая диагностика
- •Основные принципы проектирования средств диагностирования
- •Назначение и достоверность средств диагностирования
- •Математические модели объектов диагностирования
- •Модели безынерционных преобразователей
- •Динамические модели
- •Логико-динамические модели мультирежимных систем
- •Иерархический подход к проектированию и организации средств диагностирования
- •Организация диагностирования. Безусловные и условные диагностические эксперименты
- •Диагностические экспертные системы
- •Структура средств диагностирования навигационной системы
- •Вопросы
- •Методы тестового диагностирования
- •Тестовое диагностирование безынерционных преобразователей
- •Тестовое диагностирование динамических устройств
- •Тестовое диагностирование дискретных устройств. Общий подход
- •Тестовое диагностирование линейных дискретных устройств. Структурный подход
- •Тестовое диагностирование линейных дискретных устройств. Абстрактный подход
- •Тестовое диагностирование аналоговых линейных устройств
- •Тестовое диагностирование мультирежимных систем
- •Принципы тестового диагностирования мультирежимных систем
- •Тестовое диагностирование процессора
- •Тестовое диагностирование распределенных информационно-управляющих систем
- •Структура средств диагностирования
- •Построение проверяющего теста. Управляемость и наблюдаемость периодически нестационарной системы
- •Синтез модели системы обмена
- •Методы функционального диагностирования
- •Методы функционального диагностирования для обнаружения отказов
- •Функциональное диагностирование при поиске структурных нарушений
- •Функциональное диагностирование при поиске отказов в пространстве сигналов
- •Функциональное диагностирование при поиске отказов в пространстве параметров
- •Функциональное диагностирование информационных отказов в интегрированной навигационной системе
- •Вопросы
- •Приложение 1. Основные понятия теории вероятностей
- •Приложение 2. Модели представления знаний.
- •Приложение 3. Основы нечеткого анализа
- •Литература
Тестовое диагностирование распределенных информационно-управляющих систем
Структура средств диагностирования
Ранее (см. раздел 4), обсуждая диагностирование сложных информационно-управляющих систем, мы указывали на проблему размерности задачи (системы), которая преодолевается с помощью иерархического подхода. При этом в случае распределенных систем цель диагностирования на верхнем (сетевом) уровне иерархии заключается в диагностировании информационных связей между локальными системами, входящими в состав распределенной системы. Рассмотрим эту задачу [16], отметив предварительно, что ее можно трактовать как проверку диагностических ядер локальных систем, составляющих распределенную систему. В результате тестовая проверка распределенной системы будет включать два этапа – проверку диагностических ядер локальных систем в рамках рассматриваемой ниже общесистемной процедуры и самопроверку локальных систем с опорой на их диагностические ядра.
Прежде
всего, отметим, что обмен информацией
между локальными системами происходит
по некоторым каналам обмена, использующим
соответствующее аппаратно-программное
обеспечение. По любому каналу обмена
информация передается по вполне
определенным правилам, принятым
разработчиком этого канала и называемым
протоколом обмена. Этот протокол может
быть как простым, так и достаточно
сложным. При этом со сложными протоколами
принято сопоставлять многоуровневое
описание (стек протоколов). Как правило,
в используемых протоколах предусматриваются
средства, обеспечивающие обнаружение
и исправление ошибок, возникающих при
передаче информации. По своему типу это
средства ФД. Зачастую, они сводятся к
использованию помехоустойчивого
кодирования передаваемой информации
(см. параграф 6.1). Наряду с помехоустойчивым
кодиров
анием
может использоваться квитирование,
когда принимающая система в ответ на
полученную информацию посылает в адрес
передающей системы служебное слово
(квитанцию), сообщающее о качестве
состоявшегося сеанса обмена. При
неудовлетворительном качестве сеанс
повторяется. В результате обменивающиеся
информацией системы располагают оценкой
качества работы канала обмена и способны
обнаруживать возникающие в нем отказы.
Однако
если диагностируемый канал с
централизованным управлением и в нем
с помощью контроллера реализуется
некоторое расписание обменов, то
описанной процедуры будет не достаточно
для диагностирования канала, т.к. должным
образом не будет проверяться контроллер,
а точнее, правильность реализуемого им
расписания. В этом случае потребуется
другой подход – подход «постороннего
наблюдателя». Его можно реализовать
при наличии в распределенной системе
выделенных для этих целей средств
диагностирования (СД), как показано на
рис. 5.7. Средства диагн
остирования
осуществляют тестовое диагностирование
системы обмена, которое может осуществляться
при работе системы по прямому назначению.
При этом необходимая тестовая информация,
формируемая в средствах диагностирования,
включается в состав штатных информационных
массивов, передаваемых в соответствии
с рабочим расписанием. В каждой из
локальных систем тестовая информация
обрабатывается по своему диагностическому
алгоритмуfdi,
отличному от рабочего алгоритма системы.
Результаты передачи тестовой информации
через распределенную систему анализируются
в средствах диагностирования (рис.5.8).
Вопрос о модели распределенной системы,
которую можно было бы использовать в
рассматриваемой задаче тестового
диагностирования, был затронут в
параграфе 4.2, где было установлено, что
модель должна быть линейной и периодически
нестационарной (4.13). Осталось обсудить
вопрос о правилах построения теста.
