К вопросу о построении спецификации для бортовых управляющих алгоритмов реального времени

Обложка

Цитировать

Полный текст

Аннотация

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

Об авторах

А. А. Тюгашёв

Самарский государственный аэрокосмический университет имени академика С.П. Королёва (национальный исследовательский университет)

Автор, ответственный за переписку.
Email: tau797@mail.ru

Доктор технических наук

Профессор кафедры компьютерных систем

Россия

А. Ю. Богатов

Самарский государственный аэрокосмический университет имени академика С.П. Королёва (национальный исследовательский университет)

Email: artmbogatov@yandex.ru

Аспирант

Ассистент кафедры компьютерных систем

Россия

Список литературы

  1. Мальцев, А. И. Алгебраические системы [Текст] / А. И. Мальцев. – Москва: Наука, 1970. – 400 с.
  2. Касьянов, В. Н. Графы в програм-мировании: обработка, визуализация и применение [Текст] / В. Н Касьянов, В. А. Евстигнеев. – СПб.: БХВ – Петербург, 2003. – 1104 с.
  3. Калентьев, А. А. Автоматизиро-ванный синтез алгоритмов асинхронного управления техническими системами с множеством дискретных состояний [Текст] / А. А Калентьев. – Самара: СГАУ, 1998. – 204 с.
  4. Тюгашев, А. А. Синтез и верифи-кация управляющих алгоритмов реально-го времени для бортовых вычислитель-ных систем космических аппаратов [Текст]: дис. … д-ра техн. наук / А. А. Тюгашев. – Самара: Изд-во СГАУ, 2007. – 312 с.

Дополнительные файлы

Доп. файлы
Действие
1. JATS XML
Скачать

© Вестник СГАУ, 2015

Данный сайт использует cookie-файлы

Продолжая использовать наш сайт, вы даете согласие на обработку файлов cookie, которые обеспечивают правильную работу сайта.

О куки-файлах