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

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

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

Опубликовано 2005-04-12 Опубликовано на SciPeople2012-04-13 14:50:12 ЖурналВестник Самарского государственного технического университета. Серия: физико-математические науки

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

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

Вестник Самарского государственного технического университета. Серия: Физико-математические науки. 2005. № 38. С. 19-25.

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