Отечественные инновационные технологии оценки надежности и безопасности сложных систем
В Совете по аттестации программных средств при Ростехнадзоре РФ в Научно-техническом центре ядерной и радиационной безопасности начата процедура аттестации „Программного комплекса автоматизированного структурно-логического моделирования и расчета надежности и безопасности систем” (ПК АСМ СЗМА, базовая версия 1.0). Верификация ПК АСМ СЗМА проводится экспертами „Центра по организации экспертизы программных средств” при РНЦ „Курчатовский институт”. В настоящее время процедура аттестации программных комплексов в России считается наиболее перспективным способом проверки их качества и соответствия заявленным функциональным возможностям.
Впервые промышленная версия ПК АСМ СЗМА была разработана в ОАО „СПИК СЗМА” в 2002 г. для выполнения проектной оценки надежности и безопасности разрабатываемых структурно-сложных и высокоразмерных АСУТП предприятий нефтехимической промышленности. Теоретической и методологической платформой ПК АСМ СЗМА является общий логико-вероятностный метод (ОЛВМ) системного анализа, в котором используется новый логически универсальный графический аппарат описания структур свойств надежности и безопасности исследуемых систем – схемы функциональной целостности (СФЦ). На основе ОЛВМ и аппарата СФЦ созданы теория и новая информационная технология автоматизированного структурно-логического моделирования.
К настоящему времени накоплен серьезный опыт эксплуатации комплексов, реализующих технологию АСМ различными организациями. Комплекс используется при подготовке расчетно-пояснительных записок к декларациям промышленной безопасности и анализе ряда объектов использования атомной энергии.
Выполненная в 2004-2005 гг. ОАО „СПИК СЗМА”, ФГУП „СПбАЭП” и ИПУ РАН научно-исследовательская работа „Технология 2004” по сравнительному анализу программных комплексов расчета надежности и безопасности систем: ПК АСМ (РФ), ПК „Risk Spectrum” (Швеция) и ПК „RELEX” (США) – показала корректность и непротиворечивость результатов, получаемых с помощью ПК АСМ СЗМА. Исполнители этой НИР пришли к единому заключению о перспективности продолжения совместных работ по созданию отечественных программных комплексов различного назначения на базе теории, технологии и ПК АСМ СЗМА.