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