- •Е.Л. Кон, м.М. Кулагина надежность и диагностика компонентов инфокоммуникационных и информационно-управляющих систем
- •Оглавление
- •1. Основные теоретические сведения 9
- •2. Надежность аппаратурного обеспечения 31
- •3. Создание надежного программного обеспечения 130
- •4. Диагностика состояния сложных технических систем 205
- •Введение
- •1. Основные теоретические сведения
- •1.1. Информационно-управляющие и инфокоммуникационные системы
- •1.2. Основные определения теории надежности
- •1.2.1. Надежность и ее частные стороны
- •1.2.2. Виды надежности
- •1.2.3. Отказы
- •1.2.4. Эффективность
- •1.2.5. Восстановление
- •1.3. Понятие случайных событий и случайных величин
- •1.3.1. Надежность систем при основном (последовательном) и параллельном соединении элементов
- •1.3.2. Основное соединение элементов
- •1.3.3. Параллельное соединение элементов
- •1.4. Элементы теории нечетких множеств
- •1.4.1. Понятие принадлежности и основные операции для четких подмножеств
- •1.4.2. Понятие принадлежности и основные операции для нечетких подмножеств
- •1.4.3. Отношение доминирования
- •1.4.4. Простейшие операции над нечеткими множествами
- •1.4.5. Расстояние Хэмминга
- •Вопросы и задания
- •Список литературы
- •2. Надежность аппаратурного обеспечения
- •2.1. Надежность невосстанавливаемых систем без резервирования
- •2.1.1. Показатели надежности невосстанавливаемых объектов
- •2.1.2. Законы распределения случайных величин, используемые в теории надежности
- •Показательное (экспоненциальное) распределение
- •Усеченное нормальное распределение
- •Распределение Вейбулла
- •Гамма-распределение
- •Практическая область применения законов распределения времени безотказной работы
- •2.1.3. Использованиеи-характеристик для решения практических задач
- •2.1.4. Особенности расчета надежности при проектировании различных систем
- •2.1.5. Расчет надежности по блок-схеме системы
- •2.1.6. Расчет надежности при подборе элементов системы
- •2.1.7. Расчет надежности системы с учетом режимов работы элементов
- •2.1.8. Учет цикличности работы аппаратуры
- •2.2. Надежность невосстанавливаемых систем с резервированием
- •2.2.1. Пути повышения надежности
- •2.2.2. Методы резервирования
- •2.2.3. Расчет надежности сложных систем при постоянно включенном резерве
- •2.2.4. Расчет надежности системы при резервировании замещением
- •2.2.5. Резервирование замещением в случае нагруженного резерва
- •2.2.6. Резервирование замещением в случае облегченного резерва
- •2.2.7. Резервирование замещением в случае ненагруженного резерва
- •2.2.8. Расчет надежности систем с функциональным резервированием
- •2.3. Расчет надежности восстанавливаемых систем
- •2.3.1. Критерий надежности систем с восстановлением
- •Характеристики потока отказов
- •Характеристики потока восстановления
- •Комплексные характеристики надежности систем с восстановлением
- •2.3.2. Расчет надежности по графу работоспособности объекта
- •2.3.3. Определение среднего времени наработки на отказ системы с восстановлением
- •2.3.4. Расчет надежности систем с восстановлением при основном (последовательном) и параллельном соединении элементов
- •2.3.5. Расчет надежности сложных инфокоммуникационных систем
- •Структура и функции стс
- •Определение надежностных характеристик блоков стс
- •Составление структурно-логической схемы надежности и графа состояний
- •2.3.5.4. Расчет коэффициента готовности стс
- •Определение надежностных характеристик блоков аиис
- •Составление структурно-логической схемы надежности и графа переходов
- •Расчет коэффициента готовности аиис «Алтайэнерго»
- •Расчет коэффициента готовности аиис
- •2.4. Расчет надежности восстанавливаемых систем при наличии системы контроля
- •2.4.1. Система встроенного контроля абсолютно надежна
- •2.4.2. Система встроенного контроля самопроверяемая, и ее отказ обнаруживается сразу же
- •2.4.3. Система встроенного самоконтроля несамопроверяемая
- •2.5. Расчет надежности в условиях нечетко заданных исходных данных
- •2.5.1. Выбор оптимального варианта для невосстанавливаемых систем
- •2.5.2. Выбор оптимального варианта для восстанавливаемых систем
- •2.6. Расчет надежности систем на этапе эксплуатации
- •2.6.1. Планирование и расчет периодов профилактик
- •2.6.2. Планирование и расчет числа запасных изделий
- •Вопросы и задания
- •Список литературы
- •3. Создание надежного программного обеспечения
- •3.1. Надежность программного обеспечения
- •3.1.1. Ошибки в по и их типы
- •Типы ошибок в программном обеспечении
- •3.1.2. Причины появления ошибок в программном обеспечении
- •3.1.3. Отношения с пользователем (заказчиком)
- •3.1.4. Принципы и методы обеспечения надежности
- •3.1.5. Последовательность выполнения процессов разработки программного обеспечения
- •3.1.6. Сравнение надежности аппаратуры и программного обеспечения
- •3.2. Основные этапы проектирования программного обеспечения
- •3.2.1. Правильность проектирования и планирование изменений
- •3.2.2. Требования к по
- •3.2.3. Цели программного обеспечения
- •Цели продукта
- •Цели проекта
- •Общие правила постановки целей
- •Оценка целей
- •3.2.4. Внешнее проектирование
- •Проектирование взаимодействия с пользователем
- •Подготовка внешних спецификаций
- •Проверка правильности внешних спецификаций
- •3.2.5. Проектирование архитектуры программы
- •Независимость модулей
- •Прочность модулей
- •Сцепление модулей
- •3.2.6. Методы непосредственного повышения надежности модулей
- •Пассивное обнаружение ошибок
- •Активное обнаружение ошибок
- •Исправление ошибок и устойчивость к ошибкам
- •Изоляция ошибок
- •Обработка сбоев аппаратуры
- •3.2.7. Проектирование и программирование модуля
- •Внешнее проектирование модуля
- •Проектирование логики модуля
- •Пошаговая детализация
- •3.2.8. Стиль программирования
- •Ясность программирования
- •Использование языка
- •Микроэффективность
- •Комментарии
- •Определения данных
- •Структура модуля
- •3.3. Тестирование и верификация программ
- •3.3.1. Проблемы тестирования программ
- •3.3.2. Технологии тестирования программ
- •3.3.3. Принципы тестирования
- •3.4. Модели надежности по
- •3.4.1. Модель роста надежности
- •3.4.2. Другие вероятностные модели
- •3.4.3. Статистическая модель Миллса
- •3.4.4. Простые интуитивные модели
- •3.4.5. Объединение показателей надежности
- •Вопросы и задания
- •Список литературы
- •4. Диагностика состояния сложных технических систем
- •4.1. Предмет, задачи и модели технической диагностики
- •4.1.1. Предмет технической диагностики
- •4.1.2. Основные аспекты, задачи и модели технической диагностики
- •4.1.3. Классификация диагностических процедур и их краткая характеристика
- •4.2. Построение тестов
- •4.2.1. Построение тестового набора методом активизации существенного пути
- •4.2.2. Алгоритм построения тестового набора для комбинационной схемы методом активизации существенного пути
- •4.2.3. Построение тестов для схем с памятью
- •Комбинационная модель последовательностной схемы
- •Построение тестовой последовательности по комбинационной модели последовательностной схемы
- •4.3. Функциональный контроль и диагностирование сложных технических систем
- •4.3.1. Полностью самопроверяемые цифровые устройства
- •4.3.2. Схемы встроенного контроля
- •4.3.3. Схемы сжатия
- •4.3.4. Микропроцессор как объект функционального контроля
- •4.3.5. Модель мп с точки зрения функционального контроля
- •4.3.6. Диагностическая модель уу мп системы
- •4.3.7. Критерии оценки методов контроля механизмов выборки, хранения и дешифрации команд
- •4.3.8. Встроенный функциональный контроль механизмов хранения и дешифрации команд
- •Методы пошагового контроля правильности хода программ
- •Методы контроля, реализующие раскраску команд
- •Метод контроля, использующий раскраску без учета структуры команд
- •Преобразованная программа приведена ниже:
- •Цвет Четность Цвет гса
- •Метод контроля команд, реализующий раскраску с учетом структуры команды
- •Раскраска без внесения в команду избыточных разрядов
- •Методы контроля механизмов дешифрации и хранения команд с помощью веса перехода
- •Метод контроля с помощью алгебраических кодов
- •Методы блокового контроля правильности хода программ
- •Блоковый контроль программ по методу разбиения программы на фазы (блоки)
- •Блоковый контроль правильности хода программ с помощью сигнатур
- •Метод контроля программ на основе полиноминальной интерпретации схем алгоритмов (программ)
- •Сравнительный анализ свк, реализующих методы блокового и пошагового контроля
- •4.4. Экспертные системы диагностирования сложных технических систем
- •4.4.1. Обучение и его модели. Самообучение
- •4.4.2. Экспертные системы и принципы их построения
- •4.4.3. Проблема разделения в самообучаемых экспертных системах
- •4.4.4. Алгоритмы обучения экспертных систем
- •Частота события находится по следующей формуле:
- •4.4.5. Асу «интеллектуальным зданием»
- •4.4.6. Система, принимающая решения по максимальной вероятности
- •4.4.7. Система, принимающая решения по наименьшему расстоянию
- •4.4.8. Повышение достоверности решений экспертной системы
- •4.4.9. Прогнозирование технического состояния узлов
- •Вопросы и задания
- •Список литературы
- •Приложение Интенсивность отказов компонентов иус
- •Кон Ефим Львович, Кулагина Марина Михайловна надежность и диагностика компонентов инфокоммуникационных и информационно-управляющих систем
2.2.8. Расчет надежности систем с функциональным резервированием
В настоящее время широко распространяется функциональное резервирование. Типичным примером такого резервирования являются однородные реконфигурируемые системы, когда одна и та же ячейка может в разные моменты времени выполнять разные функции. Очевидно, что здесь понятие резервируемого блока и резервного блока напрямую не применимы. Как правило, для расчета таких систем наряду с теорией надежности используется теория массового обслуживания, т.е. следует проводить расчет надежности невосстанавливаемых СМО, состоящий из ненадежных элементов с ограниченным резервом.
Рассмотрим расчет такой системы на примере однородной реконфигурируемой системы измерительных преобразователей (ОРС ИП), которая является типичной для АСУ ТП, а также в трактах телеизмерения в составе многофункциональных систем телемеханики. Сформулируем понятие отказа для данной системы.
Изначально предположим, что ячейки системы абсолютно надежны, т.е. в течение заданного времени не выходят из строя. Пусть имеется ОРС ИП с числом ячеек k, из которых при необходимости можно сформировать до n измерительных преобразователей. При поступлении заявки на обслуживание устройство управления ОРС ИП формирует из числа свободных ячеек измерительный преобразователь требуемой точности, т.е. один канал обслуживания. Если свободных ячеек недостаточно, имеет место отказ в обслуживании заявки [2].
Однако в общем случае ячейки ОРС ИП не являются абсолютно надежными и со временем могут выходить из строя. При этом отказавшая ячейка не восстанавливается до отказа всей системы. Учитывая это обстоятельство, в ОРС ИП следует предусмотреть в дополнение к k исходных ячеек определенное количество резервных ячеек так, чтобы в течение заданного времени работы число функционирующих ячеек не опускалось ниже k.
Сформулируем понятие отказа для модифицированной модели системы. Отказ системы – это ситуация, когда при приходе заявки на обслуживание новый канал не может быть сформирован, т.е. заявка не обслуживается либо из-за недостаточного количества изначально запланированных ячеек (включая резервные), либо из-за уменьшения количества свободных ячеек в результате их выхода из строя.
Поставим задачу следующим образом: следует рассчитать w –количество ячеек однородной реконфигурируемой системы, состоящее из k – числа основных ячеек (позволяющих сформировать n каналов обслуживания) и r – числа дополнительных ячеек, чтобы за заданное время tзад отказ системы наступил с вероятностью не больше чем Qзад.
Решение задачи можно разделить на два этапа. На первом этапе следует рассчитать количество ячеек k ОРС ИП, обеспечивающее заданную вероятность отказа в обслуживании, предполагая идеальную надежность ячеек. На втором этапе (зная уже число основных ячеек k) необходимо рассчитать число дополнительных ячеек r, обеспечивающее заданную вероятность отказа в обслуживании, предполагая, что ячейки ненадежны.
В соответствии с данным подходом при функционировании ОРС ИП имеют место два независимых события. Первое событие заключается в том, что k ячеек не хватило для формирования n каналов – это отказ идеального преобразователя (вероятность данного события Qобс). Расчет вероятности этого события ведется с помощью методов теории массового обслуживания. Второе событие заключается в том, что за заданное время вышло из строя более r ячеек – это недостаточность заложенного в систему резерва (вероятность данного события Qяч). Расчет вероятности второго события ведется с помощью методов теории надежности.
Отказ системы (в несколько упрощенной формулировке, позволяющей значительно уменьшить объем вычислений) заключается в том, что произошло либо первое событие, либо второе, и, таким образом, представляет собой сумму двух вышеуказанных независимых событий. Следовательно, его вероятность равна сумме вероятностей этих событий:
Qзад = Qобс + Qяч. (2.82)
В первом приближении и поток заявок, и поток выхода из строя ячеек можно считать пуассоновскими. Пуассоновский поток обладает следующими свойствами: а) стационарностью, т.е. его характеристики не меняются во времени; б) отсутствием последействия, т.е. интервал до наступления следующего события не зависит от предыдущего; в) ординарностью, т.е. два события одновременно произойти не могут.
Обозначим через плотность потока, т.е. среднее число событий, приходящееся на единицу времени. Вероятность того, что за время произойдет ровно m событий,
. (2.83)
На первом этапе, как уже говорилось, рассчитывается k – число ячеек ОРС ИП, в предположении об идеальной надежности ячеек.
Рассмотрим процесс обслуживания заявок ОРС ИП. Этот процесс является марковским, т.е. для каждого момента времени вероятность любого состояния системы в будущем зависит только от состояния системы в настоящий момент и не зависит от того, каким образом система пришла в это состояние [1]. Пусть для данной системы – плотность потока заявок, а – плотность потока освобождений. Введем понятие приведенной плотности потока заявок , где
. (2.84)
Тогда, в соответствии с формулой Эрланга,
, (2.85)
где n – количество каналов обслуживания системы.
Qобс выбирается на основе формулы (2.82) в каждом случае по своим конкретным соображениям, в зависимости от того, что важнее – повысить вероятность обслуживания идеального преобразователя или повысить вероятность того, что заложенного в систему резерва окажется достаточно.
Таким образом, зная плотности потока заявок и потока освобождений и задавшись Qобс, можно рассчитать n. Если считать, что в среднем на формирование канала требуется a ячеек, то требуемое число ячеек идеальной ОРС ИП
k = an. (2.86)
На втором этапе рассчитывается r – число резервных ячеек ОРС ИП, в предположении того, что ячейки ненадежны. Методика расчета является многошаговой и основана на переборе.
Вероятность того, что за заданное время выйдет из строя не более r ячеек с учетом формулы (2.82)
Pяч = 1–Qяч =1– (Qзад – Qобс). (2.87)
Для пуассоновского потока вероятность того, что число отказов за время tзад будет не больше r,
(2.88)
Методом перебора находим такое количество резервных ячеек r, при котором вероятность выхода всех резервных ячеек из строя меньше заданной.
Проиллюстрируем данную методику примером. Пусть требуется определить количество ячеек w при следующих исходных данных: плотность потока заявок = 100 1/с, плотность потока освобождений = = 50 1/с, среднее количество ячеек на канал a = 10, вероятность отказа системы Qзад = 0,001, интенсивность отказов ячейки и связанной с ней коммутационной аппаратуры яч = 10–4 1/с, заданное время tзад = 1000 ч.
В соответствии с алгоритмом определяем, что для нас важнее: повысить вероятность обслуживания идеального преобразователя или повысить вероятность того, что заложенного в систему резерва окажется достаточно. Предположим, обе вероятности важны одинаково. Тогда Qобс = Qяч. = = Qзад/2 = 0,0005 и, соответственно формуле (2.87), Pяч = 0,9995.
На первом этапе рассчитывается число ячеек ОРС ИП, состоящей из абсолютно надежных элементов. По формуле (2.85) подбираем нужное количество каналов
n = 7.
Тогда требуемое количество ячеек без учета вышедших из строя в соответствии с формулой (2.86)
k = an = 70.
На втором этапе рассчитывается число резервных ячеек r ОРС ИП, состоящей из ненадежных элементов.
Интенсивность отказов системы λΣ в предположении об экспоненциальном распределении наработки на отказ равно сумме интенсивностей отказов элементов системы:
λΣ = λw = λ(k + r). (2.89)
Предположим, что в систему не добавлено ни одного резервного элемента, т.е. r = 0.
При r = 0
. (2.90)
Вероятность того, что на заданном интервале времени не выйдет из строя ни одна ячейка, значительно меньше заданной. Начинаем добавлять резервные элементы:
при r = 1
; (2.91)
при r = 2
; (2.92)
при r = 3
(2.93)
и т.д., пока при r = 19 , т.е. вероятность того, что в системе на заданном интервале времени число ячеек не опустится нижеk, превысит заданную.
Таким образом,
w = k + r = 70 + 19 = 89.
Следовательно, в соответствии с разработанным алгоритмом преобразователь должен в начальной стадии содержать 89 исправных ячеек.
Данная система, безусловно, не охватывает все стороны функционального резервирования, однако является достаточно типичной, чтобы приведенная методика расчета могла быть принята за базовую.