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

Описывается текущая ситуация с созданием бортового программного обеспечения в аэрокосмической отрасли, описываются проблемы и намечаются пути их решения....

Описывается программный графический визуализатор связей между логическими последовательностями алгоритмов управления космическими аппаратами...

приводится семантическая модель управляющих алгоритмов реального времени...

Рассказано о разработанной для ракетного центра "Прогресс", г. Самара, СГАУ, системе ГЕОЗ, позволяющей автоматизировать процесс отладки бортового управляющего программного обеспечения для космических аппаратов...

рассматриваются проблемы и пути их решения в области обеспечения надежности и качества ПО в космической отрасли...

констатируются имеющиеся проблемы, предлагаются направления совершенствования процессов создания ПО в космической отрасли...

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

описаны инструментальные средства визуализации программ интегрального управления космическими аппаратами...

описана графическая верификация циклограмм управления космическими аппаратами...