ДЕЛЬТА-СИ

                АРБИТР

                                       

Программный комплекс автоматизированного структурно-логического моделирования и расчета надежности и безопасности систем АРБИТР (ПК АСМ СЗМА), базовая версия 1.0

Информационный буклет "ПК АРБИТР"Аттестационный паспорт Ростехнадзора

*Паспорт в стадии продления
Сертификат качества ИАП БЖКССвидетельство РоспатентаАннотация программного продукта

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

Проектный расчет надежности (ПРН), оценка надежности и безопасности АСУТП предусмотрена требованиями государственных и международных стандартов и нормативных документов. Готовность организаций и предприятий, разрабатывающих и эксплуатирующих различные организационные и технические системы объектов современной промышленности, выполнять анализ их надежности и безопасности является обязательным условием государственной и международной сертификации. Главная цель такого анализа - своевременное получение достоверной информации о свойствах надежности и безопасности систем, необходимой для выработки, обоснования и реализации эффективных проектных и эксплуатационных решений.

Для проведения этих работ в АО "СПИК СЗМА" создано программное средство – "Программный комплекс АРБИТР (ПК АСМ СЗМА), базовая версия 1.0", основанное на общем логико-вероятностном методе (ОЛВМ) системного анализа и реализующее новую информационную технологию автоматизированного структурно-логического моделирования (АСМ) и высокоразмерных систем. АРБИТР предназначен для:
• автоматизированного моделирования и расчета показателей надежности структурно-сложных систем, включая объекты использования атомной энергии (ОИАЭ) и другие опасные производственные объекты (ОПО);
• автоматизированного моделирования и расчета вероятностей возникновения (невозникновения) аварийных ситуаций и аварий ОПО, включая ОИАЭ.

В настоящее время комплекс АРБИТР позволяет автоматически строить математические модели и рассчитывать показатели свойств надежности, стойкости, живучести, устойчивости, технического риска, ожидаемого ущерба и эффективности функционирования структурно-сложных систем различных видов, классов и назначения. В АРБИТР используется новое логически универсальное графическое средство структурного описания исследуемых свойств систем – схема функциональной целостности (СФЦ). Логическая полнота аппарата СФЦ обеспечена использованием впервые реализованного полного набора операций "И", "ИЛИ" и "НЕ". Это позволило применять в АРБИТР как все существующие монотонные технологии моделирования надежности и безопасности систем (блок-схемы, графы связности, деревья отказов и деревья событий), так и новую технологию автоматизированного построения немонотонных моделей сложных системных объектов и процессов.



По вопросам применения комплекса АРБИТР Вы можете обратиться: irina_mozhaeva@szma.com
По всем коммерческим вопросам обращайтесь по адресу: arbitr@szma.com




Основные функции комплекса АРБИТР

В настоящее время комплекс АРБИТР реализует следующие функции, прошедшие процедуру аттестации:

представление в исходной СФЦ (в суперграфе СФЦ) до 400 элементов (вершин) и до 100 элементов в каждой декомпозированной вершине (подграфах СФЦ) основного графа исследуемой системы (т.е. возможность ввода до 40 000 вершин);
автоматическое построение логических функций, представляющих кратчайшие пути успешного функционирования (КПУФ), минимальные сечения отказов (МСО) или их немонотонные комбинации (явные детерминированные модели исследуемых свойств системы);
автоматическое построение вероятностных функций, обеспечивающих точный расчет показателей устойчивости, эффективности и риска исследуемых систем;
расчет вероятности реализации заданных критериев, представляющих свойства устойчивости (надежности, стойкости, живучести) и безопасности (технического риска, вероятностей возникновения аварийных ситуаций и аварий) систем;
расчет вероятности безотказной работы или отказа и средней наработки до отказа невосстанавливаемых систем;
расчет коэффициента готовности, средней наработки на отказ, среднего времени восстановления и вероятности безотказной работы восстанавливаемых систем;
расчет вероятности готовности смешанных систем, состоящих из восстанавливаемых и невосстанавливаемых элементов;
расчет значимостей, положительных и отрицательных вкладов всех элементов исследуемой системы в вероятность реализации исследуемого свойства, используемые для выработки и обоснования управленческих решений по обеспечению устойчивости, живучести, безопасности эффективности и риска функционирования;
вспомогательный режим приближенных расчетов, которые выполняются по двум методикам: для независимых отказов элементов (аналог методики, используемой в комплексах "Risk Spectrum" (Швеция) и "Saphire-7" (США)), и с учетом трех типов отказов элементов – "отказ на требование", "отказ в режиме работы" и "скрытый отказ в режиме ожидания" (методы разработаны специалистами ФГУП ОКБМ им И.И.Африкантова и впервые реализованы в аттестованном комплексе "CRISS 4.0");
расчет вероятности реализации отдельных КПУФ или МСО системы;
расчет значимости и суммарной значимости сечений отказов по Fussell-Vesely;
расчет значимости, уменьшения и увеличения риска элементов по Fussell-Vesely;
приближенный расчет вероятностных характеристик системы с учетом трех типов отказов элементов: отказ на требование, отказ в режиме работы и скрытый отказ в режиме ожидания (по методике, реализованной в ПК CRISS 4.0);
структурный и автоматический учет отказов групп элементов по общей причине (модели альфа-фактора, бета-фактора и множественных греческих букв);
учет различных видов зависимостей и множественных состояний элементов, представляемых c помощью групп несовместных событий;
учет двухуровневой декомпозиции структурной схемы, дизъюнктивных и конъюнктивных кратностей сложных элементов (подсистем);
учет неограниченного числа циклических (мостиковых) связей между элементами и подсистемами;
учет различных комбинаторных отношений (К из N) между группами элементов.

После завершения процедуры аттестации комплекса АРБИТР в АО "СПИК СЗМА" развернуты работы по его дальнейшему совершенствованию и внедрению ряда новых функциональных возможностей:
- детерминированного моделирования и определения системных последствий поражения любых групп элементов (детерминированная стойкость, условная живучесть системы); - автоматического построения статистических моделей и оценки показателей устойчивости, эффективности и риска функционирования сложных систем большой размерности и высокой структурной сложности; - оптимизации проектных решений разрабатываемых АСУ ТП опасных производственных объектов по критериям "надежность – стоимость"; - расчет вероятностных характеристик устойчивости, эффективности и ожидаемого ущерба при задании любых начальных состояний системы; - адаптация АРБИТР к выполнению работ по проектированию АСУ ТП; - адаптация АРБИТР к подготовке расчетно-пояснительных записок деклараций промышленной безопасности и планов локализации и ликвидации аварий ОПО; - учет различных законов распределения времени безотказной работы элементов и др.


Интерфейс пользователя ПК АРБИТР


(нажмите для увеличения)
Рис.1. Интерфейс пользователя ПК АРБИТР


Основное окно ПК АРБИТР состоит из следующих частей.

1. Строка заголовка (1). При включении Комплекса в этой панели высвечивается надпись "ПК АРБИТР базовая версия 1.0". После построения и сохранения, или вызова СФЦ надпись в панели заголовка меняется и составляет "{наименование схемы}.sfc ПК АРБИТР базовая версия 1.0". В правом углу панели заголовка расположены три стандартные кнопки управления, позволяющие сворачивать, разворачивать или закрывать Основное окно.

2. Cтрока главного меню (2). Главное меню Комплекса включает в себя следующие три пункта:
• "Файл" – работа с файлами проектов;
• "Утилиты" – вспомогательные утилиты расчета параметров элементов;
• "Помощь" – вызов справочной информации о ПК АРБИТР.

3. Две панели быстрого доступа (3):
• панели, дублирующей пункты главного меню (2) ;
• панели инструментов, использующихся для управления процессом ввода и корректировки графа СФЦ исследуемой системы.

4. Четырех дочерних окон, разделенных скользящими полосками (5), позволяющими изменять их размеры:
• Окно ввода схемы функциональной целостности исследуемой системы (4);
• Окно параметров моделирования и расчетов (6);
• Таблицы критериев функционирования (7)
• Таблицы параметров элементов (8)
• Окно вывода результатов моделирования и расчетов (9).

5. Строки статуса (10)












Прайс листы:

Для образовательных учреждений

Для коммерческого использования

Последние публикации:

П.С. Порецкий – первооткрыватель логико-вероятностного анализа

«Применение ПК АРБИТР для решения задач автоматизированного анализа надежности систем судовых атомных энергетических установок»

«Сценарное логико-вероятностное моделирование опасной ситуации с использованием ПК АРБИТР»

© СПИК СЗМА 1998-2017. Все права защищены.