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

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

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

Опубликовано 2012-01-12 Опубликовано на SciPeople2012-07-12 15:38:40 ЖурналСГАУ

Логический вывод в системе верификации требований к управляющим алгоритмам реального времени

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

Управление движением и навигация летательных аппаратов : Сборник трудов XV Всероссийского семинара по управлению движением и навигации летательных аппаратов: Часть I / Самар. гос. аэрокосм. ун-т. Самара, 2012 С 157-160

Аннотация описано применение логического вывода для установления непротиворечивости (верификации) спецификаций управляющих бортовых программ реального времени для космических аппаратов