федеральное государственное автономное образовательное учреждение высшего образования
«Самарский национальный исследовательский университет имени академика С.П. Королева»

Тюгашев Андрей Александрович

  • Кафедра автоматических систем энергетических установок имени академика РАН Владимира Павловича Шорина, профессор
  • Кафедра динамики полёта и систем управления, профессор

Монографии

2009
  • 1 ТЮГАШЕВ А.А. Графические языки программирования и их применение в системах управления реального времени Самара: Издательство Самарского научного центра РАН, 2009. 97с.
2006
  • 1 ТЮГАШЕВ А.А. ИПИ/CALS технологии в жизненном цикле комплексных программ управления Самара: Издательство Самарского научного центра РАН, 2006. 265с.

ВАК

2015
  • 1 Салмин В.В., Филатов А.В., Ткаченко И.С. и др. Вычислительный алгоритм формирования программного движения в программном повороте малого космического аппарата // Вестник СГАУ. — 2015. — № Том 14, № 2 . — С. 9-18
  • 2 ТЮГАШЕВ А.А. Метод верификации расписаний на основе логического исчисления // Вестник транспорта Поволжья. — 2015. — № 2. — С. 105-112
2014
  • 1 ТЮГАШЕВ А.А., МЯСНИКОВА Е.А. ПАРАМЕТРИЧЕСКИЙ ГЕНЕРАТОР УПРАВЛЯЮЩИХ ПРОГРАММ РЕАЛЬНОГО ВРЕМЕНИ // ИЗВЕСТИЯ СНЦ РАН. — 2014. — № том 16, №4. — С. 447-449
2013
  • 1 ТЮГАШЕВ А.А., Петунин Н.В. Система активной интеллектуальной безопасности дорожного движения // Журнал Автомобильных инженеров. — 2013. — № 3 (80). — С. 53-53
  • 2 ТЮГАШЕВ А.А., ШУЛЫНДИН А.В. Реализация математической модели верификации требований к управляющим алгоритмам реального времени в автоматизированной системе визуального проектирования // Вестник Самарского государственного аэрокосмического университета им. академика С.П. Королёва (национального исследовательского университета). — 2013. — № №7 (38). — С. 59-66
2012
  • 1 ШУЛЫНДИН А.В., БОГАТОВ А.Ю., ТЮГАШЕВ А.А. Визуальный подход к верификации управляющих программ реальноговремени // ВЕСТНИК СГАУ. — 2012. — № 1 (32). — С. 219-225
  • 2 ТЮГАШЕВ А.А. Пути повышения надежности и качества программного обеспечения в космической отрасли // Управление большими системами. — 2012. — № Вып. 39. — С. 288-299
2010
  • 1 ТЮГАШЕВ А.А., Шулындин А.В. Разработка методов верификации требований к системам управления реального времени // В мире научных открытий. — 2010. — № 4(10). — С. 62-64
2006
  • 1 ТЮГАШЕВ А.А. Интегрированная среда для проектирования управляющих алгоритмов реального времени // Известия Российской академии наук. Теория и системы управления. — 2006. — № 2006. № 2. — С. 128-141

Другие

2015
  • 1 ФИЛАТОВ А.В., ТКАЧЕНКО И. С., ТЮГАШЕВ АНДРЕЙ АЛЕКСАНДРОВИЧ и др. МАТЕМАТИЧЕСКОЕ ОБЕСПЕЧЕНИЕ СИСТЕМЫ УПРАВЛЕНИЯ МАЛЫМ КОСМИЧЕСКИМ АППАРАТОМ // Материалы международной конференции и молодежной школы "ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ И НАНОТЕХНОЛОГИИ (ИТНТ-2015)". — 2015. — № 1. — С. 290-295
  • 2 Тюгашев А.А., Насекин А., Сопченко Е.В. TOOLS FOR VISUALIZATION AND CONSTRUCTION OF REAL-TIME SPACECRAFT’S CONTROL // \"ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ И НАНОТЕХНОЛОГИИ (ИТНТ-2015)\". — 2015. — С. 284-287
  • 3 Andrey Tyugashev, Myasnikova E.A., Elena Sopchenko TOOLS OF TEST GENERATION FOR SATELLITES CONTROL PROGRAMS // \"ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ И НАНОТЕХНОЛОГИИ (ИТНТ-2015)\". — 2015. — P. 287-290
  • 4 ТЮГАШЕВ А.А. Использование бортовых баз знаний реального времени // XVII Всероссийский симпозиум по управлению движением и навигации летательных аппаратов. — 2015. — С. 52-57
2014
  • 1 ТЮГАШЕВ А.А. Бортовые базы знаний как метод обеспечения живучести автоматических космических аппаратов // Международный симпозиум "Надежность и качество 2014". — 2014. — С. 72-74
  • 2 ТЮГАШЕВ А.А. Интеллектуальные программные средства автономного управления как средство обеспечения живучести космического аппарата // Системный анализ, управление и навигация. — 2014. — С. 89-91
2013
  • 1 ТЮГАШЕВ А.А. Направления обеспечения надежности программного обеспечения в авиакосмической отрасли // Материалы XI Международной научно-технической конференции "Авиа-2013". — 2013. — № Том 4. — С. 2212-2215
  • 2 МЯСНИКОВА Е.А., ТЮГАШЕВ А.А. Параметрический генератор управляющих программ реального времени // МЕЖДУНАРОДНАЯ НАУЧНО-ТЕХНИЧЕСКАЯ КОНФЕРЕНЦИЯ "ПЕРСПЕКТИВНЫЕ ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ (ПИТ-2013)". — 2013. — С. 352-357
  • 3 ТЮГАШЕВ А.А., БОГАТОВ А.Ю. Логическое исчисление управляющих алгоритмов // Сборник трудов Международного симпозиума "Надежность и качество 2013". — 2013. — № Т.1. — С. 256-258
  • 4 ТЮГАШЕВ А.А., БОГАТОВ А.Ю. Исчисление управляющих алгоритмов реального времени // Материалы XI Международной научно-технической конференции "Авиа-2013". — 2013. — № ТОМ 1. — С. 637-640
  • 5 ТЮГАШЕВ А.А., БОГАТОВ А.Ю. Логический подход к управляющим алгоритмам // Сборник трудов XVI Всероссийского семинара по управлению движением и навигации летательных аппаратов. — 2013. — № Часть I.. — С. 95-98
2012
  • 1 ЕРМАКОВ Е.А., ИЛЬИН И.А., ТЮГАШЕВ А.А. Создание единой отраслевой САПР ПО как основное условие предотвращения кризиса управляющего ПО в космической отрасли // XXXVI АкадемическИЕ чтенИЯ по космонавтике/ Под общей редакцией А.К. Медведевой. — 2012. — С. 468
  • 2 ТЮГАШЕВ А.А., КАЛЕНТЬЕВ А.А. Технология ГРАФКОНТ/ГЕОЗ автоматизациипроцессов проектирования и верификации управляющего программного обеспечения для космическихаппаратов // Сист. управ-я беспилот.косм.и атмосфер.летат.аппаратами. — 2012. — С. 147-148
  • 3 TYuGAShEV A.A., Ermakov E.I., Ilin I.A. Ways to get more reliable and safe software in Aerospace Industry // Proc. Program Semantics, Specification and Verification: Theory and Applications (PSSV 2012). — 2012. —
  • 4 ТЮГАШЕВ А.А., БОГАТОВ А.Ю., ШУЛЫНДИН А.В. АВТОМАТИЧЕСКАЯ ГЕНЕРАЦИЯ ОТЛАДОЧНЫХ ЗАДАНИЙ В ТЕХНОЛОГИИ ГРАФКОНТ/ГЕОЗ // НАДЕЖНОСТЬ И КАЕЧТВО. — 2012. — С. 288-291
  • 5 ТЮГАШЕВ А.А., ИЛЬИН И.А., ЕРМАКОВ И.Е. МЕТОДЫ ОБЕСПЕЧЕНИЯ НАДЕЖНОСТИ И КАЧЕСТВА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ В АЭРОКОСМИЧЕСКОЙ ОТРАСЛИ // НАДЕЖНОСТЬ И КАЧЕСТВО. — 2012. — С. 20-23
  • 6 БОГАТОВ А.Ю., ТЮГАШЕВ А.А. Один подход к построению оптимизирующих преобразованийспецификации управляющих алгоритмов реального времени // XV Всероссийский семинар по управлению движением и навигации летательных аппаратов. — 2012. — С. 69-72
  • 7 ТЮГАШЕВ А.А., ШУЛЫНДИН А.В. Логический вывод в системе верификации требований к управляющималгоритмам реального времени // Управление движением и навигация летательных аппаратов. Сборник трудов XV Всероссийского семинара по управлению движением и навигации летательных аппаратов: Часть I. — 2012. — С. 157-160
  • 8 ТЮГАШЕВ А.А. Направления совершенствования методов разработки и верификации программного обеспечения в аэрокосмической отрасли // СИСТЕМНЫЙ АНАЛИЗ, УПРАВЛЕНИЕ И НАВИГАЦИЯ. — 2012. — С. 77-79
2011
  • 1 ТЮГАШЕВ А.А., Ильин И.А., Ермаков А.А. Создание единой отраслевой САПР ПО как основное условие предотвращения кризиса управляющего ПО в космической отрасли // Академические чтения по космонавтике. — 2011. —
  • 2 TYuGAShEV A.A., KALENTEV A.A., Shulyndin A.V. Shulyndin Visual toolset for real-time onboard programs verification support // Proceedings of The Second Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2011). — 2011. —
  • 3 ТЮГАШЕВ А.А., Богатов А.Ю. Графический визуализатор связей между логическими последовательностями алгоритмов управления космическими аппаратами // Тезисы докладов 16-й Международной конференции Системный анализ, управление и навигация. — 2011. —
  • 4 KALENTEV A.A., TYuGAShEV A.A., Bogatov A.Yu. Visual toolset for real-time onboard programs verification support // The Second Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2011). — 2011. —
  • 5 ТЮГАШЕВ А.А., Богатов А.Ю., Шулындин А.В. Использование расписаний при моделировании семантики управляющих алгоритмов реального времени // Международный симпозиум Надежность и качество 2011. — 2011. —
  • 6 Ильин И.А., Ермаков И.Е., ТЮГАШЕВ А.А. Создание единой отраслевой САПР ПО как основное условие предоствращения кризиса управляющего ПО в космической отрасли // XXXV Академические чтения по космонавтике. — 2011. —
2010
  • 1 ТЮГАШЕВ А.А., Шулындин А.В., КАЛЕНТЬЕВ А.А. Формальная верификация требований к управляющим алгоритмам реального времени // Международный семинар «Семантика, спецификация и верификация программ: теория и приложения» (ССВП 2010). — 2010. —
  • 2 ТЮГАШЕВ А.А., Шулындин А.В. Логический вывод в системе верификации требований к управляющим алгоритмам реального времени // Международная конференция с элементами научной школы для молодежи Перспективные информационные технологии для авиации и космоса (ПИТ 2010). — 2010. — С. 247
  • 3 ТЮГАШЕВ А.А., КАЛЕНТЬЕВ А.А. Средства визуализации программ интегрального управления космическими аппаратами // XV Международная научная конференция Системный анализ, управление и навигация. — 2010. —
  • 4 ТЮГАШЕВ А.А., КАЛЕНТЬЕВ А.А. Методы верификации требований к управляющим алгоритмам реального времени // Международный симпозиум Надежность и качество 2010. — 2010. —