Краткие теоретические сведения

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

Краткие теоретические сведения - student2.ru

Краткие теоретические сведения - student2.ru

На рисунке переходы, изображенные стрелками направо, означают отказы, и их интенсивность λi зависит от количества нагруженных элементов в i-том состоянии, а стрелки нале­во означают восстановление, и их интенсивность μi опреде­ляется количеством неисправных элементов и ремонтных бригад. Так, при ненагруженном резерве /I, 2/

λi =λ,+-

при нагруженном

λi= λ(k-i+1).

Восстановление может быть ограниченным (п < k) , тог­да при i ≥ n

μi=n μ,

при i<n

μi=i μ.

Если восстановление неограниченное, то естьn ≥ k, то

μi=i μ.

Вероятности пребывания системы в любом состоянииP0(t) , P1(t), …,Pi(t), …, Pk+1(t)

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

- в левой части – производная вероятности рассматриваемого состояния по времени;

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

знак члена (+), если стрелка входит в рассматриваемое состояние, и ( - ) , если она из него выходит.

Полученная система уравнений позволяет определить при за­данных начальных условиях функции готовности Kг(t) и простоя Kп(t)

Краткие теоретические сведения - student2.ru ;

Краткие теоретические сведения - student2.ru .

Коэффициенты готовности Kг и простоя Кп рассчиты­ваются аналогично с учетом того, что в системе уравнений Колмогорова полагается dPi(t)/dt=0 (i=0,1,…,k+1), при этом для определения нетривиального решения полученная однородная система уравнений дополняется очевидным условием

Краткие теоретические сведения - student2.ru

Стационарные значения вероятностей Pj можно определить непосредственно по схеме состояний, пользуясь cледующим правилом: необходимо идти по направлению стрелок из каждого край­него состояния в j-тое по кратчайшему пути и перемножить все интенсивности переходов, соответствующие проходимым стрелкам. Таким образом проходят все пути из всех крайних состояний в каждое состояние системы.

Вероятность нахождения системы в j -том состоянии

Краткие теоретические сведения - student2.ru

где Δjи Δi- произведения интенсивностей переходов из всех крайних состояний соответственно в j-тое и i - тое при движении по кратчайшему пути в направлении стрелок; k+1 числосостояний системы.

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

Моделирование Kг и Kп произведите в диапазоне изменения до 0,5, которой является практически значимым.

Контрольные вопросы

I. Какие показатели надежности восстанавливаемых систем вы знаете?

2.Какие процессы называются марковскими?

3. Что такое схема состояний и каковы правила ее получе­ния?

4. Опишите алгоритм составления системы дифференциальных уравнений Колмогорова и способы ее решения.

5. Какие еще методы оценки надежности сложных систем с восстановлением вы знаете?

Задачи

1.Восстанавливаемая система с показательными распределе­ниями времени безотказной работы и времени восстановления имеет коэффициент готовности Кг = 0,95. Вычислить вероят­ность безотказной работы системы в течение наработки (0,10) ч, если среднее время восстановления θ= 5 ч.

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

Краткие теоретические сведения - student2.ru

если оказалось, что Kг= 0,6. Предполагается показательное распределение времени безотказной работы и восстановления; при t = 0 система работоспособна.

3. Восстанавливаема система с показательными распределениями времени безотказной работы и времени восстановления имеет коэффициент готовности Кг= 0,9. Определить вероятность Kг(t) нахождения системы в работоспособном состоянии в момент времени t=50 ч, если наработка на отказ Т = 500 ч.

4. Преобразователь "параметр-код" состоит из рабочего блока и блока в ненагруженном резерве. Распределения времени до отказа и до восстановления- показательные с параметра­ми: Краткие теоретические сведения - student2.ru -3I/ч, μ = 0,8 I/ч. Требуется определить значения коэффициента простоя и во сколько раз уменьшается величина коэффициента простоя преобразователя при применении неограниченного восстановления по сравнению с ограниченным.

5.Система связи с подвижными объектами имеет нагружен­ный резерв. Интенсивность отказов основной и резервной под­систем равна λ I/ч. При отказе основной подсистемы автоматический переключатель ПУ включает резервный комплект. При отказе ПУ (интенсивность, отказов λ п.у. I/ч ) становится невозможным подключение резервной подсистемы на место основной. Систему связи обслуживает одна ремонтная бригада. Интенсивность восстановления равна μ I/ч. Требуется определить коэффи­циент простоя системы связи.

6. Система питания состоит из рабочего блока и двух резервных - в облегченном и ненагруженном резерве. Систему об­служивают две ремонтные бригады. Интенсивности отказов paбочего блока Краткие теоретические сведения - student2.ru -2I/ч, блока в облегченном резерве Краткие теоретические сведения - student2.ru -3I/ч. Интенсивность восстановления каждой ремонтной бригадой μ=0,1 I/ч. Система предназначена для круглосуточной роботы. При выходе из строя рабочего комплекта на его место устанавливается комплект из облегченного резерва, а комплект ненагруженного резерва переводится в облегченный. При выходе из строя комплекта в облегченном резерве ненагруженный резерв также переходит в облегчений. Определить коэффициент простоя системы питания.

7. Вероятность безотказной работы ремонтируемого передат­чика в течение 3 ч равна 0,997. Среднее время ремонта пере­датчика 2,5 ч. Определить коэффициент простоя передатчика.

8. Регистрирующее устройство содержит рабочий блок и блок в нагруженном резерве. Вероятность отказа блока в течение 25 часов Q(t)= 0,I. Ремонт производится одной бригадой с интенсивность μ = 0,2 I/ч. Определить коэффициент прос­тоя регистрирующего устройства.

9. Усилитель состоит из двух равнонадежных блоков, для каждого из которых Краткие теоретические сведения - student2.ru -3I/ч. Имеется усилитель в ненагруженном резерве. Ремонт производит одна бригада, сред­нее время ремонта θ = 0,5 ч. Определить коэффициент прос­тоя усилителя с резервом.

10.Преобразователь частоты содержит один рабочий блок и один блок в нагруженном резерве. Ремонт производится одной бригадой, обеспечивающей среднее время восстановления 0,5 ч. Определить предельно допустимую интенсивность отказов преоб­разователя, чтобы удовлетворялось условие Краткие теоретические сведения - student2.ru .

11. Дальномер содержит рабочий блок (Т = 200 ч) и блок в облегченном резерве (Т0=800 ч). Требуется определить до­пустимую величину среднего времени ремонта θ при усло­вии, что имеется одна ремонтная бригада и должно быть Краткие теоретические сведения - student2.ru

Лабораторная работа 5

НАДЕЖНОСТЬ ПРГРАММНОГО ОБЕСПЕЧЕНИЯ

Цель работы

Моделирование параметров надежности программного обеспечения.

Задание к работе

Получите зависимости вероятности безотказной работы и среднего времени наработки до отказа программного обеспечения (ПО) от заданной структуры, от интенсивности и продолжительности его использования, Краткие теоретические сведения - student2.ru и Краткие теоретические сведения - student2.ru соответственно, вероятности проявления ошибки Краткие теоретические сведения - student2.ru и достигнутого уровня отладки Краткие теоретические сведения - student2.ru (характеристики нескольких исследуемых программ приведены в табл.1).

Краткие теоретические сведения

Алгоритм оценки надежности ПО на стадии промышленной эксплуатации включает несколько этапов /З/.

Краткие теоретические сведения - student2.ru .Построение графа блок-схемы программы и определение его вероятностных и объемных характеристик производятся по листингам программ.

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

Примечание. В задании приводятся блок-схемы программ различного назначения.

2. Составление перечня возможных путей на графе (рис. Краткие теоретические сведения - student2.ru -8) и вычисление объемных характеристик и вероятностей выполнения каждого пути: векторов Краткие теоретические сведения - student2.ru и Краткие теоретические сведения - student2.ru по формулам

той Краткие теоретические сведения - student2.ru

где Краткие теоретические сведения - student2.ru - объем Краткие теоретические сведения - student2.ru й вершины Краткие теоретические сведения - student2.ru -го пути, Кбайт; Краткие теоретические сведения - student2.ru количество вершин в Краткие теоретические сведения - student2.ru м пути.

Краткие теоретические сведения - student2.ru

где Краткие теоретические сведения - student2.ru вероятность перехода в Краткие теоретические сведения - student2.ru тую вершину Краткие теоретические сведения - student2.ru го пути (указана на рис. Краткие теоретические сведения - student2.ru -8 ).

Результаты вычислений целесообразно представить в табличной форме (табл.2.).

Таблица I

Параметры программ

№ Наименование вар. программы Частота исполь­зования И Достигну­тый уров. отладки q Время исполь­зования программ т,г Кол-во ошибки в ПО на I Кбайт к, Вероят­ность проявления ошибки Ро № рисун­ка с графом блок-схемы
1 ,9 Расчет оптимального режима работы 3 раза в сутки 0,005 1год 0,0005
установки   2,10 Сбор, контроль и обработка   10 раз в час   0,005   2 года   0,7   0,003  
измерительной информации                    
3,11 Оперативное планирование 1 раз в неделю   0,001   0,5 года     0,001
4,12 Имитационная модель технологического объекта   1 раз в сутки 0,05   2 года     0,5     0,007
5,13 Имитационная модель процесса функционирования аппаратуры   2 раза в неделю     0,001     3 года       0,001
6,14 Вычисление метрологических характеристик измерительных каналов   2 раза в месяц     0,025   1год     0,5 0,005
7,15Моделирование реакции полупроводникового прибора на тепловое воздействие   8,16 Программное обеспечение локальной системы автоматического управления 3 раза в неделю   10 раз в сутки 0,01     0,007 2 года     1год     0,6 0,005     0,0005    

Таблица 2

Характеристики путей на графе

    Перечень вершин Краткие теоретические сведения - student2.ru Кбайт Краткие теоретические сведения - student2.ru
       

Правильность вычислений характеристик пути можно проверить по условию

Краткие теоретические сведения - student2.ru

где Краткие теоретические сведения - student2.ru количество путей.

Краткие теоретические сведения - student2.ru

Рис. Краткие теоретические сведения - student2.ru . Граф программы расчета оптимального режима работы установки

Краткие теоретические сведения - student2.ru Краткие теоретические сведения - student2.ru

Рис.2. Граф программы сбора, контроля и обработки информации

Краткие теоретические сведения - student2.ru

Рис.3 Граф программы оперативного планирования

Краткие теоретические сведения - student2.ru

Рис.4 Граф имитационной модели технологического объекта управления

Краткие теоретические сведения - student2.ru

Рис.5 Граф имитационной модели процесса функционирования аппаратуры

Краткие теоретические сведения - student2.ru

Рис.6 Граф программы для вычисления метрологических характеристик измерительных каналов Краткие теоретические сведения - student2.ru

Рис. 7. Граф программного обеспечения локальной системы автоматического управления

Краткие теоретические сведения - student2.ru

Рис. 8. Граф программы моделирования реакции полупроводникового прибора на тепловое воздействие

Выбор значений Краткие теоретические сведения - student2.ru (требуемого уровня отладки- снижения количества ошибок в течение опытной эксплуатации) и Краткие теоретические сведения - student2.ru (периода времени, за который определяется вероятность безотказной работы) производится в соответствии с /4/.

Вероятность проявления ошибки ПО Краткие теоретические сведения - student2.ru на стадии опытной эксплуатации рекомендуется выбирать в пределах от 0,I до 0,8, а на стадии промышленной эксплуатации – в пределах от 0,00I до 0,2 в зависимости от значения Краткие теоретические сведения - student2.ru : чем меньше Краткие теоретические сведения - student2.ru , тем меньше Краткие теоретические сведения - student2.ru .

Примечание. В задании (см.табл.I) приводятся значения Краткие теоретические сведения - student2.ru .

4. определение интенсивности использования программного обеспечения (см.табл.I.)

в единицах [ Краткие теоретические сведения - student2.ru ]=ч-1.

5. вычисление показателей надежности программного обеспечения на стадии промышленной эксплуатации:

-вероятности безотказной работы в течение времени

Краткие теоретические сведения - student2.ru qµτ, (I)

-средней наработки на отказ

Краткие теоретические сведения - student2.ru (2)

При малых значениях Краткие теоретические сведения - student2.ru и Краткие теоретические сведения - student2.ru ( Краткие теоретические сведения - student2.ru <0,0I, Краткие теоретические сведения - student2.ru <0,005) и небольших значениях Краткие теоретические сведения - student2.ru можно использовать приближенные формулы для вычисления Краткие теоретические сведения - student2.ru и Краткие теоретические сведения - student2.ru :

Краткие теоретические сведения - student2.ru qµτ Краткие теоретические сведения - student2.ru (3)

Краткие теоретические сведения - student2.ru (4)

выражения (I)-(4) - используйте для моделирования Краткие теоретические сведения - student2.ru и Краткие теоретические сведения - student2.ru в функции Краткие теоретические сведения - student2.ru изменяя эти параметры в пределах:

0,0005 Краткие теоретические сведения - student2.ru , 0,000I Краткие теоретические сведения - student2.ru 0,I; значения Краткие теоретические сведения - student2.ru увеличивайте в диапазоне уменьшения Краткие теоретические сведения - student2.ru до 0,4. при варьировании одного из указанных параметров остальные полагайте неизменными и равными заданным.

Контрольные вопросы

1. Сформулируйте понятия надежности ПО.

2. Охарактеризуйте отказ ПО и укажите его причины.

3. Опишите методы прогнозирования надежности ПО на ранних этапах его разработки.

  1. Опишите модели для оценки надежности ПО в ходе его отладки и эксплуатации.

5. Перечислите способы повышения надежности ПО.

6. Охарактеризуйте методы тестирования ПО.

Задачи

1. Оценить ожидаемое количество ошибок в управляющей программе, в которой содержится 20 ветвлений , 15 связей с прикладными программами, 10 связей с системными программами, 5 операций ввода-вывода, 40 комментариев.

2. Оценить среднее время наработки до отказа программы настройки, содержащей 30 ветвлений, 30 связей с системными программами, 20 операторов обработки данных, 60 комментариев, если среднее время прохождения программы 30 минут, вероятность проявления ошибки при однократном прохождении программы Краткие теоретические сведения - student2.ru .

3. В ходе отладки программы зафиксированы 3 отказа и соответствующие интервалы времени Краткие теоретические сведения - student2.ru мин, Краткие теоретические сведения - student2.ru мин, Краткие теоретические сведения - student2.ru мин между отказами. Пренебрегая продолжительностью устранения ошибок, оценить среднее значение интервала времени до 4-го отказа.

4. Для повышения надежности программного обеспечения применено модифицированное дуальное программирование. Вероятность отказа основной программы Краткие теоретические сведения - student2.ru , а его погрешность Краткие теоретические сведения - student2.ru . Оценить параметры Краткие теоретические сведения - student2.ru и Краткие теоретические сведения - student2.ru резервирующей программы, если требуется , чтобы показатели качества работы системы из двух программ составляли Краткие теоретические сведения - student2.ru а Краткие теоретические сведения - student2.ru .

5. Определить требуемое количество тестов (прохождений программы со случайными исходными данными), которые необходимо провести с положительными исходами (отсутствием отказов), чтобы нижняя доверительная граница вероятности безотказной работы программы составила 0,99, если доверительная вероятность Краткие теоретические сведения - student2.ru .

Примечание. При решении задач можно использовать данные приложения 5, а также /5,7/.

Лабораторная работа 6

ИСПЫТАНИЯ НА НАДЕЖНОСТЬ

Цель работы

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

Задание к работе

Промоделируйте заданный закон распределения наработки до отказа с параметрами, указанными в таблице; изобразите его. Определите границы доверительного интервала для среднего времени наработки до отказа (значение доверительной вероятности приведено в таблице).

Наши рекомендации