Предлагаются элементы методики тестирования компонентов Quartus и Nios фирмы Altera, используемых для разработки ПЛИС проектов критического применения, а также статического анализа программного кода, реализующего логику технологического процесса на ядре Nios. Анализируются результаты тестирования компонентов, используемых при создании ПТК ИУС АЭС.