Applied mathematics

Analysis of research into the mathematical foundations of model-based systems engineering

V. A. Sukhomlin<sup>ab

a</sup> Lomonosov Moscow State University, 1, Leninskie Gory, Moscow, 119991, Russian Federation
^b Federal Research Center “Computer Science and Control’’ of the Russian Academy of Sciences, 44, ul. Vavilova, Moscow, 119333, Russian Federation

Abstract: The article provides an analysis of research into the mathematical foundations of model-based systems engineering (MBSE, Model-Based Systems Engineering). Both the classical mathematical theory of Wymore's system design and modern research are considered, in particular, the formalization of the semantics of the SysML language using automata theory, the use of category theory as a formal mathematical basis for model-based system design, the study of the possibilities of combining the theoretical basis of Wymore's systems and the universal Discrete Event System Specification (DEVS) modeling formalism.

Keywords: systems engineering, model-based systems engineering, model-based systems engineering, finite state machines, semantics of the SysML language, tripartite theory, DEVS modeling, category theory in model-based systems engineering.

UDC: 004.942, 519.876.5

MSC: 68M01

Received: April 12, 2024
Accepted: June 25, 2024

DOI: 10.21638/spbu10.2024.304