Волковий А. В. Моделі, методи та інструментальні засоби розробки багатоверсійного програмного забезпечення інформаційно-управляючих систем критичного застосування

Об’єкт дослідження – процеси розробки програмного забезпечення (ПЗ) та інформаційно-управляючих систем (ІУС) критичного застосування з використанням багатоверсійних технологій. Мета дослідження – зменшення ризику невиявлених дефектів і підвищення надійності ПЗ ІУС критичного застосування за рахунок надлишковості та різноманітності продуктів і процесів розробки. Проведені дослідження ґрунтуються на використання методів теорії графів і множин при розробці моделей багатоверсійних процесів та дефектів багатоверсійного ПЗ; методів метрико-імовірнісного аналізу надійності та експертного оцінювання при розробці методів оцінки багатоверсійного ПЗ та вибору технології. У дисертаційній роботі розроблені моделі, методи та інструментальні засоби створення ПЗ ІУС критичного застосування з використанням процесно-продуктної диверсності. Науковими результатами досліджень є: метод формування профілів багатоверсійного ПЗ для визначення множини вимог; модель життєвого циклу багатоверсійного ПЗ, що формалізує процеси диверсної розробки; метод оцінки надійності багатоверсійного ПЗ для розрахунку показників різноманітності та надійності на різних етапах проекту; метод розробки багатоверсійного ПЗ, що дозволяє вибирати технологію розробки з урахуванням вимог та проектних обмежень; інструментальні засоби, що є основою інформаційної технології підтримки процесів створення багатоверсійного ПЗ. Ступінь упровадження – галузева. Основні результати передбачається використовувати в організаціях та підприємствах, які займаються розробкою, впровадженням та сертифікацією спеціалізованих ІУС.