АНАЛИЗ НАДЕЖНОСТИ МУЛЬТИВЕРСИОННЫХ АРХИТЕКТУР АППАРАТНО-ПРОГРАММНЫХ КОМПЛЕКСОВ > Полезные советы
Тысяча полезных мелочей    

АНАЛИЗ НАДЕЖНОСТИ МУЛЬТИВЕРСИОННЫХ АРХИТЕКТУР АППАРАТНО-ПРОГРАММНЫХ КОМПЛЕКСОВ

АНАЛИЗ НАДЕЖНОСТИ МУЛЬТИВЕРСИОННЫХ АРХИТЕКТУР АППАРАТНО-ПРОГРАММНЫХ КОМПЛЕКСОВ

Антамошкин О.А. Дегтерев А.C. Русаков М.А. Усольцев А.А. Статья в формате PDF 122 KB На сегодняшний день достаточно сложно с большой точностью оценить надежность какого-либо информационно управляемого аппаратно - программного комплекса. Сбои происходящие в аппаратном обеспечении не могут быть заменены функциями программного обеспечения и наоборот. Анализируя бортовые аппаратно-программные комплексы, следует отметить, что механизмы распространения сбоев оказываются достаточно сложными, а последствия, как правило, трудными или невозможными для прогнозирования [1].

Существует множество моделей оценки как надежности аппаратного, так и надежности программного обеспечения [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

Из приведенной таблицы видно, что самый надежный вариант - последний, однако, очевидно, он же обладает и максимальной стоимостью.

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

  1. 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.
  2. Telmo Menezes, Diamantino Costa. "On the Extention of Exeption to Support Software Fault Models". FastAbstract ISSRE Copyright 2000.
  3. Ковалев И.В., Юнусов Р.В. Оценка надежности аппаратно-программного информационно-управляющего комплекса. САКС-2002: Тез. докл. Междунар. науч.-пpaкт. конф. (6-7 дек. 2002, Красноярск)/ СибГАУ. Красноярск, 2002. С. 352-353.
  4. Ковалев И.В., Алимханов А.М., Юнусов Р.В. Мультиверсионный метод повышения качества программно-информационных технологий для корпоративных структур//Россия в III тысячелетии: Сборник научных трудов по материалам Всероссийской научной конференции/ Изд-во АМБ, Екатеринбург, 2002. С. 171-173.


СТРУКТУРНЫЕ ИЗМЕНЕНИЯ СЛИЗИСТОЙ ОБОЛОЧКИ ЖЕЛУДКА ПРИ ЭКСПЕРИМЕНТАЛЬНОЙ ГИПОКИНЕЗИИ

СТРУКТУРНЫЕ ИЗМЕНЕНИЯ СЛИЗИСТОЙ ОБОЛОЧКИ ЖЕЛУДКА ПРИ ЭКСПЕРИМЕНТАЛЬНОЙ ГИПОКИНЕЗИИ В данном исследовании приведены морфологические изменения в слизистой оболочке желудка при воздействии гипокинезии. Структурные изменение былы выявлены в слизистой оболочке. ...

22 05 2026 23:50:26

Разработка варочного котла непрерывного действия

Разработка варочного котла непрерывного действия Статья в формате PDF 415 KB...

21 05 2026 8:48:56

О СТРОЕНИИ И ТОПОГРАФИИ КРАНИАЛЬНЫХ БРЫЖЕЕЧНЫХ ЛИМФАТИЧЕСКИХ УЗЛОВ У НОВОРОЖДЕННЫХ БЕЛОЙ КРЫСЫ

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

18 05 2026 22:45:18

ЭФФЕКТИВНЫЙ СПОСОБ БОРЬБЫ С «ПРЕДТРОМБОТИЧЕСКИМИ СОСТОЯНИЯМИ» ПРИ ЦЕРЕБРОФАЦИАЛЬНОЙ ТРАВМЕ У БОЛЬНЫХ С ГНОЙНЫМИ СИНУИТАМИ

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

16 05 2026 23:59:58

МОДЕЛЬ И ЗАКОНЫ ОПТИМАЛЬНОГО РАЗВИТИЯ СИСТЕМ

МОДЕЛЬ И ЗАКОНЫ ОПТИМАЛЬНОГО РАЗВИТИЯ СИСТЕМ Статья в формате PDF 1209 KB...

07 05 2026 3:34:41

АНАЛИЗ ФОРМИРОВАНИЯ КОНКУРЕНТНОЙ СРЕДЫ ФУНКЦИОНИРОВАНИЯ ПРЕДПРИЯТИЙ ОВОЩНОГО ПОДКОМПЛЕКСА (НА ПРИМЕРЕ ИВАНОВСКОЙ ОБЛАСТИ)

АНАЛИЗ ФОРМИРОВАНИЯ КОНКУРЕНТНОЙ СРЕДЫ ФУНКЦИОНИРОВАНИЯ ПРЕДПРИЯТИЙ ОВОЩНОГО ПОДКОМПЛЕКСА (НА ПРИМЕРЕ ИВАНОВСКОЙ ОБЛАСТИ) В рыночной экономии предприятия действуют в условиях конкуренции. Изучая потребителей, не следует забывать о конкурентах. Конкурент – важный элемент инфраструктуры системы маркетинга, оказывающий влияние на маркетинговую стратегию предприятия в отношении товара, поставщиков, покупателей. Исследование позиций конкурентов, а так же анализ конкурентной среды, в которой действуют предприятия, охватывает широкий спектр вопросов и требует привлечения значительного объёма информации. Анализ информации, её интерпретация позволяют специалистам вывести обоснованные оценки по каждому фактору конкуренции и охаpaктеризовывать общее положение предприятий на рынке по отношению к основным конкурентам. ...

06 05 2026 8:15:25

ОЦЕНКА ПЕРСПЕКТИВ РАЗВИТИЯ ЛЕСНЫХ КОМПЛЕКСОВ В РЕГИОНАХ С СИЛЬНЫМ АНТРОПОГЕННЫМ ВОЗДЕЙСТВИЕМ

ОЦЕНКА ПЕРСПЕКТИВ РАЗВИТИЯ ЛЕСНЫХ КОМПЛЕКСОВ В РЕГИОНАХ С СИЛЬНЫМ АНТРОПОГЕННЫМ ВОЗДЕЙСТВИЕМ Все более актуальной в настоящее время становится проблема прогнозирования динамики развития региональных лесных комплексов. В качестве одного из этапов исследований по этой теме автором в содружестве с Гринпис России был выполнен описанный в статье проект. В рамках проекта разработана экономико-математическая модель. Последующая реализация модели на компьютере с использованием реальных данных показала ее эффективность для решения задач прогнозирования лесной отрасли. В качестве региона для апробации модели был выбран Санкт-Петербург и область, где влияние человека на окружающую среду в последнее время существенно возросло. Проведенная на основе статистических тестов верификация модели показала ее соответствие реальности. С целью апробации модели были сформированы два сценария с различными значениями показателей внешнего воздействия на региональную систему лесного комплекса. В результате, после имитации были получены основные параметры регионального лесного комплекса, соответствующие двум сценариям. ...

05 05 2026 15:11:35

О ПЕРСПЕКТИВАХ ЭВОЛЮЦИИ НООСФЕРЫ

О ПЕРСПЕКТИВАХ ЭВОЛЮЦИИ НООСФЕРЫ Статья в формате PDF 183 KB...

03 05 2026 23:27:54

СОВЕРШЕНСТВОВАНИЕ ТЕХНОЛОГИИ НАКАТЫВАНИЯ ВАЛОВ

СОВЕРШЕНСТВОВАНИЕ ТЕХНОЛОГИИ НАКАТЫВАНИЯ ВАЛОВ Статья в формате PDF 263 KB...

25 04 2026 6:46:27

О ДЛИННОВОЛНОВЫХ МОДЕЛЯХ УДАРНЫХ ПАР

О ДЛИННОВОЛНОВЫХ МОДЕЛЯХ УДАРНЫХ ПАР Статья в формате PDF 447 KB...

20 04 2026 14:28:43

РОД КАК ИСКОННОЕ ПОНЯТИЕ РУССКОЙ КУЛЬТУРЫ

РОД КАК ИСКОННОЕ ПОНЯТИЕ РУССКОЙ КУЛЬТУРЫ Статья в формате PDF 111 KB...

19 04 2026 9:34:43

НОВЫЕ ПРОДУКТЫ ДЛЯ ФУНКЦИОНАЛЬНОГО ПИТАНИЯ

НОВЫЕ ПРОДУКТЫ ДЛЯ ФУНКЦИОНАЛЬНОГО ПИТАНИЯ Статья в формате PDF 207 KB...

14 04 2026 4:35:17

ЭКОСИСТЕМНЫЕ УСЛУГИ ЛЕСОВ ЗАПАДНОГО КАВКАЗА

ЭКОСИСТЕМНЫЕ УСЛУГИ ЛЕСОВ ЗАПАДНОГО КАВКАЗА Перспективами развития лесной отрасли России и состоянием лесных экосистем обеспокоены многие ведущие специалисты [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 ::