Інтелектуальні моделі, методи та засоби підтримки мінливості процесів життєвого циклу програмного забезпечення кіберфізичних систем

ІНТЕЛЕКТУАЛЬНІ МОДЕЛІ, МЕТОДИ ТА ЗАСОБИ ПІДТРИМКИ МІНЛИВОСТІ ПРОЦЕСІВ ЖИТТЄВОГО ЦИКЛУ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ КІБЕРФІЗИЧНИХ СИСТЕМ

INTELLIGENT MODELS, METHODS AND TOOLS TO SUPPORT CHANGEABILITY IN SOFTWARE LIFE CYCLE PROCESSES OF CYBER-PHYSICAL SYSTEMS

Доповідь за результатами дисертаційного дослідження на здобуття наукового ступеня доктора технічних наук за спеціальністю 05.13.06 – інформаційні технології

Доповідач: Гамзаєв Рустам Олександрович, кандидат технічних наук, доцент, доцент кафедри інтелектуальних програмних систем і технологій ННІ комп’ютерних наук та штучного інтелекту Харківського національного університету імені В.Н. Каразіна

Науковий консультант: доктор технічних наук, професор Ткачук М.В.

У доповіді представлені результати розробки та дослідження  інтелектуальних моделей, методів та інструментальних засобів підтримки мінливості процесів життєвого циклу (ЖЦ) програмного забезпечення кіберфізичних систем (КФС).

Актуальність теми дисертації обумовлена зростаючою складністю сучасних КФС, зокрема, систем класу Internet of Things (IoT) та Smart Home (SH), які мають розподілену багаторівневу архітектуру та містять велику кількість взаємопов’язаних апаратно- програмних компонентів, більшість з яких мають працювати у реальному масштабі часу в режимі «7/24». Ефективна розробка та супровід таких систем передбачає можливість забезпечення властивостей адаптації (adaptivity), варіативності (variability), конфігурування (configurability) та налаштування (customizability) їх проектних активів і системних компонентів, що може бути концептуально узагальнено як здатність до забезпечення мінливості (changeability) основних процесів та артефактів ЖЦ КФС. Слід особливо зазначити, що останнім часом системи класу IoT виявляють новий тренд у своєму розвитку, який отримав назву «Internet of Military Things (IoMT)» – «Інтернет військових речей»,  і  що має виняткову важливість для сучасних потреб забезпечення національної безпеки нашої держави.

Метою дисертаційної роботи є підвищення показників якості процесів створення програмного забезпечення, зокрема лінійок програмних продуктів, для систем «IoT / SH», шляхом розроблення комплексу інтелектуальних моделей, методів та інструментальних засобів для наскрізної підтримки властивостей мінливості всіх основних процесів та артефактів ЖЦ КФС.