Волковий А. В. Моделі, методи та інструментальні засоби розробки бага-товерсійного програмного забезпечення інформаційно-управляючих систем критичного застосування. - Рукопис. Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.06 - автоматизовані системи управління та прогресивні інформаційні технології. - Національний аерокосмічний університет ім. М.Є. Жуковського "Харківський авіаційний інститут", Харків, 2006. Дисертація присвячена розробці методів та моделей, що дозволяють комплексно вирішувати задачу вибору видів і об'єму диверсності для програмного забезпечення інформаційно-управляючих систем критичного застосування з урахуванням вимог нормативних документів і специфікації проекту. Науковими результатами є: метод формування профілів багатоверсійного ПЗ, який дозволяє автоматизувати процес визначення множини вимог для розробки та верифікації ПЗ; модель життєвого циклу багатоверсійного ПЗ, яка враховує види диверсності, кількість версій на кожному етапі; метод оцінки надійності багатоверсійного ПЗ, який за рахунок використашія спеціальних метрик дозволяє розраховувати показники надійності на різних етапах життєвого циклу; метод розробки багатоверсійного ПЗ, що базується на поетапному виборі багатоверсійної технології і дозволяє скоротити витрати на розробку при забезпеченні необхідного рівня надійності. Використання цих методів та інструментальних засобів, що створені для їх підтримки, під час розробки багатоверсійного ПЗ дозволяє знизити ризик невиявлених дефектів та забезпечити підвищення надійності ІУС за рахунок від-мовостійкості багатоверсійного ПЗ. Ключові слова: інформаційно-управляюча система, програмне забезпечення, відмовостійкість, надійність, надлишковість, багатоверсійність, диверсність.