Аттестация программного комплекса «Арбитр» (ПК АСМ СЗМА, базовая версия 1.0)

Программный комплекс «Арбитр» предназначен для:
• автоматизированного моделирования и расчета показателей надежности структурно-сложных систем, включая объекты использования атомной энергии (ОИАЭ) и другие опасные производственные объекты (ОПО);
• автоматизированного моделирования и расчета вероятностей возникновения (невозникновения) аварийных ситуаций и аварий опасных производственных объектов, включая ОИАЭ.

Теоретическая основа комплекса «Арбитр»:
Теоретической основой комплекса «Арбитр» является общий логико-вероятностный метод (ОЛВМ) анализа структурно-сложных системных объектов и процессов различных видов, классов и назначения. Метод разработан ведущим специалистом исследовательского отдела ОАО «СПИК СЗМА» д.т.н., профессором Можаевым А.С..

Уникальность данной разработки заключается в том, что, во–первых, ОЛВМ и комплекс «Арбитр» впервые реализуют все возможности основного аппарата моделирования алгебры логики в функционально полном базисе логических операций "И", "ИЛИ", "НЕ". Это позволяет автоматически строить как все прежние виды монотонных моделей, так и принципиально новый класс немонотонных моделей надежности, живучести, безопасности и риска (НЖБР) структурно-сложных системных объектов различного назначения.

Во-вторых, в ОЛВМ и комплексе «Арбитр» для вычисления вероятностных показателей НЖБР автоматически формируется точный многочлен расчетной вероятностной функции. Это впервые позволило выполнять корректные расчеты системных показателей во всем диапазоне возможных значений параметров элементов исследуемых системных объектов.

И, в-третьих, в ОЛВМ разработано и в комплексе «Арбитр» впервые используется новое универсальное графическое средство структурного описания свойств НЖБР исследуемых систем – схемы функциональной целостности (СФЦ). С помощью аппарата СФЦ могут представляться как все типовые монотонные структурные модели (блок-схемы, графы связности, деревья отказов, деревья событий), так и новый класс немонотонных структурных моделей надежности и безопасности сложных системных объектов и процессов. В этом заключаются основные, принципиальные отличия комплекса «Арбитр» от четырех ранее аттестованных программных средств аналогичного назначения (две версии "Risk Spectrum" (Швеция), "РИСК", "CRISS 4.0" (РФ)), в которых реализованы только технология "деревьев отказов" и приближенные методы расчета вероятностных характеристик (без построения точного вероятностного многочлена).

Процедура аттестации комплекса «Арбитр»:
Аттестация «Арбитр» проводилась в течение года. В работе по аттестации приняли участие эксперты из ведущих организаций: СПбАЭП, ВНИИАЭС, АЭП, НТЦ ЯРБ и ОКБМ им.Африкантова И.И. В ходе аттестации экспертам были представлены, выполненные с помощью комплекса «Арбитр», 10 расчетно-аналитических тестов, включающих 184 различные задачи. В ходе аттестации заявителю было выдано задание на решение пяти контрольных примеров "Моделирования и анализа систем безопасности и ядерной установки при выполнении вероятностного анализа безопасности. Контроль правильности решений, полученных с помощью «Арбитр», осуществлялся экспертами в соответствии с требованиями Положения об аттестации программных средств (РД-03-17-2001) путем сопоставления результатов, полученных с помощью комплекса «Арбитр»:
 с аналитическими решениями задач;
 с решениями, приведенными в литературных источниках;
 с решениями, полученными с помощью ранее аттестованных программных средств "Risk Spectrum" и "CRISS 4.0";
 с решениями, полученными с помощью программного комплекса "Saphire-7", имеющего лицензию Комиссии ядерного регулирования США;
 с решениями, полученными с помощью программного комплекса "RELEX" (США), который широко используется во многих странах мира.

В ходе аттестации у всех пяти экспертов не было ни одного замечания по правильности решений с помощью «Арбитр» всех 204 задач расчетно-аналитических Тестов и выданных Контрольных примеров.

Опыт практического использования комплекса «Арбитр»
В настоящее время эксплуатация программного комплекса «Арбитр» осуществляется рядом организаций, в том числе:
 ОАО "СПИК СЗМА", Санкт-Петербург, разработчик комплекса «АРБИТР», выполнены проектные расчеты надежности АСУТП опасных производственных объектов: ООО "Киришинефтеоргсинтез", 6 проектов; ООО НПО "МИР", 1 проект; ООО "Мозырский НПЗ", Республика Беларусь, 4 проекта; ОАО "Казаньоргсинтез", Республика Татарстан, 2 проекта.
 "Межотраслевой экспертно-сертификационный, научно-технический и контрольный центр ядерной и радиационной безопасности" (РЭСцентр), Санкт-Петербург, выполнено 13 проектов по расчету показателей надежности, остаточного ресурса и рисков объектов использования атомной энергии ФГУП "ПО Северное машиностроительное предприятие", г. Северодвинск.
 ЗАО "Компания СЗМА", Санкт-Петербург, выполнен расчет надежности Автоматизированной информационно-измерительной системы коммерческого учета электрической энергии (АИС КУЭ) ФГУП "Петербургский метрополитен".
 ОАО "Гипровостокнефть", г. Самара и др.