Связанные научные тематики:
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 




 Найдено научных статей и публикаций: 41, для научной тематики: Космический аппарат


1.

Технология графконт/геоз автоматизации процессов проектирования и верификации управляющего программного обеспечения для космических аппаратов (публикация автора на scipeople)   

Калентьев А.А,, Тюгашев А.А. - МОКБ "Марс" , 2012
Описывается технология ГРАФКОНТ/ГЕОЗ созданная в СГАУ по заказу ЦСКБ для автоматизации процессов создания управляющих бортовых программ...
2.

Пути повышения надежности и качества программного обеспечения в космической отрасли (публикация автора на scipeople)     

Тюгашев А. А., Ильин И. А., Ермаков И. Е. - Инс-т проблем управления им. В.А.Трапезникова РАН , 2012
Описывается текущая ситуация с созданием бортового программного обеспечения в аэрокосмической отрасли, описываются проблемы и намечаются пути их решения....
3.

Графический визуализатор связей между логическими последовательностями алгоритмов управления космическими аппаратами (публикация автора на scipeople)   

Тюгашев А. А., Богатов А. Ю. - Издательство МАИ-ПРИНТ , 2011
Описывается программный графический визуализатор связей между логическими последовательностями алгоритмов управления космическими аппаратами...
4.

Использование расписаний при моделировании семантики управляющих алгоритмов реального времени (публикация автора на scipeople)   

Тюгашев А.А., Богатов А.Ю, Шулындин А.В. - Издательство ПГУ , 2011
приводится семантическая модель управляющих алгоритмов реального времени...
5.

Автоматическая генерация отладочных заданий в технологии графконт/геоз (публикация автора на scipeople)   

Тюгашев А.А., Богатов А.Ю, Шулындин А.В. - Издательство ПГУ , 2012
Рассказано о разработанной для ракетного центра "Прогресс", г. Самара, СГАУ, системе ГЕОЗ, позволяющей автоматизировать процесс отладки бортового управляющего программного обеспечения для космических аппаратов...
6.

Методы обеспечения надежности и качества программного обеспечения в аэрокосмической отрасли (публикация автора на scipeople)   

Ермаков И.Е., Ильин И.А., Тюгашев А.А. - Издательство ПГУ , 2012
рассматриваются проблемы и пути их решения в области обеспечения надежности и качества ПО в космической отрасли...
7.

Направления совершенствования методов разработки и верификации программного обеспечения в аэрокосмической отрасли (публикация автора на scipeople)   

Тюгашев А.А. - Издательство МАИ , 2012
констатируются имеющиеся проблемы, предлагаются направления совершенствования процессов создания ПО в космической отрасли...
8.

Алгебраические и логические подходы к спецификации, верификации и синтезу управляющих программ для ка (публикация автора на scipeople)   

Калентьев А.А., Тюгашев А.А. - Изд-во МАИ , 2006
представлены алгебраические и логические модели для управляющих программ в свете их спецификации, верификации и синтеза...
9.

Средства визуализации программ интегрального управления космическими аппаратами (публикация автора на scipeople)   

Калентьев А.А., Тюгашев А.А. - Изд-во МАИ , 2010
описаны инструментальные средства визуализации программ интегрального управления космическими аппаратами...
10.

Использование графического подхода при верификации циклограмм управления космическими аппаратами (публикация автора на scipeople)   

Калентьев А.А., Тюгашев А.А. - Изд-во МАИ , 2009
описана графическая верификация циклограмм управления космическими аппаратами...