Итерационное моделирование блоков логического управления навигационных спутников

Abstract

В статье предлагается интегрированная совокупность средств итерационного моделирования блоков логического управления навигационных спутников на алгоритмическом и логическом уровнях их проектирования. Блок логического управления является сложной системой, поведение которой на уровне технического задания (ТЗ) описывается в виде блок-схем алгоритмов (примерно 500) и логических функций (около 5000). При этом общее количество переменных превышает 20 000. Для создания программной модели блока управления предложен метод композиционного конструирования в среде DELPHI, а для имитации поведения блока управления – метод итерационного моделирования.