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

Содержание сборника:

ЧАСТЬ I. ИТОГИ 25 ЛЕТ РАБОТЫ ЭКСПЕРТНОГО СОВЕТА ПО АТТЕСТАЦИИ ПРОГРАММНЫХ СРЕДСТВ

Состояние и развитие системы аттестации программных средств. С.Н. Богдан, О.М. Ковалевич, А.А. Хамаза, С.А. Шевченко

Секция № 1 «Нейтронно-физические расчеты». С.М. Зарицкий

Секция № 2 «Расчеты теплопередачи и гидродинамики, связанные нейтронно-физические и теплогидравлические расчеты, моделирование нестационарных и аварийных процессов». О.Ю. Кавун, С.Н. Ложкин, С.Л. Соловьев, Р.Л. Фукс, Р.А. Шевченко, С.А. Шевченко

Секция № 3 «Расчеты радиационной защиты и радиационной безопасности». А.В. Никитин, А.И. Попыкин, Р.А. Шевченко

Секция № 4 «Расчеты напряженно-деформированного состояния и анализ прочности элементов активных зон, оборудования и трубопроводов ОИАЭ». В.С. Рубцов

Секция № 5 «Вероятностный анализ безопасности. Анализ надежности систем контроля и управления технологическими процессами». Г.А. Ершов, В.Б. Морозов, Г.И. Самохин, Е.А. Шиверский

Секция № 6 «Расчеты строительных конструкций ОИАЭ и их реакции на внешние воздействия». И.В. Калиберда, С.С. Нефедов, Т.З. Югай

Секция № 7 «Расчетное моделирование физико-химических процессов, влияющих на ядерную и радиационную безопасность ОИАЭ». Н.Л. Харитонова, Р.Б. Шарафутдинов, С.А. Шевченко

ЧАСТЬ II. ПРОБЛЕМЫ, ИСТОРИЯ И ПЕРСПЕКТИВЫ

Совершенствование нормативных требований к программным средствам, применяемым при обосновании безопасности объектов использования атомной энергии. С.Н. Богдан, Н.А. Козлова, С.Л. Соловьев, А.А. Хамаза, С.А. Шевченко

О проблемах верификации CFD кодов. С.Н. Ложкин, С.А. Шевченко, Д.А. Яшников

Анализ результатов экспертизы безопасности в части замечаний к программным средствам, используемым при обосновании безопасности. А.В. Аверьянов, С.Н. Богдан, Н.М. Жылмаганбетов, А.И. Попыкин, Р.А. Шевченко, С.А.Шевченко

Аттестация программных средств – история становления и развития. Б.Г. Гордон

Первоначальная цель достигнута, но хотелось бы существенно большего. Интервью с О.М. Ковалевичем