Андрей Тюгашев » Публикация

Информационные Технологии
— Системы реального времени

Поделиться публикацией:

Опубликовано 2007-07-11 Опубликовано на SciPeople2012-04-13 16:52:44 ОрганизацияСамарский государственный аэрокосмический университет имени академика С.П. Королева ЖурналЕжемесячный научно-технический и производственный журнал "Мехатроника, автоматизация, управление"

Автоматизация спецификации, верификации и синтеза управляющих программ реального времени с применением логического и алгебраического подходов

А.А. Тюгашев / Андрей Тюгашев

Мехатроника, автоматизация, управление. 2007. № 7. С. 46-51.

Аннотация Рассматривается комплекс проблем спецификации, верификации и синтеза управляющих программ реального времени, исполняемых на борту космического аппарата. Анализируются подходы к решению этих задач на основе временной логики и применения расширенной алгебры управляющих процессов. Описывается структура основанного на приведенном подходе инструментального программного комплекса разработки управляющих программ для космических аппаратов.