Отправить статью по E-mail 
Технология проектирования надежных управляющих алгоритмов реального времени для космических аппаратов
- Авторы: Тюгашев А.А.1
-
Учреждения:
- Самарский государственный аэрокосмический университет имени академика С.П. Королёва (национальный исследовательский университет)
- Выпуск: Том 3, № 1 (2004)
- Страницы: 124-131
- Раздел: КИБЕРНЕТИКА И ИНФОРМАТИКА
- URL: https://journals.ssau.ru/vestnik/article/view/179
- DOI: https://doi.org/10.18287/2541-7533-2004-0-1%20(5)-124-131
- ID: 179
Цитировать
Полный текст
Аннотация
Рассматривается проблема создания надежных алгоритмов управления реального времени, устанавливаемых на борт космического аппарата. Описывается базирующаяся на модели семантики алгоритма методология проектирования управляющих алгоритмов, обеспечивающая повышение надежности. Приводятся сведения об автоматизированной системе проектирования, поддерживающей данную технологию.
Об авторах
А. А. Тюгашев
Самарский государственный аэрокосмический университет имени академика С.П. Королёва (национальный исследовательский университет)
Автор, ответственный за переписку.
Email: sadohina@ssau.ru
Россия
Список литературы
- “Авиастроение”. Том 6 (Итоги науки и техники, ВИНИТИ АН СССР). М., 1978.
- Логика и компьютер. Моделирование рассуждений и проверка правильности программ / А. М. Анисов, П. И. Быстров, В. А. Смирнов и др. М.: Наука, 1990.
- Тюгашев А. А. Проблема неоднозначности при порождении логико-временной структуры управляющего алгоритма по многовходовой модели реального времени. // Сб. трудов Третьей международной молодежной школы-семинара БИКАМП-01, СПб, 2001.
- Управление космическими аппаратами зондирования Земли: Компьютерные технологии / Д. И. Козлов, Г. П. Аншаков, Я. А. Мостовой, А. В. Соллогуб. М.: Машиностроение, 1998.
- Калентьев А. А., Тюгашев А. А. Разработка подсистемы синтеза управляющих алгоритмов на базе исчисления УА // Всероссийская научная шклола “Компьютерная алгебра, логика и интеллектное управление. Проблемы анализа стратегической стабильности”: Сб. трудов, Иркутск, ИрВЦ СО РАН, 1994.
- Калентьев А.А. Автоматизированный синтез алгоритмов асинхронного управления технологическими системами с множеством дискретных состояний. Самара: Самар.аэрокосм.ун-т., 1998.
Дополнительные файлы
