Отрывок: В настоящее время одним из наиболее широко используемых методов верифи кации программного обеспечения является метод проверки на модели (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.issued | 2011 | ru |
dc.identifier | RU\НТБ СГАУ\542826 | ru |
dc.identifier.citation | Калентьев, А. А. Графический подход к верификации алгоритмов управления космическими аппаратами / А. А. Калентьев, А. А. Тюгтиев // Управление движением и навигация летательных аппаратов : сб. [науч.] тр. XIV Всерос. семинара по упр. движением и навигации летат. аппаратов (Самара, 8-10 июня 2009 г.) / Самар. гос. аэрокосм. ун-т им. С. П. Королева (нац. исслед. ун-т) [и др.]. - Самара, 2011. - Ч. 1. - С. 129. | ru |
dc.language.iso | rus | ru |
dc.relation.ispartof | Управление движением и навигация летательных аппаратов : сб. [науч.] тр. XIV Всерос. семинара по упр. движением и навигации летат. аппаратов (Самара, | ru |
dc.source | Управление движением и навигация летательных аппаратов. - Ч. 1 | ru |
dc.title | Графический подход к верификации алгоритмов управления космическими аппаратами | ru |
dc.type | Text | ru |
dc.citation.spage | 129 | ru |
dc.textpart | В настоящее время одним из наиболее широко используемых методов верифи кации программного обеспечения является метод проверки на модели (model checking). Однако он ориентирован на проверку свойств традиционных программ (отсутствие дедлоков, достижение критических секций и пр.). В силу того, что используемая семан тическая модель ориентирована на состояния, количество которых в проектируемых систе... | - |
Располагается в коллекциях: | Управление движением и навигация ЛА |
Файлы этого ресурса:
Файл | Размер | Формат | |
---|---|---|---|
978-5-7883-0796-1_2011-129.pdf | 46.53 kB | Adobe PDF | Просмотреть/Открыть |
Показать базовое описание ресурса
Просмотр статистики
Поделиться:
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.