Системи обробки інформації (Nov 2019)
Верифікація моделі поведінки антагоністичних агентів систем безпеки
Abstract
Верифікація моделі є дуже важливим кроком в методології моделювання поведінки антагоністичних агентів сис-тем безпеки в цілому і системної динаміки зокрема. Під верифікацією моделі поведінки антагоністичних агентів буде-мо розуміти процес, що включає як формальні/кількісні інструменти, так і неформальні/якісні. У статті представле-ний процес створення моделі поведінки антагоністичних агентів. Попередньо сформовані припущення, що лежать в основі моделі, і обмеження створюваної моделі. Виділено складові моделі: підмодель захисника, підмодель атакуючого і підмодель середовища протистояння. Для кожної з підмоделей описані процеси і відносини, яка вона моделює, визначені змінні, використовувані для моделювання. Процеси і відносини між змінними представлені у вигляді системи лінійних і диференціальних рівнянь. За наведеною системи рівнянь математичної моделі побудована системно-динамічна модель взаємодії антагоністичних агентів. Показано, що для практичного використання програмної реалізації моделі поведін-ки обов'язковим є проведення процедури верифікації. Перераховані основні групи тестів, які необхідно виконати з вико-ристанням моделі, для підтвердження її адекватності умовам застосування і цілям, для досягнення яких вона була роз-роблена. Наведено результати тестування системно-динамічної моделі поведінки по основній групі тестів верифікації на кожному з трьох основних етапів перевірки моделі: структурні тести, структурно-орієнтовані тести поведінки і тести моделей поведінки. З урахуванням отриманих результатів підкреслюється особлива важливість структурно-орієнтованих поведінкових тестів. Це сильні тести поведінки, які можуть надати інформацію про потенційні недоліки структури. Ці тести представляються найбільш перспективним напрямком для досліджень по верифікації моделей.
