федеральное государственное автономное образовательное учреждение высшего образования
«Самарский национальный исследовательский университет имени академика С.П. Королева»
    Руководители работ: д.т.н. Калентьев А.А. , к.т.н. Тюгашев А.А.

    Разработанная система автоматизированного проектирования позволяет осуществлять информационную поддержку жизненного цикла управляющих программ бортовых вычислительных систем космических аппаратов. Это обеспечивает повышение надежности и качества, а также сокращение сроков и трудоемкости разработки бортового программного обеспечения.
    На основе графического подхода к программированию создан и внедрен в ГНПРКЦ «ЦСКБ-Прогресс» универсальный программный комплекс ГРАФКОНТ/ГЕОЗ, являющийся эффективным средством верификации и синтеза бортовых управляющих программ.

    Интегрированная система автоматизации проектирования управляющих алгоритмов