О тестировании программно-аппаратных средств для ПЛИС-ориентированных критических приложений

Abstract

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

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