Отрывок: В настоящее время одним из наиболее широко используемых методов верифи­ кации программного обеспечения является метод проверки на модели (model checking). Однако он ориентирован на проверку свойств традиционных программ (отсутствие дедлоков, достижение критических секций и пр.). В силу того, что используемая семан­ тическая модель ориентирована на состояния, количество которых в проектируемых систе...
Название : Графический подход к верификации алгоритмов управления космическими аппаратами
Авторы/Редакторы : Калентьев А. А.
Тюгтиев А. А.
Дата публикации : 2011
Библиографическое описание : Калентьев, А. А. Графический подход к верификации алгоритмов управления космическими аппаратами / А. А. Калентьев, А. А. Тюгтиев // Управление движением и навигация летательных аппаратов : сб. [науч.] тр. XIV Всерос. семинара по упр. движением и навигации летат. аппаратов (Самара, 8-10 июня 2009 г.) / Самар. гос. аэрокосм. ун-т им. С. П. Королева (нац. исслед. ун-т) [и др.]. - Самара, 2011. - Ч. 1. - С. 129.
Другие идентификаторы : RU\НТБ СГАУ\542826
Ключевые слова: бортовая аппаратура
бортовые вычислительные комплексы
алгоритмы управления космическими аппаратами
задачи управления
задача верификации управляющего алгоритма
ГРАФКОНТ
комплексы бортовой аппаратуры
управление космическими аппаратами
Располагается в коллекциях: Управление движением и навигация ЛА

Файлы этого ресурса:
Файл Размер Формат  
978-5-7883-0796-1_2011-129.pdf46.53 kBAdobe PDFПросмотреть/Открыть
Показать полное описание ресурса Просмотр статистики
Поделиться:



Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.