РБ 016-22 Рекомендуемые тестовые задачи для верификации программ для электронных вычислительных машин, используемых при проведении вероятностного анализа безопасности объектов использования атомной энергии
Название:
Рекомендуемые тестовые задачи для верификации программ для электронных вычислительных машин, используемых при проведении вероятностного анализа безопасности объектов использования атомной энергии
Настоящее Руководство по безопасности содержит рекомендации Федеральной службы по экологическому, технологическому и атомному надзору по проведению и представлению результатов верификации программ для ЭВМ, используемых при выполнении вероятностного анализа безопасности, проведении расчетов вероятностных показателей безопасности, надежности и живучести объектов использования атомной энергии и их систем.
Настоящее Руководство по безопасности предназначено для применения организациями, занимающимися разработкой, верификацией и использованием программ для ЭВМ, предназначенных для проведения расчетов вероятностных показателей безопасности, показателей надежности и живучести при проектировании, сооружении, эксплуатации объектов использования атомной энергии, разработке мероприятий по обеспечению безопасности объектов использования атомной энергии, а также организацией научно-технической поддержки Ростехнадзора, осуществляющей экспертизу программ ЭВМ, применяемых для выполнения вероятностного анализа безопасности и расчета показателей надежности и живучести объектов использования атомной энергии (систем объектов использования атомной энергии) и видов деятельности в области использования атомной энергии.
Содержание:
I. Общие положения
II. Рекомендации по верификации программ для электронных вычислительных машин, предназначенных для проведения расчетов в обоснование вероятностного анализа безопасности объектов использования атомной энергии
III. Рекомендации по составлению аттестационных паспортов программы для электронных вычислительных машин, предназначенных для проведения расчетов в обоснование вероятностного анализа безопасности объектов использования атомной энергии
ПРИЛОЖЕНИЕ N 1 Перечень сокращений и условных обозначений
ПРИЛОЖЕНИЕ N 2 Рекомендуемая структура матрицы верификации программы для электронных вычислительных машин, используемой при выполнении вероятностного анализа безопасности объектов использования атомной энергии, для расчета показателей безопасности, надежности и живучести систем объектов использования атомной энергии
ПРИЛОЖЕНИЕ N 3 Тестовые задачи, рекомендуемые к использованию при проведении верификации программы для электронных вычислительных машин, предназначенной для проведения расчетов в обоснование вероятностного анализа безопасности объектов использования атомной энергии
Задача 1 "Последовательное соединение элементов"
Задача 2 "Параллельное соединение элементов"
Задача 3 "Мажоритарная схема"
Задача 4 "Мостиковая схема"
Задача 5 "Модели с операторами отрицания"
Задача 6 "Модели с логическими ключами"
Задача 7 "Расчет вероятности возникновения аварии при перевозке опасных грузов на внутриплощадочных железнодорожных путях"
Задача 8 "Расчет вероятности возникновения аварии при проливании нефти и нефтепродуктов на площадке АЭС"
Задача 9 "Анализ неопределенности"
Задача 10 "Анализ надежности при ограничениях на восстановление"
Задача 11 "Расчет надежности фрагмента ядерной энергетической установки"
Задача 12 "Анализ влияния на безопасность АЭС аварии по внешним причинам на примере аварии на автоматизированной заправочной станции"
Задача 13 "Расчет надежности электроэнергетической системы"
Задача 14 "Анализ надежности системы безопасности АЭС"
Задача 15 "Расчет надежности типовой системы безопасности"
Задача 16 "Оценка живучести электроэнергетической системы"
Задача 17 "Расчет надежности систем при задании сложных логических критериев функционирования"
Задача 18 "Анализ надежности системы планового и аварийного расхолаживания АЭС"
Задача 19 "Расчет вероятности тяжелой аварии для исходного события " потеря двух каналов технической воды группы "А"
