Пошук академічних текстів

Інформація × Реєстраційний номер 0524U000165, Докторська дисертація На здобуття Доктор технічних наук Дата захисту 06-06-2024 Статус Підтверджена МОН Назва роботи Методи і засоби контролю артефактів процесу проєктування програмно-алгоритмічного забезпечення систем критичного призначення Здобувач Шкарупило Вадим Вікторович, к.т.н. Консультант Чемерис Олександр Анатолійович Опонент Межуєв Віталій Іванович Опонент Харченко Вячеслав Сергійович Опонент Зайцев Євген Олександрович Рецензент Зубок Віталій Юрійович Рецензент Гільгурт Сергій Якович Рецензент Владимирський Олександр Альбертович Опис Метою дисертаційної роботи є підвищення ефективності контролю артефактів у процесі розроблення програмно-алгоритмічної складової систем критичного призначення на етапі проєктування для забезпечення несуперечності артефактів та зниження супутніх витрат, за рахунок розроблення, дослідження і застосування формальних методів, розвитку методу, моделей, супутніх засобів, у тому числі засобів автоматизації. Об’єкт дослідження – процес розроблення програмно-алгоритмічної складової комп’ютерних систем критичного призначення. Предмет дослідження – формальні методи і супутні засоби, у тому числі моделі, засоби автоматизації, призначені до застосування на етапі проєктування програмно-алгоритмічної складової систем критичного призначення. За результатами проведених досліджень розроблено і впроваджено комплексний підхід, модель формалізованого подання програмно-алгоритмічної складової, метод синтезу формальних специфікацій, метод контролю відповідності формальних специфікацій, розвиток поширеного методу перевірки на моделі TLC, модель як стратифіковану архітектуру, метод контролю значення показника нефункціональних характеристик. Отримані результати призначені до застосування на етапі проєктування у складі етапів процесу розроблення програмно-алгоритмічного забезпечення систем критичного призначення. Дата реєстрації 2024-05-14 Додано в НРАТ 2024-05-14 Закрити