Автоматизация верификации решения задач в области цифровой обработки сигналов

Abstract

В статье рассматривается подход к автоматизации верификации задач в области цифровой обработки сигналов с использованием предметно-ориентированного языка системы WiseTasksDSP, которая разрабатывается авторами статьи. Демонстрируется пример, связанный с нахождением верхней граничной частоты спектра дискретного сигнала и проверки частоты дискретизации на ее допустимость для точного (без потерь информации) восстановления непрерывного сигнала из дискретного. Кроме того, упоминаются другие задачи, в которых применение системы WiseTasksDSP может оказаться эффективным.