Методологія специфікації та перевірки моделі системи у високо інтегрованих проєктах

Abstract

Об’єкт дослідження: процеси розробки, інтеграції та перевірки моделей систем у високо інтегрованих проєктах. Мета роботи: розробка методології специфікації та перевірки моделей систем у високо інтегрованих проєктах з використанням сучасних підходів до моделювання для забезпечення їх інтероперабельності, інтеграції та надійності. Предмет дослідження: методи та методологія специфікації та перевірки моделей систем із застосуванням мови моделювання SysML у високо інтегрованих проектах. Результати дослідження В роботі запропоновано вдосконалену методологію специфікації та перевірки моделей систем для високо інтегрованих проєктів на основі використання SysML та MBSE підходу і досліджено методи інтеграції моделей у складних системах через процеси трансформації моделей та їх адаптації до різнорідних середовищ розробки. Висновок Застосування онтологічної веб-мови (OWL) та семантичних веб- технологій дозволяє інтегрувати знання та забезпечити автоматизацію процесів моделювання. Це відкриває нові можливості для побудови систем, здатних до автоматизованого оброблення та аналізу даних.