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

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

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

    Монографии

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

    ВАК

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

    Другие

    2025
    • 1 Тюгашев А.А. Перспективы использования больших языковых моделей для построения команд ИИ-агентов в космонавтике // II Международная научная конференция "Прикладной искусственный интеллект: перспективы и риски". — 2025. — С. 61-66
    2015
    • 1 ТЮГАШЕВ А.А. Использование бортовых баз знаний реального времени // XVII Всероссийский симпозиум по управлению движением и навигации летательных аппаратов. — 2015. — С. 52-57
    • 2 Andrey Tyugashev, Myasnikova E.A., Elena Sopchenko TOOLS OF TEST GENERATION FOR SATELLITES CONTROL PROGRAMS // \"ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ И НАНОТЕХНОЛОГИИ (ИТНТ-2015)\". — 2015. — P. 287-290
    • 3 Тюгашев А.А., Насекин А., Сопченко Е.В. TOOLS FOR VISUALIZATION AND CONSTRUCTION OF REAL-TIME SPACECRAFT’S CONTROL // \"ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ И НАНОТЕХНОЛОГИИ (ИТНТ-2015)\". — 2015. — С. 284-287
    • 4 ФИЛАТОВ А.В., ТКАЧЕНКО И. С., ТЮГАШЕВ АНДРЕЙ АЛЕКСАНДРОВИЧ и др. МАТЕМАТИЧЕСКОЕ ОБЕСПЕЧЕНИЕ СИСТЕМЫ УПРАВЛЕНИЯ МАЛЫМ КОСМИЧЕСКИМ АППАРАТОМ // Материалы международной конференции и молодежной школы "ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ И НАНОТЕХНОЛОГИИ (ИТНТ-2015)". — 2015. — № 1. — С. 290-295
    2014
    • 1 ТЮГАШЕВ А.А. Интеллектуальные программные средства автономного управления как средство обеспечения живучести космического аппарата // Системный анализ, управление и навигация. — 2014. — С. 89-91
    • 2 ТЮГАШЕВ А.А. Бортовые базы знаний как метод обеспечения живучести автоматических космических аппаратов // Международный симпозиум "Надежность и качество 2014". — 2014. — С. 72-74
    2013
    • 1 ТЮГАШЕВ А.А., БОГАТОВ А.Ю. Логический подход к управляющим алгоритмам // Сборник трудов XVI Всероссийского семинара по управлению движением и навигации летательных аппаратов. — 2013. — № Часть I.. — С. 95-98
    • 2 ТЮГАШЕВ А.А. Направления обеспечения надежности программного обеспечения в авиакосмической отрасли // Материалы XI Международной научно-технической конференции "Авиа-2013". — 2013. — № Том 4. — С. 2212-2215
    • 3 ТЮГАШЕВ А.А., БОГАТОВ А.Ю. Исчисление управляющих алгоритмов реального времени // Материалы XI Международной научно-технической конференции "Авиа-2013". — 2013. — № ТОМ 1. — С. 637-640
    • 4 ТЮГАШЕВ А.А., БОГАТОВ А.Ю. Логическое исчисление управляющих алгоритмов // Сборник трудов Международного симпозиума "Надежность и качество 2013". — 2013. — № Т.1. — С. 256-258
    • 5 МЯСНИКОВА Е.А., ТЮГАШЕВ А.А. Параметрический генератор управляющих программ реального времени // МЕЖДУНАРОДНАЯ НАУЧНО-ТЕХНИЧЕСКАЯ КОНФЕРЕНЦИЯ "ПЕРСПЕКТИВНЫЕ ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ (ПИТ-2013)". — 2013. — С. 352-357
    2012
    • 1 ТЮГАШЕВ А.А., ШУЛЫНДИН А.В. Логический вывод в системе верификации требований к управляющималгоритмам реального времени // Управление движением и навигация летательных аппаратов. Сборник трудов XV Всероссийского семинара по управлению движением и навигации летательных аппаратов: Часть I. — 2012. — С. 157-160
    • 2 БОГАТОВ А.Ю., ТЮГАШЕВ А.А. Один подход к построению оптимизирующих преобразованийспецификации управляющих алгоритмов реального времени // XV Всероссийский семинар по управлению движением и навигации летательных аппаратов. — 2012. — С. 69-72
    • 3 ТЮГАШЕВ А.А., ИЛЬИН И.А., ЕРМАКОВ И.Е. МЕТОДЫ ОБЕСПЕЧЕНИЯ НАДЕЖНОСТИ И КАЧЕСТВА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ В АЭРОКОСМИЧЕСКОЙ ОТРАСЛИ // НАДЕЖНОСТЬ И КАЧЕСТВО. — 2012. — С. 20-23
    • 4 ТЮГАШЕВ А.А., БОГАТОВ А.Ю., ШУЛЫНДИН А.В. АВТОМАТИЧЕСКАЯ ГЕНЕРАЦИЯ ОТЛАДОЧНЫХ ЗАДАНИЙ В ТЕХНОЛОГИИ ГРАФКОНТ/ГЕОЗ // НАДЕЖНОСТЬ И КАЕЧТВО. — 2012. — С. 288-291
    • 5 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. —
    • 6 ЕРМАКОВ Е.А., ИЛЬИН И.А., ТЮГАШЕВ А.А. Создание единой отраслевой САПР ПО как основное условие предотвращения кризиса управляющего ПО в космической отрасли // XXXVI АкадемическИЕ чтенИЯ по космонавтике/ Под общей редакцией А.К. Медведевой. — 2012. — С. 468
    • 7 ТЮГАШЕВ А.А. Направления совершенствования методов разработки и верификации программного обеспечения в аэрокосмической отрасли // СИСТЕМНЫЙ АНАЛИЗ, УПРАВЛЕНИЕ И НАВИГАЦИЯ. — 2012. — С. 77-79
    • 8 ТЮГАШЕВ А.А., КАЛЕНТЬЕВ А.А. Технология ГРАФКОНТ/ГЕОЗ автоматизациипроцессов проектирования и верификации управляющего программного обеспечения для космическихаппаратов // Сист. управ-я беспилот.косм.и атмосфер.летат.аппаратами. — 2012. — С. 147-148
    2011
    • 1 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. —
    • 2 ТЮГАШЕВ А.А., Богатов А.Ю. Графический визуализатор связей между логическими последовательностями алгоритмов управления космическими аппаратами // Тезисы докладов 16-й Международной конференции Системный анализ, управление и навигация. — 2011. —
    • 3 ТЮГАШЕВ А.А., Ильин И.А., Ермаков А.А. Создание единой отраслевой САПР ПО как основное условие предотвращения кризиса управляющего ПО в космической отрасли // Академические чтения по космонавтике. — 2011. —
    • 4 ТЮГАШЕВ А.А., Богатов А.Ю., Шулындин А.В. Использование расписаний при моделировании семантики управляющих алгоритмов реального времени // Международный симпозиум Надежность и качество 2011. — 2011. —
    • 5 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. —
    • 6 Ильин И.А., Ермаков И.Е., ТЮГАШЕВ А.А. Создание единой отраслевой САПР ПО как основное условие предоствращения кризиса управляющего ПО в космической отрасли // XXXV Академические чтения по космонавтике. — 2011. —
    2010
    • 1 ТЮГАШЕВ А.А., Шулындин А.В., КАЛЕНТЬЕВ А.А. Формальная верификация требований к управляющим алгоритмам реального времени // Международный семинар «Семантика, спецификация и верификация программ: теория и приложения» (ССВП 2010). — 2010. —
    • 2 ТЮГАШЕВ А.А., КАЛЕНТЬЕВ А.А. Методы верификации требований к управляющим алгоритмам реального времени // Международный симпозиум Надежность и качество 2010. — 2010. —
    • 3 ТЮГАШЕВ А.А., КАЛЕНТЬЕВ А.А. Средства визуализации программ интегрального управления космическими аппаратами // XV Международная научная конференция Системный анализ, управление и навигация. — 2010. —
    • 4 ТЮГАШЕВ А.А., Шулындин А.В. Логический вывод в системе верификации требований к управляющим алгоритмам реального времени // Международная конференция с элементами научной школы для молодежи Перспективные информационные технологии для авиации и космоса (ПИТ 2010). — 2010. — С. 247