Научная статья на тему 'Моделирование надежности систем средствами пакета программ RELIABmod'

Моделирование надежности систем средствами пакета программ RELIABmod Текст научной статьи по специальности «Компьютерные и информационные науки»

CC BY
661
86
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
СТАТИСТИЧЕСКОЕ МОДЕЛИРОВАНИЕ / СТРУКТУРНАЯ СХЕМА НАДЕЖНОСТИ / ГЕНЕРАТОР СЛУЧАЙНЫХ ЧИСЕЛ

Аннотация научной статьи по компьютерным и информационным наукам, автор научной работы — Федухин А. В., Пасько В. П.

Приведено описание специализированного пакета программ RELIABmod v.2.0, позволяющего методами статистического моделирования и расчета прогнозировать надежность восстанавливаемых и невосстанавливаемых систем, имеющих разнообразные структурные схемы надежности. Рассмотрены примеры экранных форм пакета при моделировании надежности системы со структурой типа « из »

i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по компьютерным и информационным наукам , автор научной работы — Федухин А. В., Пасько В. П.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

A description of the specialized RELIABmod v.2.0 software package that allows with the help of statistical modulation and calculation to forecast reliability of restorable and non-restorable systems, with a variety of structural schemes of reliability is suggested. Examples of screen package forms for modeling the reliability of the system with the structure of « of » type are considered

Текст научной работы на тему «Моделирование надежности систем средствами пакета программ RELIABmod»

ЯКІСТЬ, надійність і сертифікація ОБЧИСЛЮВАЛЬНОЇ ТЕХНІКИ І ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ

УДК 621.3.019.3

А.В. ФЕДУХИН, В.П. ПАСЬКО

МОДЕЛИРОВАНИЕ НАДЕЖНОСТИ СИСТЕМ СРЕДСТВАМИ ПАКЕТА ПРОГРАММ ЯЕЫАВшоа

Анотація. Наведено опис спеціалізованого пакета програм ЕЕЫЛБтоё у.2.0, що дозволяє методами статистичного моделювання і розрахунку прогнозувати надійність систем, що відновлюються і не відновлюються, які мають різноманітні структурні схеми надійності. Розглянуті приклади екранних форм пакета при моделюванні надійності системи зі структурою типу «к з п ». Ключові слова: статистичне моделювання, структурна схема надійності, генератор випадкових чисел.

Аннотация. Приведено описание специализированного пакета программ RELIABmod v.2.0, позволяющего методами статистического моделирования и расчета прогнозировать надежность восстанавливаемых и невосстанавливаемых систем, имеющих разнообразные структурные схемы надежности. Рассмотрены примеры экранных форм пакета при моделировании надежности системы со структурой типа «к из n ».

Ключевые слова: статистическое моделирование, структурная схема надежности, генератор случайных чисел.

Abstract. A description of the specialized RELIABmod v.2.0 software package that allows with the help of statistical modulation and calculation to forecast reliability of restorable and non-restorable systems, with a variety of structural schemes of reliability is suggested. Examples of screen package forms for modeling the reliability of the system with the structure of « k of n »type arr с onsideerd.

Keywords: statistical modeling, structural reliability scheme, generator of random numbers.

1. Введение

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

Часто первые предложенные варианты ИУС не отвечают своим техническим требованиям по надежности. Найти наиболее эффективный, с точки зрения надежности, вариант исполнения ИУС можно с использованием методов статистического моделирования.

2. Моделирование надежности системы

Статистическое моделирование довольно часто используется в практике прогнозирования надежности. Его можно эффективно использовать для имитации результатов испытаний на надежность изделий и систем [ 1].

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

© Федухин А.В., Пасько В.П., 2011

ISSN 1028-9763. Математичні машини і системи, 2011, № 4

надежности, «виртуально отказывающих» в процессе статистического «эксперимента» изделий.

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

Для прогнозирования надежности ИУС методом статистического моделирования авторами разработан (в настоящее время имеется версия 2.0 этого продукта) специализированный программный продукт - пакет программ КБЫАВтоё у.2.0.

Пакет программ КБЫАВтоё у.2.0 позволяет производить прогнозирование надежности объектов, имеющих самые разнообразные структурные схемы надежности (ССН) (рис. 1) [2].

ССН-1 - объект состоит из последовательно соединенных элементов N типов по п1, п2,..., пм элементов каждого типа, и отказ объекта наступает в результате отказа любого из всех типов элементов;

ССН-2 - объект состоит из параллельно соединенных однотипных элементов, и отказ объекта наступает в результате отказа всех элементов;

ССН-3 - объект состоит из п параллельно соединенных однотипных элементов, при этом минимальное число работоспособных элементов к (структура типа “ к из п ”), а отказ объекта наступает при отказе (п - к +1) элементов;

ССН-4 - объект состоит из параллельно соединенных (два канала) однотипных элементов (функциональных блоков), соединенных по квазимостиковой схеме;

ССН-5 - объект содержит один или г резервных элементов, находящихся в ненагруженном («холодном») режиме до начала выполнения ими функций основного элемента.

В отличие от известных программных продуктов [6, 7], КБЫАВтоё у.2.0 имеет следующие особенности:

• осуществляет генерацию случайных величин, имеющих ^^распределение и экспоненциальное распределение;

• учитывает надежность восстанавливающего органа системы;

• учитывает возможности реконфигурации системы при отказе ее составных частей;

• учитывает тренд параметров надежности составных частей системы во времени;

• производит расчет количественных показателей надежности моделируемой системы по априорным данным о надежности элементов системы и по данным, полученным в результате моделирования надежности элементов;

• осуществляет графическое представление результатов моделирования.

Рассмотрим более подробно каждую из особенностей данного программного продукта.

Моделирование случайных величин. Способ моделирования случайных величин [1] основан на использовании генератора равномерно распределенных в интервале [0, 1] псевдослучайных чисел, которые используются как значения вероятности отказа объекта. Задаваясь функцией распределения Г(¿; э, V), можно выбирать случайное значение у из равномерного распределения в интервале [0, 1] и определять значение аргумента 1у, для которо-

1 А. Т

2 Л.

О ссн-1

Количество типов элементов

О ССН-2

Количество элементов

е ССН-3

I? типа "2 из 3"

□ типа ”3 из 5"

О ССН-4 Количество дублированных функциональных блоков

О ССН-5

Количество резервных элементов

Рис. 1. Фрагмент экранной

формы основного меню пакета

2 Л.

1

го Е(-; s, у) = 7. Полученная таким способом случайная величина -7 будет иметь заданную функцию распределения Е(-;5,у). Входными параметрами генераторов случайных чисел

являются математическое ожидание 5 случайной величины - для однопараметрических функций распределения или математическое ожидание 5 и коэффициент вариации V для двухпараметрических функций распределения.

Программный продукт КБЫАВтоё у.2.0 позволяет осуществлять моделирование случайных величин с функцией ^^-распределения и функцией экспоненциаль-

Закон распределения * DN-распределение Р2 Экспоненциальное РЗ

Рис. 2. Фрагмент меню выбора закона распределения случайных величин

ного распределения (рис. 2).

Функция БК-распределения имеет вид [2]

БЫ (і; 5, V ) = Ф

+ ехр

(2' "2 )Ф

і/5 + 1

7,

где 0(2) - нормированное нормальное распределение;

5 - математическое ожидание случайной величины -;

V - коэффициент вариации случайной величины -.

Решая это уравнение относительно -, получим случайную величину -7, которая будет иметь заданную функцию распределенияОЫ(-; 5, у).

Входными параметрами генератора случайных чисел по ОЫ-распределению являются математическое ожидание 5 и коэффициент вариации V случайной величины -. Функция экспоненциального распределения имеет вид

Е (-; 1) = 1 - ехр(-1-),

где 1 - интенсивность отказов.

Для удобства использования проведем параметризацию функции экспоненциально-

3 1

го распределения через параметр 5, используя известное выражение 1 = — .

5

Задаваясь функцией экспоненциального распределения и решая следующее уравнение относительно -:

Е (-; 5) = 1 - ехр(- -) = 7,

5

получим случайную величину -7, которая будет иметь заданную функцию распределения Е(-;5):

Хг=-51п(1 -7).

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

Учет надежности восстанавливающего органа (ВО) системы. В программном продукте предусмотрены следующие опции (рис. 3).

С практической точки зрения, не требует доказательств тот факт, что при высокой сложности контролируемой системы сам ВО становится также сложным, требует

Параметры:

С ненадежный ВО С реконфигурация □ тренд параметров Рис. 3. Фрагмент экранной формы выбора параметров моделируемой системы

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

Реконфигурация структуры системы. Системы со структурой элементов типа „ к из п ” являются работоспособными лишь при условии, если работоспособны хотя бы к элементов из п . Как только количество работоспособных элементов становится равным (к -1), то наступает отказ системы. В то же время элементы, которые остались работоспособными на момент отказа системы, еще не исчерпали свой ресурс, было бы рационально использовать их в работе после проведения реконфигурации системы из системы со структурой элементов „ к из п ” в систему с нагруженным резервом, которая состоит из (к -1) элементов. В случае структуры типа „2 из 3” результатом реконфигурации может стать нерезервированная система, состоящая из одного элемента, а в случае структуры типа „3 из 5” -обычная дублированная система.

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

Тренд параметров составных частей. В рамках гипотезы о ОЫ-распределении наработки до отказа (на отказ) средняя наработка на отказ восстанавливаемого объекта не является постоянной величиной во времени, а уменьшается с ростом суммарной наработки системы. Учет данного явления позволяет получить более достоверные результаты моделирования надежности такого класса систем [5].

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

где Т - средняя наработка до отказа комплекта системы, - суммарная наработка ком-

плекта системы.

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

В рассматриваемом пакете программ исходными данными для расчета надежности объекта являются:

• априорные данные о надежности составных частей и элементов рассматриваемого объекта;

• оценки показателей надежности составных частей и элементов объекта, полученные путем моделирования («экспериментальным путем»).

В пакете КБЫАВтоё у.2.0 применяются структурные методы расчета надежности, которые являются основными методами, используемыми в процессе проектирования объектов, поддающихся разукрупнению на составные части и элементы.

Математические модели, применяемые для описания соответствующих ССН, определяются видами и сложностью указанных структур и принятыми допущениями относительно видов законов распределения случайных величин. В рассматриваемом программном продукте расчет показателей надежности осуществляется, исходя из гипотезы о диффузионном законе распределения (ВФ-методом) и исходя из гипотезы об экспоненциальном законе распределения (лямбда-методом) [2].

3. Исходные данные и результаты моделирования некоторых типов систем

Для разработки программного продукта RELIABmod v.2.0 используется среда Microsoft Visual C# 2010.

Загрузка программы RELIABmod в память компьютера пользователя происходит после того, как пользователь запустит на выполнение файл RELIABmod.exe. Для этого нужно выбрать данный файл и нажать клавишу “Enter” либо дважды щелкнуть на нем или его ярлыке.

Работа начинается с указания объема выборки, выбора структурной схемы надежности, типа системы, закона распределения и дополнительных параметров, таких как:

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

• ненадежный восстанавливающий орган;

• реконфигурация;

• тренд параметров.

Через меню “Опции” > “Исходные данные” задаем величины средней наработки до отказа (на отказ) и коэффициента вариации наработки до отказа (на отказ) (рис. 4). Для восстанавливаемых систем задаются еще и среднее время восстановления и его коэффициент вариации (рис. 5).

Исходные данные

Т = |150 Т - средняя наработка

до отказа

V = 1 □ V - коэффициент вариации

наработки до отказа

Тво = 500 Тво - средняя наработка

до отказа ВО

Vbo = 1 Уво - коэффициент вариации

наработки до отказа ВО

Принять

Исходные данные

Т = |ш Т- средняя наработка

на отказ

V = 1 V - коэффициент вариации

наработки на отказ

Тв = 50 Тв - среднее время восстановления

Vb = 1 \/в - коэффициент вариации

времени восстановления

Тво = 500 Тво - средняя наработка

до отказа ВО

Vbo = 1 \/во - коэффициент вариации

наработки до отказа ВО

Г1 Ч j Принять I

Рис. 4. Фрагмент экранной формы ввода исходных данных для невосстанавливаемой системы

Рис. 5. Фрагмент экранной формы ввода исходных данных для восстанавливаемой системы

Рис. 6. Экранная форма результатов моделирования невосстанавливаемой системы со структурой типа «2 из 3” и ненадежным ВО

После выборки всех параметров запускается моделирование через меню “Опции” > “Начать моделирование” или нажатием клавиши F5. После этого происходит генерирование N реализаций равномерно распределенных случайных чисел. Далее они преобразуются в случайные числа по выбранному закону распределения. По окончании работы программы результаты выводятся на экран.

Для невосстанавливаемой системы выводятся априорные и выборочные значения параметров надежности элементов системы, а также надежность системы в целом (рис. 6).

Кроме того, для восстанавливаемой системы предусмотрено поле «Протокол восстановления элементов системы», в котором выводится информация о проведенных восстановлениях - для каждого цикла моделирования перечисляются номера каналов, которые отказали, и моменты начала их восстановлений (рис. 7).

Рис. 7. Экранная форма результатов моделирования восстанавливаемой системы со структурой типа “2 из 3” с ненадежным ВО и учетом тренда параметров надежности элементов

В пакете имеется возможность построения по результатам моделирования круговой диаграммы статистики отказов для каждого канала системы (рис. 8), а для восстанавливаемых систем еще и статистики восстановлений (рис. 9).

Круговая диаграмма статистики отказов

Л Отказ ВО: 24,00%

и 1 \ а Отказ 1-го элемента: 31,00%

Г Я — — Отказ 2-го элемента: 21,00%

Отказ 3-го элемента: 24,00%

Рис. 8. Экранная форма статистики Рис. 9. Экранная форма статистики

отказов системы восстановлений системы

Завершить работу с программой КБЫАВтоё можно, нажав находящуюся в верхнем правом углу кнопку “Закрыть”. После этого программа выгрузится из операционной памяти и освободит все системные ресурсы, которые она затребовала у операционной системы при своей загрузке.

4. Выводы

Разработанный программный продукт КБЫАВтоё у.2.0 позволяет прогнозировать надежность систем на этапе их проектирования двумя методами: методом статистического моделирования и методом аналитического расчета.

В отличие от известных программных продуктов ЯБЫАВтоё у.2.0 имеет следующие особенности:

• осуществляет генерацию случайных величин, имеющих ^^-распределение и экспоненциальное распределение;

• учитывает надежность восстанавливающего органа системы;

• учитывает возможности реконфигурации системы при отказе ее составных частей;

• учитывает тренд параметров надежности составных частей системы во времени;

• производит расчет количественных показателей надежности моделируемой системы по априорным данным о надежности элементов системы и по данным, полученным в результате моделирования надежности элементов;

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

СПИСОК ЛИТЕРАТУРЫ

1. Федухин А.В. К вопросу о статистическом моделировании надежности / А.В. Федухин, Н.В. Сеспедес-Гарсия // Математичні машини і системи. - 2006. - № 1. - С. 156 - 163.

2. Стрельников В.П. Оценка и прогнозирование надежности электронных элементов и систем /

В.П. Стрельников, А.В. Федухин. - К.: Логос, 2002. - 486 с.

3. Федухин А.В. Моделирование надежности восстанавливаемой системы с «холодным» резервом и ненадежным восстанавливающим органом / А.В. Федухин, Н.В. Сеспедес-Гарсия // Математичні машини і системи. - 2007. - № 2. - С. 125 - 131.

4. Федухин А.В. Моделирование надежности невосстанавливаемой системы со структурой типа «к из п» с реконфигурацией / А.В. Федухин, Н.В. Сеспедес-Гарсия // Радіоелектронні і комп’ютерні системи. - 2009. - №7 (41). - С. 82 - 84.

5. Федухин А.В. Моделирование надежности восстанавливаемой резервированной системы с учетом тренда параметров надежности составных частей / А.В. Федухин // Математичні машини і системи. - 2007. - № 3, 4. - С. 239 - 244.

6. Гладкий В.С. Оценка структурной надежности методом статистического моделирования. Методические указания / Гладкий В.С., Малиновский С.Т., Новиков С.Н. - М., 1987. - 46 с.

7. Коняхин И.А. Методы и средства статистического моделирования ОЭС (анализ надежности): уч. пособ. / Коняхин И.А. - СПб.: ИТМО, 2005. - 50 с.

Стаття надійшла до редакції 23.09.2011

i Надоели баннеры? Вы всегда можете отключить рекламу.