Халіфе К. Ю. Проектування програмних засобів комп'ютерних систем критичного застосування для забезпечення інформаційної безпеки

Мета дослідження полягає в забезпеченні необхідного рівня безпеки системних програмних засобів на основі синтезу методу проектування програмних засобів комп'ютерних систем критичного застосування.Об'єкт дослідження – процес проектування програмних засобів комп'ютерних систем критичного застосування. Предмет дослідження – методи проектування програмних засобів для забезпечення інформаційної безпеки комп'ютерних систем критичного застосування.1. Вперше розроблено комплекс математичних моделей технологій управління та тестування програмних засобів, який складається з GERT-моделей тестування та системи управління тест-кейсами, що враховує всі етапи життєвого циклу багів та управління тест-кейсами. Розроблений комплекс дозволив підвищити точність результатів математичного моделювання в умовах тестування на уразливості до різного роду загроз зловмисних хакерських вторгнень та проводити попередню оцінку часових витрат одного з найбільш трудомістких процесів життєвого циклу програмного забезпечення – розробки технічної документації проекту. 2. Одержав подальший розвиток комплекс математичних моделей основних етапів розробки програмних засобів, який заснований на концептуальних положеннях Agile і відрізняється від відомих врахуванням показників безпечного програмування, що дозволило підвищити точність результатів моделювання. 3. Удосконалено метод масштабування методології проектування програмних засобів комп'ютерних систем критичного застосування з урахуванням вимог безпеки, який відрізняється від відомих можливістю управління існуючими в організації (фірмі) силами (фахівцями) як в складі команди, так і в площині фахівців суміжного напряму (фахівців безпечного програмування і тестування безпеки програмних засобів), що дозволило знизити показник відносного збитку на всіх етапах життєвого циклу програмного забезпечення.