Определяет условия и процедуры, которым необходимо следовать для валидации путем анализа и тестирования предусмотренных функций безопасности и категорий, достигаемых связанными с безопасностью частями систем управления, с использованием обоснования проекта, предоставленного разработчиком.