Laddar…
Academic Journal
Верифікація моделі поведінки антагоністичних агентів систем безпеки
Мілов О.В., Пархуць Л.Т., Мілевський С.В., Погасій С.С.
Системи обробки інформації, Vol 4(159), Pp 65-81 (2019)
Sparad:
| Titel | Верифікація моделі поведінки антагоністичних агентів систем безпеки |
|---|---|
| Författarna | Мілов О.В., Пархуць Л.Т., Мілевський С.В., Погасій С.С. |
| Utgivningsår |
2019
|
| Källa |
Системи обробки інформації, Vol 4(159), Pp 65-81 (2019)
|
| Beskrivning |
Верифікація моделі є дуже важливим кроком в методології моделювання поведінки антагоністичних агентів сис-тем безпеки в цілому і системної динаміки зокрема. Під верифікацією моделі поведінки антагоністичних агентів буде-мо розуміти процес, що включає як формальні/кількісні інструменти, так і неформальні/якісні. У статті представле-ний процес створення моделі поведінки антагоністичних агентів. Попередньо сформовані припущення, що лежать в основі моделі, і обмеження створюваної моделі. Виділено складові моделі: підмодель захисника, підмодель атакуючого і підмодель середовища протистояння. Для кожної з підмоделей описані процеси і відносини, яка вона моделює, визначені змінні, використовувані для моделювання. Процеси і відносини між змінними представлені у вигляді системи лінійних і диференціальних рівнянь. За наведеною системи рівнянь математичної моделі побудована системно-динамічна модель взаємодії антагоністичних агентів. Показано, що для практичного використання програмної реалізації моделі поведін-ки обов'язковим є проведення процедури верифікації. Перераховані основні групи тестів, які необхідно виконати з вико-ристанням моделі, для підтвердження її адекватності умовам застосування і цілям, для досягнення яких вона була роз-роблена. Наведено результати тестування системно-динамічної моделі поведінки по основній групі тестів верифікації на кожному з трьох основних етапів перевірки моделі: структурні тести, структурно-орієнтовані тести поведінки і тести моделей поведінки. З урахуванням отриманих результатів підкреслюється особлива важливість структурно-орієнтованих поведінкових тестів. Це сильні тести поведінки, які можуть надати інформацію про потенційні недоліки структури. Ці тести представляються найбільш перспективним напрямком для досліджень по верифікації моделей.
|
| Dokumenttyp |
article
|
| Språk |
English
Russian Ukrainian |
| Information om utgivare |
Ivan Kozhedub Kharkiv National Air Force University, 2019.
|
| Ämnestermer | |
