Опубликована электронная версия сборника публикаций, приуроченных к 25-летию аттестации программных средств, применяемых при обосновании безопасности объектов использования атомной энергии.
Опубликована электронная версия сборника публикаций, приуроченных к 25-летию аттестации программных средств, применяемых при обосновании безопасности объектов использования атомной энергии. В сборнике подведены итоги 25 лет работы экспертного Совета по аттестации программных средств при Ростехнадзоре, обсуждаются проблемы верификации программных средств. В сборник также включены очерки, посвященные становлению системы аттестации ПС.
Содержание сборника
Часть I. Итоги 25 лет работы Экспертного совета по аттестации программных средств
- Состояние и развитие системы аттестации программных средств. С.Н. Богдан, О.М. Ковалевич, А.А. Хамаза, С.А. Шевченко.
- Секция № 1 «Нейтронно-физические расчеты». С.М. Зарицкий.
- Секция № 2 «Расчеты теплопередачи и гидродинамики, связанные нейтронно-физические и теплогидравлические расчеты, моделирование нестационарных и аварийных процессов». О.Ю. Кавун, С.Н. Ложкин, С.Л. Соловьев, Р.Л. Фукс, Р.А. Шевченко, С.А. Шевченко.
- Секция № 3 «Расчеты радиационной защиты и радиационной безопасности». А.В. Никитин, А.И. Попыкин, Р.А. Шевченко.
- Секция № 4 «Расчеты напряженно-деформированного состояния и анализ прочности элементов активных зон, оборудования и трубопроводов ОИАЭ». В.С. Рубцов.
- Секция № 5 «Вероятностный анализ безопасности. Анализ надежности систем контроля и управления технологическими процессами». Г.А. Ершов, В.Б. Морозов, Г.И. Самохин, Е.А. Шиверский.
- Секция № 6 «Расчеты строительных конструкций ОИАЭ и их реакции на внешние воздействия». И.В. Калиберда, С.С. Нефедов, Т.З. Югай.
- Секция № 7 «Расчетное моделирование физико-химических процессов, влияющих на ядерную и радиационную безопасность ОИАЭ». Н.Л. Харитонова, Р.Б. Шарафутдинов, С.А. Шевченко.
Часть II. Проблемы, история и перспективы
- Совершенствование нормативных требований к программным средствам, применяемым при обосновании безопасности объектов использования атомной энергии. С.Н. Богдан, Н.А. Козлова, С.Л. Соловьев, А.А. Хамаза, С.А. Шевченко.
- О проблемах верификации CFD кодов. С.Н. Ложкин, С.А. Шевченко, Д.А. Яшников.
- Анализ результатов экспертизы безопасности в части замечаний к программным средствам, используемым при обосновании безопасности. А.В. Аверьянов, С.Н. Богдан, Н.М. Жылмаганбетов, А.И. Попыкин, Р.А. Шевченко, С.А.Шевченко.
- Аттестация программных средств – история становления и развития. Б.Г. Гордон.
- Первоначальная цель достигнута, но хотелось бы существенно большего. Интервью с О.М. Ковалевичем.