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

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

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

Антамошкин О.А. Дегтерев А.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.


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

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

08 04 2026 17:47:19

ЛИМФАТИЧЕСКАЯ СИСТЕМА ТОЛСТОЙ КИШКИ В ОНТОГЕНЕЗЕ

ЛИМФАТИЧЕСКАЯ СИСТЕМА ТОЛСТОЙ КИШКИ В ОНТОГЕНЕЗЕ Статья в формате PDF 91 KB...

03 04 2026 3:51:29

К ПРОБЛЕМЕ ОТБОРА В ХОККЕЕ

К ПРОБЛЕМЕ ОТБОРА В ХОККЕЕ Статья в формате PDF 262 KB...

24 03 2026 13:52:34

Компьютерный эксперимент в курсе общей физики

Компьютерный эксперимент в курсе общей физики Статья в формате PDF 115 KB...

16 03 2026 15:15:51

ТАНЦЕВАЛЬНОДВИГАТЕЛЬНАЯ ТЕРАПИЯ

ТАНЦЕВАЛЬНОДВИГАТЕЛЬНАЯ ТЕРАПИЯ В статье Жаворонковой И.А. и Некрасова А.С. «Танцевально-двигательная терапия» танец рассматривается не только как социокультурное, но и как социально-психологическое и психофизиологическое явление, как форма невер¬бальной коммуникации и самовыражения. Это приводит к возникновению нового психиатрического направления - танцевальной психотерапии, где танец используется как способ лечения. В статье анализируются основные этапы этого направления. ...

11 03 2026 14:50:29

ОСОБЕННОСТИ ПСИХОФИЗИОЛОГИИ В ВЫСШЕЙ ШКОЛЕ

ОСОБЕННОСТИ ПСИХОФИЗИОЛОГИИ В ВЫСШЕЙ ШКОЛЕ Целью данной работы был анализ психофизиологических показателей студентов очной формы обучения, разработка мер по оптимизации учебного процесса и по предотвращению развития хронического стресса. Испытуемыми были 62 студента Института декоративно-прикладного искусства (средний возраст 25±3,7 лет) и 24 студента других высших учебных заведений, занимающихся в группе Айкидо (средний возраст 20,5±2,2 лет). Психофизиологическое состояние здоровья студентов расценивается как «функциональное перенапряжение». знание психофизиологических механизмов восприятия улучшает усвоение нового лекционного непрофильного материала. занятия восточными спортивными пpaктиками способствуют нормализации исследуемых функций ...

09 03 2026 1:45:22

АЛЕКСЕЙ ТИМОФЕЕВИЧ КАЛИНИН

АЛЕКСЕЙ ТИМОФЕЕВИЧ КАЛИНИН Статья в формате PDF 209 KB...

05 03 2026 0:47:58

Еще:
Поддержать себя -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 ::