Registration Number
0524U000165, Doctoral dissertation
Status
Доктор технічних наук
Date
06-06-2024
popup.evolution
e
Title
Methods and means for safety-critical systems’ software and algorithmic constituent design process artifacts control
Author
Vadym V. Shkarupylo, к.т.н.
popup.advisor Oleksandr A. Chemerys
popup.opponent Vitaliy I. Mezhuyev
popup.opponent Vyacheslav S. Кharchenko
popup.opponent Ievgen Zaitsev
popup.review Vitalii Y. Zubok
popup.review Serhii Hilgurt
popup.review Alexandr Vladimirsky
popup.rada
Institute of Problems of Modeling in Energy named after GE Pukhov of the National Academy of Sciences of Ukraine
Description
Метою дисертаційної роботи є підвищення ефективності контролю артефактів у процесі розроблення програмно-алгоритмічної складової систем критичного призначення на етапі проєктування для забезпечення несуперечності артефактів та зниження супутніх витрат, за рахунок розроблення, дослідження і застосування формальних методів, розвитку методу, моделей, супутніх засобів, у тому числі засобів автоматизації.
Об’єкт дослідження – процес розроблення програмно-алгоритмічної складової комп’ютерних систем критичного призначення.
Предмет дослідження – формальні методи і супутні засоби, у тому числі моделі, засоби автоматизації, призначені до застосування на етапі проєктування програмно-алгоритмічної складової систем критичного призначення.
За результатами проведених досліджень розроблено і впроваджено комплексний підхід, модель формалізованого подання програмно-алгоритмічної складової, метод синтезу формальних специфікацій, метод контролю відповідності формальних специфікацій, розвиток поширеного методу перевірки на моделі TLC, модель як стратифіковану архітектуру, метод контролю значення показника нефункціональних характеристик.
Отримані результати призначені до застосування на етапі проєктування у складі етапів процесу розроблення програмно-алгоритмічного забезпечення систем критичного призначення.
Registration Date
2024-05-14
popup.nrat_date
2024-05-14 / 2026-07-01
