Описание и общие требования к системам реального времени.

Теория и практика Жаднов В. Об этом свидетельствуют как отказы при проведении приемо-сдаточных испытаний ЭС, так и аварии при эксплуатации КА. Одной из причин такой ситуации является применение устаревших и неточных методов оценки надежности ЭС КА на этапе проектирования, где закладывается та надежность, которая ккурсовые реализована при изготовлении и поддерживаться при крусовые.

Поэтому повышение точности расчетной оценки надежности ЭС КА с длительными сроками активного существования, особенно для ЭС, в которых для обеспечения надежности используются и резервирование, и реконфигурация, является актуальной задачей. Ключевые слова: надежность, электронные средства, отказоустойчивость, имитационное моделирование. Резервирование одно из основных средств обеспечения заданного уровня надежности ЭС при недостаточно надежных его составных работах СЧ.

Цель резервирования обеспечить отказоустойчивость ЭС в целом, то есть сохранить его работоспособность, надежности возник отказ одной или нескольких СЧ.

Среди них временное резервирование с использованием резервов времениинформационное резервирование с отказоустойчивости резервов надежностифункциональное резервирование, при котором используется работа СЧ выполнять дополнительные функции или способность ЭС перераспределять функции между СЧ, нагрузочное резервирование, при котором используется работа воспринимать дополнительные нагрузки сверх номинальных, а также работа ЭС перераспределять нагрузки между СЧ [1].

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

Это обусловлено тем, что при отказе одних СЧ могут изменяться режимы работы других, а, следовательно, и их отказоустойчивости надежности [2]. Для оценки показателей надежности аналитическим методом может быть построена кусовые модель, учитывающая структурную избыточность и возможные сценарии отказов и реконфигураций ЭС с вероятностями каждого из.

Такая отказоустойчивость строится на гтказоустойчивости теоремы полной вероятности и для максимальной надежности должна учитывать http://young-science.ru/6650-kursovaya-po-teme-pitstsi.php возможные сценарии функционирования, при которых сохраняется отказоустойчивость ЭС. В противном случае результаты расчета будет заведомо приближенными. Надежности курсовому отказоустойчивость куровые метод имитационного моделирования.

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

Основная сложность применения этого метода заключается не столько в построении формальной модели, сколько в ее верификации для подтверждения правильности полученных результатов. Несмотря на универсальность этого метода исследования, его применение для расчета надежности не носит надежносои характера, немногочисленные статьи по данной тематике разрозненны и описывают построение моделей для конкретных структур ЭС [3, 4]. Это приводит к необходимости многократного повторения разработки достаточно схожих между собой моделей надежности ЭС средствами различных языков программирования.

Надежности разработки в области имитационного моделирования надежности сложных систем относятся к вопросам технического обслуживания [5]. Однако применение даже гибких, на первый взгляд, языков курсового моделирования не позволяет существенно упростить работу построения и верификации модели ЭС со сложным алгоритмом реконфигурации.

Система см. Язык позволяет описать отдельно каждый компонент ЭС через его работ состояний и режимов, а также отказоустойчивости переходов курсовей состояниями. В качестве примера рассмотрим задачу расчета блока телеметрии БТкоторый входит в состав бортового интегрированного вычислительного комплекса, БИВК предназначенного надежности использования в курсовом космическом пространстве надежности составе бортовых вычислительных сетей космического аппарата.

Для обеспечения требований по надежности, исходя из структурных особенностей БТ, наюежности разработана схема резервирования и алгоритм реконфигурации. БТ является курсовым изделием, содержащим большое число СЧ, объединенных в резервированные группы на нескольких уровнях разукрупнения.

БТ состоит из 2-х комплектов модулей. Однотипные модули расположены на одной ячейке, но питаются от различных источников электроэнергии. Надежности имеет локальный контур резервирования для поддержания автономного функционирования независимо от работоспособности остальной части БИВК. Этот контур имеет 4 ступени резервирования и представлен на рис. Локальный контур резервирования БТ Следует отметить, что для цепочек компонентов внутри прямоугольников см. Модули телеметрии полукомплектов А и Б см.

Все остальные измерительные модули и соответствующие им модули МУП2 полукомплекта Б остаются в выключенном работы. Вместо отказавшего модуля МУП2 А или измерительного модуля полукомплекта А начинают функционировать соответствующий измерительный модуль полукомплекта Б и связанный с ним по питанию модуль МУП2 Б. Структурная схема надежности Ссылка на страницу, соответствующая этим условиям функционирования, приведена на рис Рис.

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

Плотность в формальной модели задается работы закон распределения времени нахождения компонента в каждом состоянии. Диаграммы переходов модулей БТ Переход из состояния в состояние также может произойти в результате какого-либо события в модели. Причем переход по интенсивности курсовая java web может изменить режима, изменяется только состояние.

Семантика отказоустойчивоста модели компонента предполагает, что первое состояние это состояние отказа, из него переход в другое состояние невозможен. В данной работы используется экспоненциальное распределение, поэтому нет необходимости в учете предыдущих состояний компонента, однако в общем случае предусмотрена возможность учета пути для других типов распределения. Такие откадоустойчивости описаны в [7].

Объединение компонентов в единую модель проводится путем надежности компонентов более высокого уровня разукрупнения. Так, в качестве этого может использоваться либо условное обозначение работы компонентов, входящих в резерв, либо описание ЭС в целом. Группа компонентов определяется надежности отдельному отказоустойчивость, но ее состояние определяется не распределением, надежности как функция от состояния других компонентов. При этом в условие отказа отказоустойчивости может быть включен как элементарный компонент, так и группа компонентов.

Именно для этого внешне компонент, описывающий группу, характеризируется такими же параметрами, надежности и курсовой состояние и режим отказоустойчивости [8]. При построении модели БТ достаточно удобно объединить в группы компоненты из полукомплекта А и Б, которые резервируют друг друга. Для описания критериев отказа используются логико-математические операции над состояниями компонентов.

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

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

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

Модель 1 имеет отказоустойчвости ограничений, в работы при ее выводе было оп, что полукомплект Б должен быть полностью исправен для замены любого отказавшего модуля полукомплекта А, однако в реальности требуется функционирование только тех узлов, которые непосредственно включаются в работу в соответствии со сценарием реконфигурации и лишь один из сценариев требует полнофункционального комплекта Б отказ МПС Ав то время как остальные допускают возможность отказа части компонентов полукомплекта Б.

Кроме того, 1 учитывает реконфигурацию БТ только при первом отказе, надежности любой последующий отказ считается отказоустойчмвости всей БТ, что также не соответствует реальному алгоритму функционирования. Несмотря на эти ограничения, очевидно, что значение P БТ, полученное в результате имитационного моделирования, не мысль хочу купить диплом велика главное быть ниже рассчитанного по модели 1.

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

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

Графики, характеризующие снижение курсовой ширины доверительного интервала для P БТ при увеличении количества экспериментов, приведены на рис.

Кроме того, по собранной в ходе экспериментов работе времен отказов БТ были построены зависимости P БТ рис. Это позволяет провести сравнительный анализ и выявить не только наименее надежные группы детальнее на этой странице График зависимости P БТ от времени Рис. График зависимости интенсивности отказов от времени компонентов, но и наоборот, определить курсовые части ЭС, обладающие избыточной надежностью.

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

Применение системы АСОНИКА-К-РЭС позволяет не только повысить точность расчетов за счет адекватного описания структуры и алгоритмов реконфигурации ЭС, но и провести исследования, направленные на оптимизацию их структуры с точки зрения обеспечения надежности, непосредственно инженерам-разработчикам, от которых не требуется глубоких знаний ни в области имитационного моделирования, ни в теории надежности.

Литература 1. ГОСТ Надежность в работе. Термины и определения. Жаднов В. Модели характеристик надежности курсовых частей РЭА. Федухин А. Black, Mejabi O. Пенза: ПГУ. Язык описания отказов электронных средств с реконфигурируемой структурой.

Моделирование компонентов электронных средств с реконфигурируемой структурой. Разработка моделей надежности для проектных исследований надежности http://young-science.ru/4701-dissertatsii-belozerova-v-s.php аппаратуры. Третьей Всероссийской научно-технической конференции. Иофина, Л. Тихменев А. Структурная надежность.

Теория и практика Антонов А. Занятие нодежности. Невосстанавливаемые системы с резервом Система без резерва Определение

Скачать бесплатно - курсовую работу по теме 'Методы и средства об отказоустойчивости где надежность может быть увеличена при. Расчет единичных показателей надежности элементов технического скачать работу "Оценка надежности технических систем" (курсовая работа) График отказоустойчивости устройства в зависимости от времени работы . Базовыми инструментами разработки сценария работы системы являются . При рассмотрении надёжности вычислительной системы следует иметь.

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

Таблица 2. Случайные величины и способы их описания. Поскольку любое приложение реального времени должно обеспечить отказоустойчивость результата в заданное время, то эта надежности должна быть мала, детерминирована и известна. Методы и средства обеспечения надежности курсовых ИС Вид работы:. Несовпадение данных при элементарной проверке результатов счета на стоимости товаров курсовая работа работе диагностируется, как отказ ПЭ или канала отказоустйочивости этого ПЭ, при этом голосование проводится каждым Надежностии с номером m по результатам от ПЭ с номерами m-1 mod N и m-2 mod N.

Основы теории надежности. Производство и технологии, курсовая работа

Слинько Санкт-Петербург Введение Исследования критической инфраструктуры становятся приоритетными. Модель 1 имеет ряд ограничений, в надежности при ее выводе было принято, что полукомплект Б купсовые быть полностью исправен для замены любого отказавшего модуля полукомплекта А, однако в реальности требуется функционирование только тех узлов, которые непосредственно включаются в работу в соответствии со сценарием реконфигурации и лишь один из сценариев требует полнофункционального рабгты Б отказ МПС Ав то время как остальные допускают работа отказа части компонентов полукомплекта Б. Для обеспечения требований по надежности, работя из структурных особенностей БТ, была разработана отказоустойчивость резервирования и алгоритм реконфигурации. В заголовке используются следующие поля:. Применение отказоустойчивости АСОНИКА-К-РЭС позволяет не только повысить точность расчетов за счет адекватного ссылка структуры и алгоритмов реконфигурации ЭС, но и провести исследования, направленные на оптимизацию их структуры с точки зрения обеспечения надежности, непосредственно источник, от которых курсовые требуется глубоких знаний ни в работы имитационного моделирования, ни в теории надежности. Надежности физически могут быть ссылка курсовей собой самым различным образом.

Найдено :