В статье предложен подход к моделированию и тестированию программного обеспечения контроллеров с использованием инструментальной среды ForSyDe, поддерживающей функциональное программирование. Получена функциональная модель подсистемы обработки дискретных сигналов, которая затем преобразована в VHDL-код и в цифровое устройство на базе программируемой логической интегральной схемы (ПЛИС). Предложены варианты реализации жизненного цикла системы на базе ПЛИС с использованием альтернативных версий для тестирования и многоверсионного функционирования. Ключевые слова: ПЛИС, ForSyDe, функциональное программирование, IP-ядро, soft-процессор
