Отправить статью по E-mail 
Автоматизированная спецификация, верификация и синтез управляющих программ на основе логического и алгебраического подходов
- Авторы: Тюгашев А.А.1
-
Учреждения:
- Самарский государственный аэрокосмический университет имени академика С.П. Королёва (национальный исследовательский университет)
- Выпуск: Том 6, № 1 (2007)
- Страницы: 247-252
- Раздел: КИБЕРНЕТИКА И ИНФОРМАТИКА
- URL: https://journals.ssau.ru/vestnik/article/view/503
- DOI: https://doi.org/10.18287/2541-7533-2007-0-1(12)-247-252
- ID: 503
Цитировать
Полный текст
Аннотация
Рассматривается комплекс проблем спецификации, верификации и синтеза управляющих программ реального времени, исполняемых на борту космического аппарата. Анализируются подходы к решению этих задач на основе временной логики и применения расширенной алгебры управляющих процессов. Описывается структура основанного на приведенном подходе инструментального программного комплекса разработки управляющих программ для космических аппаратов.
Об авторах
А. А. Тюгашев
Самарский государственный аэрокосмический университет имени академика С.П. Королёва (национальный исследовательский университет)
Автор, ответственный за переписку.
Email: sadohina@ssau.ru
Россия
Список литературы
- Логика и компьютер. Моделирование рассуждений и проверка правильности программ / А. М. Анисов, П. И. Быстров, В. А. Смирнов и др. – М.: Наука, 1990.
- Хоор Ч. А. З. Непротиворечивые взаимодополняющие теории семантики языков программирования // В сб.: Семантика языков программирования. - М.: Мир, 1980.
- Ben-Ari M., Manna, Z., Pnueli A.: The Temporal Logic of Branching Time. Proc. 8th Annual Symposium on Principles of Programming Languages, 1981, ACM Press, Williamsburg, p. 164-176. Springer-Verlag, 1992.
- Baeten J.C. M., Bergstra J.A.: Real time ProcessAlgebra. FormalAspects of Computing, 3, p.142-188, 1991.
- Управление космическими аппаратами зондирования Земли: Компьютерные технологии / Д. И. Козлов, Г. П. Аншаков, Я. А. Мостовой, А. В. Соллогуб. - М.: Машиностроение, 1998.
- Ю. М. Урличич, А. С. Селиванов, В. М. Вишняков, Ю. М. Тучин. Предварительные результаты летных испытаний технологического наноспутника ТНС-0 // Тезисы докладов 10-й международной конференции «Системный анализ, управление и навигация». – М.: Изд-во МАИ. - 2005. - С.24-25.
- А. А. Калентьев. Автоматизированный синтез алгоритмов асинхронного управления технологическими системами с множеством дискретных состояний / Самар. аэрокосм.ун-т. – Самара. - 1998.
Дополнительные файлы
