Андрей Тюгашев » Публикация

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

Поделиться публикацией:

Опубликовано 2010-04-12 Опубликовано на SciPeople2012-04-13 20:44:55 ОрганизацияСамарский государственный аэрокосмический университет имени академика С.П. Королева ЖурналОбщество с ограниченной ответственностью "Научно-инновационный центр"

Разработка методов верификации требований к системам управления реального времени

Тюгашев А.А., Шулындин А.В. / Андрей Тюгашев

В мире научных открытий. 2010. № 4-11. С. 62-64. ISSN 2072-0831

Аннотация В работе описываются проблемы создания корректных алгоритмов для управления космическими аппаратами. Приводится математическая модель управляющих алгоритмов реального времени, выявляются проблемы верификации требований к ним и определяются возможные методы автоматической верификации.