В 2002 г. было утверждено техническое задание на разработку и внедрение программного комплекса «АСМ СЗМА» для проведения автоматизированного расчета надежности и безопасности АСУТП на стадии проектирования. Программное обеспечение создавалось на основе прототипа ПК «АСМ 2001», автором-правообладателем которого являлся профессор Можаев Александр Сергеевич.
В 2004-2005 гг. ОАО «СПИК СЗМА» совместно с СПбАЭП и ИПУ РАН (Москва) была проведена научно-исследовательская работа – «Сравнительный анализ технологий деревьев отказов и автоматизированного структурно-логического моделирования, используемых при выполнении работ по вероятностному анализу надежности и безопасности АЭС и АСУТП на стадии проектирования» (шифр «Технология 2004»).
В данной НИР был выполнен сравнительный анализ трех технологий, реализованных в программных комплексах «Risk Spectrum» (Швеция), «Relex» (США) и ПК «АСМ СЗМА». По результатам анализа участниками НИР сделано следующее общее заключение: «Считаем целесообразным, объединить усилия организаций-исполнителей данной работы и приступить к разработке на базе ОЛВМ, технологии и ПК «АСМ СЗМА» отечественных специализированных программных комплексов автоматизированного структурно-логического статического и динамического моделирования, расчета показателей и оптимизации надежности, безопасности и риска функционирования сложных систем для различных отраслей промышленности.» Отчет о научно-исследовательской работе.
- В период с 2005 по 2007 гг. программный комплекс «АСМ СЗМА» успешно прошел официальную процедуру аттестации в «Совете по аттестации программных средств» Научно-технического центра по ядерной и радиационной безопасности (НТЦ ЯРБ) Федеральной службы по экологическому, технологическому и атомному надзору (Ростехнадзор) РФ и получил название «АРБИТР» от аббревиатуры «Автоматизированный Расчет Безопасности И Технических Рисков.
Проверка правильности решений тестовых и контрольных задач, полученных с помощью комплекса АРБИТР, осуществлялась экспертами в соответствии с требованиями «Положения об аттестации программных средств, применяемых при обосновании безопасности объектов использования атомной энергии». В ходе аттестации у экспертов не было ни одного замечания по правильности решения с помощью ПК АРБИТР всех 204 задач расчетно-аналитических тестов и контрольных примеров. В Отчете о верификации представлены решения 10 расчетно-аналитических тестов и 5 контрольных примеров, включающих 204 задачи. Для удобства изложения и восприятия материалов, общее описание расчетных и аналитических тестов вынесено в отдельное Приложение I. В Приложении 2 приведено подробное описание решений пяти Контрольных примеров анализа систем безопасности и ядерной установки.
- На основании результатов экспертизы, на программное средство «Программный комплекс АРБИТР (ПК АСМ СЗМА), базовая версия 1.0» выдан Аттестационный паспорт Ростехнадзора РФ № 222 от 21 февраля 2007 г. Аннотация ПК АРБИТР
- В 2017 г. экспертный Совет по аттестации программных средств при Ростехнадзоре утвердил новую редакцию аттестационного паспорта №424.
В настоящее время ПК АРБИТР является четвертым аттестованным в РФ комплексом указанного назначения (ранее были аттестованы комплексы «Risk Spectrum» (Швеция), «РИСК», «CRISS-4.0» (РФ), реализующие только технологию деревьев отказов и деревьев событий и выполняющие только приближенные расчеты показателей). При этом АРБИТР является первым аттестованным Ростехнадзором РФ отечественным программным средством анализа надежности и безопасности систем, основанном на ОЛВМ, реализующим технологию АСМ и выполняющим точные расчеты основных показателей.