АНАЛИЗ НАДЕЖНОСТИ МУЛЬТИВЕРСИОННЫХ АРХИТЕКТУР АППАРАТНО-ПРОГРАММНЫХ КОМПЛЕКСОВ
Существует множество моделей оценки как надежности аппаратного, так и надежности программного обеспечения [1-4]. В статье рассматривается одна из моделей, объединяющая в себе мультиверсионную избыточность аппаратной и программной части, используемую для повышения надежности аппаратно-программного комплекса (АПК) в целом.
Иерархическое представление АПК приведено на рисунке 1. Программная система состоит из набора программных модулей. Программные модули выполняют функции посредством выполнения наборов инструкций микропроцессора (или микропроцессоров). Аппаратные компоненты - микропроцессоры, память и другие устройства, непосредственно участвующие в выполнении инструкций.
Рисунок 1. Иерархическое представление АПК
Предполагается, что во время простоя системы сбоев не происходит. Кроме того, когда уровни сбоя аппаратных компонент постоянны и в программном обеспечении отсутствуют сбои, то уровень сбоя одной инструкции может быть определен как произведение суммы уровней сбоя аппаратных компонент на время выполнения инструкции [1]:
, (1)
где - время необходимое для выполнения j-й инструкции.
Уровень сбоя в программном модуле можно определить как:
, (2)
где - вероятность использования модуля, - общее количество инструкций j в k-м модуле. Здесь определяется операционным профилем архитектуры ПО [2].
Уровень сбоя всей системы определим по формуле:
. (3)
Как известно ПО, функционирующего без сбоев, пpaктически не бывает. Поэтому формула (3) может быть легко преобразована в выражение, учитывающее сбои в программном обеспечении (без использования отказоустойчивости в аппаратном обеспечении).
. (4)
Это значение может быть определено путем тестирования ПО.
Более того, формула (4) может быть расширена до следующего вида:
, (5)
где коэффициент С определяется как отношение количества сбоев, устраненных отказоустойчивой системой, к общему количеству сбоев в системе. Данный коэффициент не имеет математического описания и получается опытным путем, например, с использованием имитации сбоев и ошибок в системе [2].
Анализ результатов
В заключение в качестве иллюстрации рассмотрим следующий пример.
Предположим, что в АПК возможно применение аппаратной избыточности (дублирования) и мультиверсионной избыточности ПО.
Исходные данные имеют следующие обозначения:
- количество процессоров: M;
- количество версий ПО: N;
- надежность одного аппаратного модуля: Pi , (i=1,..., M);
- стоимость одного аппаратного модуля: Срi , (i=1,..., M);
- надежность одной версии ПО: Rj, (j=1,..., N);
- стоимость одной версии ПО: Сrj, (j=1,..., N);
- среднее время появления сбоя [3] MTTF= max(MTTFj), (j=1,..., N).
Надежность аппаратно-программного комплекса:
(6)
Стоимость аппаратно-программного комплекса:
(7)
Таблица 1. Пример расчета надежности АПК для разных вариантов архитектур ПО
|
Вариант 1 |
Вариант 2 |
Вариант 3 |
Вариант 4 |
M |
1 |
3 |
1 |
3 |
Pi |
0,9 |
0,9 |
0,9 |
0,9 |
Cpi |
500 |
500 |
500 |
500 |
N |
1 |
1 |
3 |
3 |
Rj |
0,8 |
0,8 |
0,8 |
0,8 |
Crj |
200 |
200 |
200 |
200 |
W |
0,720 |
0,799 |
0,893 |
0,991 |
C |
700 |
1700 |
1100 |
2100 |
Из приведенной таблицы видно, что самый надежный вариант - последний, однако, очевидно, он же обладает и максимальной стоимостью.
СПИСОК ЛИТЕРАТУРЫ
- Jong Gyun Choi, Hyun Gook Kang. "Reliability Estimation of Nuclear Digital I&C System using Software Functional Block Diagram and Control Flow". FastAbstract ISSRE Copyright 2000.
- Telmo Menezes, Diamantino Costa. "On the Extention of Exeption to Support Software Fault Models". FastAbstract ISSRE Copyright 2000.
- Ковалев И.В., Юнусов Р.В. Оценка надежности аппаратно-программного информационно-управляющего комплекса. САКС-2002: Тез. докл. Междунар. науч.-пpaкт. конф. (6-7 дек. 2002, Красноярск)/ СибГАУ. Красноярск, 2002. С. 352-353.
- Ковалев И.В., Алимханов А.М., Юнусов Р.В. Мультиверсионный метод повышения качества программно-информационных технологий для корпоративных структур//Россия в III тысячелетии: Сборник научных трудов по материалам Всероссийской научной конференции/ Изд-во АМБ, Екатеринбург, 2002. С. 171-173.
Статья в формате PDF 109 KB...
18 04 2024 4:34:15
Статья в формате PDF 266 KB...
17 04 2024 5:58:58
Статья в формате PDF 263 KB...
16 04 2024 7:43:46
Статья в формате PDF 132 KB...
15 04 2024 9:14:18
Статья в формате PDF 320 KB...
14 04 2024 10:36:21
Статья в формате PDF 176 KB...
13 04 2024 3:59:11
Статья в формате PDF 104 KB...
12 04 2024 2:38:25
Статья в формате PDF 252 KB...
11 04 2024 16:59:14
Статья в формате PDF 122 KB...
10 04 2024 11:21:32
Статья в формате PDF 185 KB...
08 04 2024 12:57:19
Статья в формате PDF 115 KB...
07 04 2024 11:40:44
Статья в формате PDF 103 KB...
05 04 2024 1:19:36
Применен метод дисперсионного анализа для изучения силы влияния различных комплексных природных факторов на изменчивость длины шишки ели сибирской, произрастающей в Уральской лесорастительной провинции. Показано, что наибольшее влияние на изменчивость длины шишки в этом районе имеют индивидуальные особенности деревьев, долгота местности и высота над уровнем моря. ...
04 04 2024 21:29:24
Статья в формате PDF 130 KB...
01 04 2024 18:29:41
Получены закономерности взаимного влияния концентрации по 22 видам загрязнения семи родников, отобранных для исследования моделированием взаимосвязей между факторами. Дана полная корреляционная матрица монарных (на основе рангового или рейтингового распределения) и бинарных (между парами взаимно влияющих факторов) связей. Коэффициент функциональной связности равен сумме коэффициентов корреляции, разделенной на произведение числа строк на количество столбцов. Этот статистический показатель для всей сети родников применим при сопоставлении разных территорий. Первое место как влияющий параметр занимает общее микробное число, а как зависимый показатель – цветность. Анализ всех 484 моделей показал, что высокой предсказательной силой обладают слабые и средние факторные связи. Они же зачастую приводят к научно-техническим решениям мировой новизны на уровне изобретений. ...
31 03 2024 20:25:18
Статья в формате PDF 147 KB...
30 03 2024 0:56:41
Статья в формате PDF 106 KB...
29 03 2024 1:14:28
Статья в формате PDF 109 KB...
28 03 2024 2:50:48
Статья в формате PDF 433 KB...
27 03 2024 13:44:49
Статья в формате PDF 129 KB...
26 03 2024 13:43:50
Статья в формате PDF 126 KB...
25 03 2024 18:46:32
Статья в формате PDF 116 KB...
24 03 2024 6:47:52
23 03 2024 3:20:23
Статья в формате PDF 730 KB...
21 03 2024 18:10:23
В рамках данной статьи была построена математическая модель старения в форме онтогенетического компромисса процессов канцерогенеза и оксидативного стресса. Старение присуще всем объектам живой и неживой природы. Накопление повреждений в результате оксидативногостресса приводит к зависимому от возраста повреждению тканей, канцерогенезу и, наконец, к старению.С одной стороны, действие активных форм кислорода приводит к повреждению клеток, и, как следствие, к paку. С другой стороны, активные формы кислорода являются средством борьбы с опухолевыми клетками. Компромисс состоит в поддержании уровня свободных радикалов, эффективно подавляющего опухолевые клетки, и в то же время не сильно наносящего вред организму. На основе математической разработана имитационная компьютерная модель старения с возможностью изменений параметров интенсивностей появления опухолевых клеток, размножения, негативного воздействия свободных радикалов, ответа иммунитета. Проведен эксперимент по выявлению максимальной средней продолжительности жизни в зависимости от параметра гомеостатической хаpaктеристики. ...
20 03 2024 11:59:40
Статья в формате PDF 114 KB...
19 03 2024 9:25:42
Статья в формате PDF 289 KB...
18 03 2024 21:33:46
17 03 2024 16:47:20
Статья в формате PDF 251 KB...
16 03 2024 14:33:10
Статья в формате PDF 123 KB...
15 03 2024 20:30:47
Эмбриональная полукольцевидная форма является исходной в морфогенезе дефинитивной двенадцатиперстной кишки человека. Она преобразуется в кольцевидную у большинства плодов десятой недели, последняя в типичную подковообразную форму — к середине утробной жизни человека. ...
14 03 2024 12:17:31
Статья в формате PDF 125 KB...
12 03 2024 15:29:47
Статья в формате PDF 115 KB...
11 03 2024 13:17:36
Статья в формате PDF 115 KB...
10 03 2024 13:55:55
Еще:
Поддержать себя -1 :: Поддержать себя -2 :: Поддержать себя -3 :: Поддержать себя -4 :: Поддержать себя -5 :: Поддержать себя -6 :: Поддержать себя -7 :: Поддержать себя -8 :: Поддержать себя -9 :: Поддержать себя -10 :: Поддержать себя -11 :: Поддержать себя -12 :: Поддержать себя -13 :: Поддержать себя -14 :: Поддержать себя -15 :: Поддержать себя -16 :: Поддержать себя -17 :: Поддержать себя -18 :: Поддержать себя -19 :: Поддержать себя -20 :: Поддержать себя -21 :: Поддержать себя -22 :: Поддержать себя -23 :: Поддержать себя -24 :: Поддержать себя -25 :: Поддержать себя -26 :: Поддержать себя -27 :: Поддержать себя -28 :: Поддержать себя -29 :: Поддержать себя -30 :: Поддержать себя -31 :: Поддержать себя -32 :: Поддержать себя -33 :: Поддержать себя -34 :: Поддержать себя -35 :: Поддержать себя -36 :: Поддержать себя -37 :: Поддержать себя -38 ::