(1) Компютърните програми и математическите модели на ЯЦ, използвани при анализа на безопасността, се верифицират и валидират за съответното приложение и се оценява погрешността на пресмятаните параметри. Данните за верификацията и валидацията се документират като част от оценката на безопасността.
(2) Компютърните програми и математическите модели се използват само в областите на приложение, за които са валидирани.
(3) Входните данни и математическите модели, с които се извършва анализът на безопасността, трябва да са специфични за енергийния блок и да отразяват реалната конфигурация на КСК. Те се поддържат в актуално състояние в процеса на проектиране и по време на експлоатационния срок на ЯЦ. При актуализацията на данните, моделите и пресмятанията трябва да се отчитат получените нови данни, измененията в проекта и в експлоатационните процедури и усъвършенстваните методи и средства за анализ.
(4) Детерминистичният и вероятностният анализ на безопасността се извършват от експерти, които са преминали подходящо обучение за работа със съответните програмни продукти и които притежават необходимите аналитични умения, знания и опит.