Проектирование систем важных для безопасности АЭС основано на выполнении требований нормативных документов и обеспечении качества программно-технических комплексов на протяжении всего жизненного цикла. Одной из важнейших задач в обеспечении качества программно-технических комплексов является процедура формирования требований к разрабатываемой или модифицируемой системе и последующая их верификация. Увеличение требований к качеству программного обеспечения для систем важных для безопасности АЭС на всех этапах жизненного цикла связано с возрастанием сложности и функциональности программного обеспечения и привело к необходимости разработки подходов для обоснования как безопасности самих систем, так и входящего в их состав программного обеспечения. В статье рассматривается подход, основанный на построении “функций безопасности” выполнение которых в дальнейшем верифицируется. Данный подход используется при верификации программного обеспечения для систем верхнего уровня АСУ ТП и может быть применен для анализа отказоустойчивости, информационной и кибер- безопасности программно-технических комплексов.