Прикладная математика

Анализ исследований математических основ модельно-ориентированной системной инженерии

В. А. Сухомлин<sup>ab

a</sup> Московский государственный университет им. М. В. Ломоносова, Российская Федерация, 119991, Москва, Ленинские горы, 1
^b Федеральный исследовательский центр «Информатика и управление» Российской aкадемии наук, Российская Федерация, 119333, Москва, ул. Вавилова, 44

Аннотация: В статье дается анализ исследований математических основ модельно-ориентированной системной инженерии (MBSE, Model-Based Systems Engineering). Рассмотрены как классическая математическая теория проектирования систем Уаймора, так и современные исследования, в частности формализации семантики языка SysML с помощью теории автоматов, применения теории категорий в качестве формальной математической базы для системного проектирования на основе моделей, изучение возможностей объединения теоретической основы систем Уаймора и универсального формализма моделирования Discrete Event System Specification (DEVS).

Ключевые слова: системная инженерия, модельно-ориентированная системная инженерия, модельно-ориентированная системная инженерия, конечные автоматы, семантика языка SysML, трехдольная теория, моделирование DEVS, теория категорий в модельно-ориентированной системной инженерии.

УДК: 004.942, 519.876.5

MSC: 68M01

Поступила: 12 апреля 2024 г.
Принята к печати: 25 июня 2024 г.

DOI: 10.21638/spbu10.2024.304