СПОСОБ РАЗРАБОТКИ РЕАЛИЗАЦИЙ ЛОГИКО-ВРЕМЕННЫХ ЗАКОНОВ ДЛЯ СИСТЕМ УПРАВЛЕНИЯ С ЦИФРОВЫМ ПРОГРАММНЫМ УПРАВЛЕНИЕМ

Способ разработки реализаций логико-временных законов для систем управления с цифровым программным управлением, состоящий в выполнении с помощью автоматизированного рабочего места следующих операций ввод логико-временных законов управления в текстовом виде, синтаксис и грамматика которого основаны на динамической информационной модели СУ, сохранение и последующее редактирование введенных законов логико-временного управления, автоматизированное преобразование текстовых логико-временных законов управления в последовательности операторов машинного языка и описания данных для последующего размещения их в оперативной памяти, структурированных особым образом, отражающим пространство состояний модели динамической системы и правила движения системы по пространству состояний, компиляцию текстов на машинном языке в исполняемый код для целевой платформы СУ, объединение полученных после компиляции модулей с системным ядром, содержащим виртуальную машину, обеспечивающую движение динамической системы в пространстве информационных состояний, сохранение результатов компиляции и загрузку исполняемых файлов, реализующих вычислительный процесс с выполнением логико-временных законов управления, в аппаратуру СУ.