Визуальное метамоделирование с валидацией на основе суррогатных приближений
В настоящей работе рассматривается вопрос создания методологии проектирования и моделирования бортовых вычислительных комплексов космических летательных аппаратов. Современная парадигма метамоделирования, лежащая в основе настоящей работы, на взгляд авторов, позволит уменьшить трудозатраты при создании аппаратно-программных комплексов космических летательных аппаратов для исследования дальнего космоса и в частности, малых тел солнечной системы. В работе предлагается семантический подход, который заключается в составлении концептуально новой метамодели нижнего уровня путем синтеза двух известных графических нотаций IDEF0 и Flowchart. Такое решение позволяет практически исключить недостатки, присущие каждой из нотаций в отдельности. В результате работы получен новый семантический элемент и правила его использования. Для валидации предложенного семантического решения в настоящей работе предлагается использовать методы суррогатных приближений, которые позволяют в рамках данной задачи максимально точно приблизить характеристики выбранной базовой модели при одновременном обеспечении её интерпретируемости. Такой подход улучшает понимание создаваемых на базе данной модели решений. Предлагаемая методология позволяет проектировать и моделировать работу бортовых вычислительных комплексов космических летательных аппаратов, практически, исключая недостатки входящих нотаций. Предлагаемое решение позволит уменьшить трудозатраты при проектировании различных бортовых вычислительных комплексов (БВК), при одновременном повышении качества и однозначности работ.