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

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

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

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


ПЕРЕСЕЛЕНЧЕСКИЙ КАПИТАЛИЗМ В США

ПЕРЕСЕЛЕНЧЕСКИЙ КАПИТАЛИЗМ В США Статья в формате PDF 320 KB...

25 04 2024 11:30:42

ПАРАЛЛЕЛЬНЫЙ АЛГОРИТМ (2,1)-МЕТОДА ПЕРЕМЕННОГО ШАГА

ПАРАЛЛЕЛЬНЫЙ АЛГОРИТМ (2,1)-МЕТОДА ПЕРЕМЕННОГО ШАГА Статья в формате PDF 505 KB...

20 04 2024 18:11:13

ЧЕСТЬ КАК КАТЕГОРИЯ ПРАВА, ФУНДАМЕНТАЛЬНАЯ ОСНОВА ЕГО СОБЛЮДЕНИЯ

ЧЕСТЬ КАК КАТЕГОРИЯ ПРАВА, ФУНДАМЕНТАЛЬНАЯ ОСНОВА ЕГО СОБЛЮДЕНИЯ Представленная статья посвящена исследованию понятия честь в качестве фундаментальной категории права. В работе отмечено, что основой для соблюдения права, уважения к закону является честь. Данное понятие включает в себя такие качества, как целомудрие и благородство. Основным же назначением государства является защита чести своих граждан. Эта высокая миссия тесно связана с единственной целью государственности как формы человеческого бытия – с содействием духовному возрастанию человека. ...

11 04 2024 20:28:52

ИДЕНТИФИКАЦИЯ АТОМОВ ПРИМЕСИ НА ОСНОВЕ КРИСТАЛЛОФИЗИЧЕСКИХ СВОЙСТВ МИНЕРАЛА

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

03 04 2024 1:31:24

КОЛИЧЕСТВЕННЫЕ И КАЧЕСТВЕННЫЕ ИЗМЕНЕНИЯ ЭРИТРОЦИТОВ В КРОВИ СТУДЕНТОВ ПРИ ДЕЙСТВИИ СТРЕССОВЫХ ФАКТОРОВ

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

28 03 2024 0:55:54

БИОМЕТАЛЛЫ И КАНЦЕРОГЕНЕЗ

БИОМЕТАЛЛЫ И КАНЦЕРОГЕНЕЗ Статья в формате PDF 90 KB...

26 03 2024 19:27:36

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

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

24 03 2024 0:13:31

ВАЛЮТНЫЕ ОПЕРАЦИИ И ВАЛЮТНОЕ РЕГУЛИРОВАНИЕ В РФ

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

22 03 2024 22:54:26

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

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

21 03 2024 21:57:45

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