Отрывок: В настоящее время одним из наиболее широко используемых методов верифи­ кации программного обеспечения является метод проверки на модели (model checking). Однако он ориентирован на проверку свойств традиционных программ (отсутствие дедлоков, достижение критических секций и пр.). В силу того, что используемая семан­ тическая модель ориентирована на состояния, количество которых в проектируемых систе...
Полная запись метаданных
Поле DC Значение Язык
dc.contributor.authorКалентьев А. А.ru
dc.contributor.authorТюгтиев А. А.ru
dc.coverage.spatialбортовая аппаратураru
dc.coverage.spatialбортовые вычислительные комплексыru
dc.coverage.spatialалгоритмы управления космическими аппаратамиru
dc.coverage.spatialзадачи управленияru
dc.coverage.spatialзадача верификации управляющего алгоритмаru
dc.coverage.spatialГРАФКОНТru
dc.coverage.spatialкомплексы бортовой аппаратурыru
dc.coverage.spatialуправление космическими аппаратамиru
dc.creatorКалентьев А. А., Тюгтиев А. А.ru
dc.date.issued2011ru
dc.identifierRU\НТБ СГАУ\542826ru
dc.identifier.citationКалентьев, А. А. Графический подход к верификации алгоритмов управления космическими аппаратами / А. А. Калентьев, А. А. Тюгтиев // Управление движением и навигация летательных аппаратов : сб. [науч.] тр. XIV Всерос. семинара по упр. движением и навигации летат. аппаратов (Самара, 8-10 июня 2009 г.) / Самар. гос. аэрокосм. ун-т им. С. П. Королева (нац. исслед. ун-т) [и др.]. - Самара, 2011. - Ч. 1. - С. 129.ru
dc.language.isorusru
dc.relation.ispartofУправление движением и навигация летательных аппаратов : сб. [науч.] тр. XIV Всерос. семинара по упр. движением и навигации летат. аппаратов (Самара,ru
dc.sourceУправление движением и навигация летательных аппаратов. - Ч. 1ru
dc.titleГрафический подход к верификации алгоритмов управления космическими аппаратамиru
dc.typeTextru
dc.citation.spage129ru
dc.textpartВ настоящее время одним из наиболее широко используемых методов верифи­ кации программного обеспечения является метод проверки на модели (model checking). Однако он ориентирован на проверку свойств традиционных программ (отсутствие дедлоков, достижение критических секций и пр.). В силу того, что используемая семан­ тическая модель ориентирована на состояния, количество которых в проектируемых систе...-
Располагается в коллекциях: Управление движением и навигация ЛА

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



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