Search academic texts

Information × 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 Description Метою дисертаційної роботи є підвищення ефективності контролю артефактів у процесі розроблення програмно-алгоритмічної складової систем критичного призначення на етапі проєктування для забезпечення несуперечності артефактів та зниження супутніх витрат, за рахунок розроблення, дослідження і застосування формальних методів, розвитку методу, моделей, супутніх засобів, у тому числі засобів автоматизації. Об’єкт дослідження – процес розроблення програмно-алгоритмічної складової комп’ютерних систем критичного призначення. Предмет дослідження – формальні методи і супутні засоби, у тому числі моделі, засоби автоматизації, призначені до застосування на етапі проєктування програмно-алгоритмічної складової систем критичного призначення. За результатами проведених досліджень розроблено і впроваджено комплексний підхід, модель формалізованого подання програмно-алгоритмічної складової, метод синтезу формальних специфікацій, метод контролю відповідності формальних специфікацій, розвиток поширеного методу перевірки на моделі TLC, модель як стратифіковану архітектуру, метод контролю значення показника нефункціональних характеристик. Отримані результати призначені до застосування на етапі проєктування у складі етапів процесу розроблення програмно-алгоритмічного забезпечення систем критичного призначення. Registration Date 2024-05-14 popup.nrat_date 2024-05-14 Close