Верификация ПО согласно МЭК60880

Разрабатываем ПО для программно-технических средств атомных станций (класс безопасности по ОПБ-88\97 как правило 3Н, возможен также и 4Н, и 2Н редко.
На настоящий момент в РФ имеется ли какая нормативная база, согласно которой подобное ПО должно проходить испытания, верификацию, валидацию?
Опыта мало, хотелось бы разобраться с этим вопросом. Специалисты верифицируют ПО по документу МЭК60880. Но имеет ли смысл это? Ведь это рекомендации и никто не обязывает подвергать разработанное ПО верификации согласно этому документу! Как организуется данный процесс у нас в стране? Кто имел опыт объясните пожалуйста, на основе чего, как, почему и почему именно все так должно верифицироваться, проверяться, так сказать откуда ростут корни и где "концы"?
Актуальны ли на данный момент все эти международные стандарты? Существуют ли какие новые стандарты? Что имеется в России? Нормативная и технически-регламентриующая база?
Вопрос широкий и большой. Давайте обсудим, поделимся опытом и идеями...

Буду признателен за помощь и консультирование, спасибо всем кто принимает участие в обсуждении и решении этого вопроса.