Автоматизированное оценивание временных характеристик программ управления комплексного функционирования в технологии ГРАФКОНТ

Описывается один из элементов технологии автоматизированного проектирования управляющих программ реального времени для космических аппаратов ГРАФКОНТ –метод автоматизированного оценивания временных характеристик управляющих программ комплексного функционирования, и дальнейшее использование полученных данных. Под управляющими программами комплексного функционирования понимаются программы, предназначенные для координации работы бортовой аппаратуры, агрегатов и систем космических аппаратов при решении целевой задачи.