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

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

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

Опубликовано 2004-01-07 Опубликовано на SciPeople2012-04-13 20:20:42 ОрганизацияСамарский государственный аэрокосмический университет имени академика С.П. Королева ЖурналВестник Самарского государственного аэрокосмического университета имени академика С.П. Королева

Технология проектирования надежных управляющих алгоритмов реального времени для космических аппаратов

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

Вестник Самарского государственного аэрокосмического университета им. академика С.П. Королёва 2004. № 1. С. 124-131 ISSN 1998-6629

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