Андрей Тюгашев » Публикация
Поделиться публикацией:
Опубликовано
2007-01-07
Опубликовано на SciPeople2012-04-13 14:40:09
ОрганизацияСамарский государственный аэрокосмический университет имени академика С.П. Королева
ЖурналВестник Самарского государственного аэрокосмического университета имени академика С.П. Королева
Автоматизированная спецификация, верификация и синтез управляющих программ на основе логического и алгебраического подходов
Вестник Самарского государственного аэрокосмического университета им. академика С.П. Королёва (национального исследовательского университета). 2007. № 1. С. 247-252.
Аннотация
Рассматривается комплекс проблем спецификации, верификации и синтеза управляющих программ реального времени, исполняемых на борту космического аппарата. Анализируются подходы к решению этих задач на основе временной логики и применения расширенной алгебры управляющих процессов. Описывается структура основанного на приведенном подходе инструментального программного комплекса разработки управляющих программ для космических аппаратов
Показать статистику Комментарии
Вам необходимо зайти или зарегистрироваться для комментирования
Этот комментарий был удален
Этот комментарий был удален
Этот комментарий был удален
