АНАЛИЗ НАДЕЖНОСТИ МУЛЬТИВЕРСИОННЫХ АРХИТЕКТУР АППАРАТНО-ПРОГРАММНЫХ КОМПЛЕКСОВ
Существует множество моделей оценки как надежности аппаратного, так и надежности программного обеспечения [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.
В данном исследовании приведены морфологические изменения в слизистой оболочке желудка при воздействии гипокинезии. Структурные изменение былы выявлены в слизистой оболочке.
...
22 05 2026 23:50:26
Статья в формате PDF
294 KB...
20 05 2026 23:57:19
Статья в формате PDF
257 KB...
19 05 2026 9:52:27
Краниальные брыжеечные лимфатические узлы у новорожденных белой крысы располагаются главным образом вдоль ствола одноименной артерии и отличаются слабо дифференцированной паренхимой. ...
18 05 2026 22:45:18
Статья в формате PDF
299 KB...
17 05 2026 14:54:50
В работе представлены данные по усовершенствованию методов коррекции нарушений гемостаза у больных с гнойными синуситами при черепно-мозговой травме. Показано, что метод внутрипазушной гепаринотерапии, как компонент комплексного лечения пациентов с гнойными синуситами в остром периоде церебро-фациальной травмы, позволяет эффективно коррегировать гиперкоагуляционные нарушения гемостаза и осуществлять профилактику связанного с этим нарушения синдрома ДВС. ...
16 05 2026 23:59:58
Статья в формате PDF
111 KB...
15 05 2026 8:38:46
Статья в формате PDF
129 KB...
14 05 2026 0:53:56
Статья в формате PDF
123 KB...
13 05 2026 4:17:23
Статья в формате PDF
495 KB...
12 05 2026 8:10:15
Статья в формате PDF
110 KB...
11 05 2026 0:15:53
Статья в формате PDF
122 KB...
10 05 2026 8:17:41
Статья в формате PDF
123 KB...
09 05 2026 16:53:46
Статья в формате PDF
117 KB...
08 05 2026 19:44:14
В рыночной экономии предприятия действуют в условиях конкуренции. Изучая потребителей, не следует забывать о конкурентах. Конкурент – важный элемент инфраструктуры системы маркетинга, оказывающий влияние на маркетинговую стратегию предприятия в отношении товара, поставщиков, покупателей. Исследование позиций конкурентов, а так же анализ конкурентной среды, в которой действуют предприятия, охватывает широкий спектр вопросов и требует привлечения значительного объёма информации. Анализ информации, её интерпретация позволяют специалистам вывести обоснованные оценки по каждому фактору конкуренции и охаpaктеризовывать общее положение предприятий на рынке по отношению к основным конкурентам.
...
06 05 2026 8:15:25
Все более актуальной в настоящее время становится проблема прогнозирования динамики развития региональных лесных комплексов. В качестве одного из этапов исследований по этой теме автором в содружестве с Гринпис России был выполнен описанный в статье проект. В рамках проекта разработана экономико-математическая модель. Последующая реализация модели на компьютере с использованием реальных данных показала ее эффективность для решения задач прогнозирования лесной отрасли. В качестве региона для апробации модели был выбран Санкт-Петербург и область, где влияние человека на окружающую среду в последнее время существенно возросло. Проведенная на основе статистических тестов верификация модели показала ее соответствие реальности. С целью апробации модели были сформированы два сценария с различными значениями показателей внешнего воздействия на региональную систему лесного комплекса. В результате, после имитации были получены основные параметры регионального лесного комплекса, соответствующие двум сценариям.
...
05 05 2026 15:11:35
Статья в формате PDF
127 KB...
04 05 2026 1:11:36
Статья в формате PDF
174 KB...
02 05 2026 13:43:12
Статья в формате PDF
118 KB...
01 05 2026 9:52:22
Статья в формате PDF 111 KB...
30 04 2026 0:13:35
Статья в формате PDF
134 KB...
29 04 2026 6:42:30
Статья в формате PDF
315 KB...
28 04 2026 22:53:52
Статья в формате PDF
125 KB...
27 04 2026 2:20:39
Статья в формате PDF
267 KB...
26 04 2026 10:52:28
Статья в формате PDF
92 KB...
24 04 2026 6:21:52
Статья в формате PDF
112 KB...
23 04 2026 4:37:52
Статья в формате PDF
90 KB...
22 04 2026 22:14:30
Статья в формате PDF
281 KB...
21 04 2026 2:18:54
Статья в формате PDF
124 KB...
18 04 2026 17:22:23
Статья в формате PDF
278 KB...
17 04 2026 11:10:41
Статья в формате PDF
94 KB...
16 04 2026 9:20:40
Статья в формате PDF
162 KB...
15 04 2026 1:32:39
Перспективами развития лесной отрасли России и состоянием лесных экосистем обеспокоены многие ведущие специалисты [1]. Анализ развития ситуации с лесами и лесным хозяйством в развитых государствах показывает, что без стратегического планирования (предвидения и контроля ситуации в отрасли на десятилетия вперед) невозможно достичь устойчивого развития. Поэтому прогноз развития лесной отрасли на основе анализа состояния лесов в Южном федеральном округе, в особенности в его горной части (в пределах Краснодарского края), где развиты уникальные и особо ценные леса юга России, сосредоточены важнейшие курорты России в непосредственно в пограничной зоне ее, приобретает особую геополитическую значимость и актуальность.
...
13 04 2026 21:17:11
Еще:
Поддержать себя -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 ::
