Расчёт надёжности комплекса в системе «Арбитр»

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

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

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

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

• 1) Первичное структурно-логическое моделирование системы. На этом этапе разрабатываются частные и общие структурные модели надежности программно-аппартного комплекса. Для этого используется специальный графический аппарат схем функциональной целостности (СФЦ). Задаются вероятностные параметры элементов и логические критерии работоспособности подсистем и МР в целом;
• 2)Автоматизированное моделирование и расчет системных показателей надежности. На этом этапе построение требуемых математических моделей и выполнение расчетов показателей надежности для всех 13 основных подсистем и МР в целом выполняется автоматически с помощью программного комплекса АРБИТР;
• 3)Анализ результатов, выработка и обоснование проектных решений. На этом этапе полученные с помощью комплекса АРБИТР результаты используются для содержательного анализа свойств надежности МР и обоснования их соответствия заданным требованиям.

Центральное место в автоматизированном структурно-логическом моделировании занимает построение структурных моделей надежности. Структурные модели в АСМ строятся с помощью специального аппарата СФЦ.

Для функций работы макета были проведены расчёты и получены результаты, использованные для расчета функции общей работоспособности макета. Для неё были получены следующие результаты.

Параметры СФЦ:

Число вершин — N=33. Число элементов — H=22.

Вероятностная функция содержит 30 одночленов Р=0.649 894 387 317 — вероятность реализации критерия функционирования системы в целом.

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