Библиотека » Информационные Технологии » Системы реального времени
Разработка метода предотвращения возникновения коллизий при параллельной обработке данных в децентрализованных вычислительных системах
В.Н.Ткачев, А.Б. Анненков, В.Е. Саваневич, А.Б. Брюховецкий, Ткачёв В.Н. Разработка метода предотвращения возникновения коллизий при параллельной обработке данных в децентрализованных вычислительных системах /В.Н.Ткачев,....
Пути повышения надежности и качества программного обеспечения в космической отрасли
Тюгашев А. А., Ильин И. А., Ермаков И. Е., Управление большими системами. Сборник трудов. Инс-т проблем управления им. В.А.Трапезникова РАН, Вып.39 2012, с. 288-299.
Визуальный подход к верификации управляющих программ реального времени
Тюгашев А.А., Богатов, А.Ю., Шулындин А.В., Вестник Самарского государственного аэрокосмического университета им. академика С.П. Королёва (национального исследовательского университета), №1 (32), 2012 г.С 219-225.
Графический визуализатор связей между логическими последовательностями алгоритмов управления космическими аппаратами
Тюгашев А. А., Богатов А. Ю., Системный анализ, управление и навигация: Тезисы докладов.-М.: Изд-во МАИ-ПРИНТ, 2011. С.90 ISBN 978-5-7035-2275-2.
Использование расписаний при моделировании семантики управляющих алгоритмов реального времени
Тюгашев А.А., Богатов А.Ю, Шулындин А.В., Надежность и качество - 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.
