Библиотека » Информационные Технологии » Системы реального времени

Пути повышения надежности и качества программного обеспечения в космической отрасли
Тюгашев А. А., Ильин И. А., Ермаков И. Е., Управление большими системами. Сборник трудов. Инс-т проблем управления им. В.А.Трапезникова РАН, Вып.39 2012, с. 288-299.
Визуальный подход к верификации управляющих программ реального времени
Тюгашев А.А., Богатов, А.Ю., Шулындин А.В., Вестник Самарского государственного аэрокосмического университета им. академика С.П. Королёва (национального исследовательского университета), №1 (32), 2012 г.С 219-225.
Использование расписаний при моделировании семантики управляющих алгоритмов реального времени
Тюгашев А.А., Богатов А.Ю, Шулындин А.В., Надежность и качество - 2011: труды Международного симпозиума: в 2 т./ под ред. Н.К. Юркова.-Пенза:Изд-во ПГУ, 2011 - 1т. С.90-93 ISSN 2220-6418.
Один подход к построению оптимизирующих преобразований спецификации управляющих алгоритмов реального времени
Тюгашев А. А., Богатов А. Ю., Управление движением и навигация летательных аппаратов : Сборник трудов XV Всероссийского семинара по управлению движением и навигации летательных аппаратов:....
Логический вывод в системе верификации требований к управляющим алгоритмам реального времени
Тюгашев А.А., Шулындин А.В., Управление движением и навигация летательных аппаратов : Сборник трудов XV Всероссийского семинара по управлению движением и навигации летательных аппаратов:....
Автоматическая генерация отладочных заданий в технологии ГРАФКОНТ/ГЕОЗ
Тюгашев А.А., Богатов А.Ю, Шулындин А.В., Надежность и качество - 2012: труды Международного симпозиума: в 2 т./ под ред. Н.К. Юркова.-Пенза:Изд-во ПГУ, 2012 - 1т. С.288-291 ISBN 978-5-94170-435-4.
Методы обеспечения надежности и качества программного обеспечения в аэрокосмической отрасли
Ермаков И.Е., Ильин И.А., Тюгашев А.А., Надежность и качество - 2012: труды Международного симпозиума: в 2 т./ под ред. Н.К. Юркова.-Пенза:Изд-во ПГУ, 2012 - 1т. С.20-23 ISBN 978-5-94170-435-4.
Ways to get more reliable and safe software in Aerospace Industry
Tyugashev A., Ermakov I.,Ilyin I., Proc. Program Semantics, Specification and Verification: Theory and Applications (PSSV 2012), July 1-2, 2012 in Nizhni Novgorod, Russia, PP121-129.