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