Верифікація моделі поведінки антагоністичних агентів систем безпеки

Autor: Мілов О.В., Пархуць Л.Т., Мілевський С.В., Погасій С.С.
Jazyk: English<br />Russian<br />Ukrainian
Rok vydání: 2019
Předmět:
Zdroj: Системи обробки інформації, Vol 4(159), Pp 65-81 (2019)
Druh dokumentu: article
ISSN: 1681-7710
2518-1696
Popis: Верифікація моделі є дуже важливим кроком в методології моделювання поведінки антагоністичних агентів сис-тем безпеки в цілому і системної динаміки зокрема. Під верифікацією моделі поведінки антагоністичних агентів буде-мо розуміти процес, що включає як формальні/кількісні інструменти, так і неформальні/якісні. У статті представле-ний процес створення моделі поведінки антагоністичних агентів. Попередньо сформовані припущення, що лежать в основі моделі, і обмеження створюваної моделі. Виділено складові моделі: підмодель захисника, підмодель атакуючого і підмодель середовища протистояння. Для кожної з підмоделей описані процеси і відносини, яка вона моделює, визначені змінні, використовувані для моделювання. Процеси і відносини між змінними представлені у вигляді системи лінійних і диференціальних рівнянь. За наведеною системи рівнянь математичної моделі побудована системно-динамічна модель взаємодії антагоністичних агентів. Показано, що для практичного використання програмної реалізації моделі поведін-ки обов'язковим є проведення процедури верифікації. Перераховані основні групи тестів, які необхідно виконати з вико-ристанням моделі, для підтвердження її адекватності умовам застосування і цілям, для досягнення яких вона була роз-роблена. Наведено результати тестування системно-динамічної моделі поведінки по основній групі тестів верифікації на кожному з трьох основних етапів перевірки моделі: структурні тести, структурно-орієнтовані тести поведінки і тести моделей поведінки. З урахуванням отриманих результатів підкреслюється особлива важливість структурно-орієнтованих поведінкових тестів. Це сильні тести поведінки, які можуть надати інформацію про потенційні недоліки структури. Ці тести представляються найбільш перспективним напрямком для досліджень по верифікації моделей.
Databáze: Directory of Open Access Journals
Externí odkaz: