Математические основы модельно-ориентированной системной инженерии

Часть I

  • Vladimir Alexandrovich Sukhomlin Московский государственный университет имени М.В. Ломоносова; Федеральный исследовательский центр "Информатика и управление" Российской академии наук http://orcid.org/0000-0001-9468-7138

Аннотация

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

Сведения об авторе

Vladimir Alexandrovich Sukhomlin, Московский государственный университет имени М.В. Ломоносова; Федеральный исследовательский центр "Информатика и управление" Российской академии наук

заведующий лабораторией открытых информационных технологий факультета вычислительной математики и кибернетики; ведущий научный сотрудник Института проблем информатики РАН, доктор технических наук, профессор

Опубликована
2024-03-31
Как цитировать
SUKHOMLIN, Vladimir Alexandrovich. Математические основы модельно-ориентированной системной инженерии. Современные информационные технологии и ИТ-образование, [S.l.], v. 20, n. 1, mar. 2024. ISSN 2411-1473. Доступно на: <http://sitito.cs.msu.ru/index.php/SITITO/article/view/1054>. Дата доступа: 22 dec. 2024
Форматы библиографических ссылок
Выпуск
Том 20 № 1 (2024): Современные информационные технологии и ИТ-образование
Раздел
Теоретические вопросы информатики, прикладной математики, компьютерных наук
Лицензия Creative Commons

Это произведение доступно по лицензии Creative Commons «Attribution» («Атрибуция») 4.0 Всемирная.

Редакционная политика журнала основывается на традиционных этических принципах российской научной периодики и строится с учетом этических норм работы редакторов и издателей, закрепленных в Кодексе поведения и руководящих принципах наилучшей практики для редактора журнала (Code of Conduct and Best Practice Guidelines for Journal Editors) и Кодексе поведения для издателя журнала (Code of Conduct for Journal Publishers), разработанных Комитетом по публикационной этике - Committee on Publication Ethics (COPE). В процессе издательской деятельности редколлегия журнала руководствуется международными правилами охраны авторского права, нормами действующего законодательства РФ, международными издательскими стандартами и обязательной ссылке на первоисточник.
Журнал позволяет авторам сохранять авторское право без ограничений. Журнал позволяет авторам сохранить права на публикацию без ограничений.
Издательская политика в области авторского права и архивирования определяются «зеленым цветом» в базе данных SHERPA/RoMEO.
Все статьи распространяются на условиях лицензии Creative Commons «Attribution» («Атрибуция») 4.0 Всемирная, которая позволяет другим использовать, распространять, дополнять эту работу с обязательной ссылкой на оригинальную работу и публикацию в этом журналe.