СИСТЕМНОЕ МОДЕЛИРОВАНИЕ ПРИ РАЗРАБОТКЕ МАТЕМАТИЧЕСКОГО ОБЕСПЕЧЕНИЯ АВТОМАТИЗИРОВАННЫХ ИСПЫТАТЕЛЬНЫХ КОМПЛЕКСОВ НА ОСНОВЕ ПОЛИМОДЕЛЬНОГО ПОДХОДА С ИЕРАРХИЧЕСКИМ ПРИНЦИПОМ

摘要

Рассматривается вопрос разработки математического обеспечения (МО) автоматизированных испытательных комплексов (ЛИК) объектов ракетно-космической техники (РКТ). Осуществлена постановка задачи разработки МО АИК с целью повышения полноты контроля. Определен подход к разработке математического обеспечения АИК на основе полимодельного исследования объекта испытаний с введенным отношением строго порядка между моделями. В качестве математического аппарата применяемого для формализации процесса функционирования моделируемой системы на старшем уровне выбран конечный автомат, на младшем уровне - математический аппарат сетей Петри. В рамках предложенного подхода приведен пример построения математического обеспечения автоматизированных испытательных комплексов на основе полимодельного подхода с иерархическим принципом.