Отрывок: В диссертации приводится алгоритм, позволяющий построить логико-временную схему управляющего алгоритма по его семантике, сгенерированной, в свою очередь, на основе спецификации на языке формальной теории УА РВ. Кроме того, становится возможной верификация логико-временной схе...
Название : Синтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов
Авторы/Редакторы : Тюгашев А. А.
Самарский государственный аэрокосмический университет им. С. П. Королева
Дата публикации : 2007
Библиографическое описание : Тюгашев, А. А. Синтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов [Электронный ресурс] : автореферат дис. ... д-ра техн. наук : 05.13.12 / А. А. Тюгашев ; Самар. гос. аэрокосм. ун-т им. С. П. Королева (СГАУ). - Самара, 2007. - on-line
Аннотация : Труды сотрудников СГАУ (электрон. версия)
Используемые программы: Adobe Acrobat
Другие идентификаторы : RU/НТБ СГАУ/WALL/Автореф/Т 98-631476
Ключевые слова: бортовые вычислительные системы
верификация алгоритмом
космические аппараты
синтез алгоритмов
управляющие алгоритмы реального времени
Располагается в коллекциях: Авторефераты

Файлы этого ресурса:
Файл Размер Формат  
Тюгашев А.А.pdf595.69 kBAdobe PDFПросмотреть/Открыть
Показать полное описание ресурса Просмотр статистики
Поделиться:



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