Search academic texts

Information × Registration Number 0406U004460, Candidate dissertation Status к.т.н. Date 20-10-2006 popup.evolution o Title Models, methods and tools for development of multi-version software of critical information control system Author Volkoviy Andriy Volodimirovich, popup.head Kharchenko Vyacheslav Sergeevich popup.opponent Фурман Ілля Олександрович popup.opponent Виноградська Світлана Василівна Description Об’єкт дослідження – процеси розробки програмного забезпечення (ПЗ) та інформаційно-управляючих систем (ІУС) критичного застосування з використанням багатоверсійних технологій. Мета дослідження – зменшення ризику невиявлених дефектів і підвищення надійності ПЗ ІУС критичного застосування за рахунок надлишковості та різноманітності продуктів і процесів розробки. Проведені дослідження ґрунтуються на використання методів теорії графів і множин при розробці моделей багатоверсійних процесів та дефектів багатоверсійного ПЗ; методів метрико-імовірнісного аналізу надійності та експертного оцінювання при розробці методів оцінки багатоверсійного ПЗ та вибору технології. У дисертаційній роботі розроблені моделі, методи та інструментальні засоби створення ПЗ ІУС критичного застосування з використанням процесно-продуктної диверсності. Науковими результатами досліджень є: метод формування профілів багатоверсійного ПЗ для визначення множини вимог; модель життєвого циклу багатоверсійного ПЗ, що формалізує процеси диверсної розробки; метод оцінки надійності багатоверсійного ПЗ для розрахунку показників різноманітності та надійності на різних етапах проекту; метод розробки багатоверсійного ПЗ, що дозволяє вибирати технологію розробки з урахуванням вимог та проектних обмежень; інструментальні засоби, що є основою інформаційної технології підтримки процесів створення багатоверсійного ПЗ. Ступінь упровадження – галузева. Основні результати передбачається використовувати в організаціях та підприємствах, які займаються розробкою, впровадженням та сертифікацією спеціалізованих ІУС. Registration Date 2006-10-20 popup.nrat_date 2020-04-04 Close