Верификация функций технических систем на основе метода ARCADIA/CAPELLA

Резюме: Поставлена задача верификации функций технической системы на этапах проектирования. Предложены характеристики отдельных функций и набора функций таких систем, которые могут быть использованы в целях верификации. Рассмотрены возможности метода ARCADIA/Capella по поддержке верификации функций технической системы методами анализа и демонстрации.

Ключевые слова: функциональная архитектура, верификация функций, характеристики функций, метод ARCADIA/Capella.

V.K. Batovrin, A.D. Bobrov, O.S. Suntsov

Engineered systems functions verification based on arcadia/capella method

Summary: The task of verifying the engineered systems functions at the development stages has set. The characteristics of individual functions and a set of functions of such systems that can be used for verification purposes have been proposed. The possibilities of the ARCADIA/Capella method to support the verification of engineered system functions by analysis and demonstration methods have been considered.

Keywords: functional architecture, functions verification, functions characteristics, ARCADIA/CAPELLA method.

DOI: 10.34219/2078-8320-2024-15-1-30-34