Отправить статью по E-mail 
Реализация математической модели верификации требований к управляющим алгоритмам реального времени в автоматизированной системе визуального проектирования
- Авторы: Шулындин А.В.1, Тюгашев А.А.1
-
Учреждения:
- Самарский государственный аэрокосмический университет имени академика С.П. Королёва (национальный исследовательский университет)
- Выпуск: Том 11, № 7 (2012)
- Страницы: 59-66
- Раздел: ВЫПУСК БЕЗ РАЗДЕЛОВ
- URL: https://journals.ssau.ru/vestnik/article/view/2394
- DOI: https://doi.org/10.18287/2541-7533-2012-0-7(38)-59-66
- ID: 2394
Цитировать
Полный текст
Аннотация
В статье описываются проблемы создания корректных алгоритмов для управления космическими аппаратами. Приводятся математические модели управляющих алгоритмов реального времени, верификации, выявляется проблема верификации требований к ним и описывается работа автоматизированной системы визуального проектирования, реализующей модель верификации.
Ключевые слова
Об авторах
А. В. Шулындин
Самарский государственный аэрокосмический университет имени академика С.П. Королёва (национальный исследовательский университет)
Автор, ответственный за переписку.
Email: sasha2410@mail.ru
Аспирант
РоссияА. А. Тюгашев
Самарский государственный аэрокосмический университет имени академика С.П. Королёва (национальный исследовательский университет)
Email: tau7@ssau.ru
Доктор технических наук
Профессор кафедры программных систем
РоссияСписок литературы
- Тюгашев, А. А. Синтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов [Текст] / А. А. Тюгашев. - Диссерт. докт. техн. наук. – Самара: СГАУ, 2007. – 315 с.
- Тюгашев, А. А. Интегрированная среда для проектирования управляющих алгоритмов реального времени [Текст] / А. А. Тюгашев // Известия РАН. Теория и системы управления. 2006. - №2. – С. 128-141.
Дополнительные файлы
