ПОВЕДІНКОВИЙ РОБОЧИЙ КОНТРОЛЬ МЕРЕЖЕВИХ КОМП’ЮТЕРНИХ СИСТЕМ

Анотація

асоби робочого (оперативного) контролю, що застосовуються для сучасних мережевих комп'ютерних систем, з необхідністю перевіряють їх поведінкові властивості, що знаходить
відображення в побудові і застосуванні розвинених сценаріях розподіленої фонової перевірки функціонування мережевих комп'ютерних систем (МКС) та їх компонентів. Мета цієї роботи полягає в
підвищенні повноти поведінкового робітничого контролю, виконуваного для компонентів МКС в реальному часі основного функціонування з урахуванням тимчасових і випадкових характеристик роботи. Така можливість може бути отримана при поданні компонентів МКС розширеними мережами
Петрі. Для досягнення мети вирішуються завдання: побудови моделі поведінкового робітничого контролю для компонента МКС, заснованої на розпізнаванні функцій мережі Петрі; визначення основних кроків процедури виконання поведінкового робітничого контролю компонентів МКС; оцінки очікуваної обчислювальної складності одержуваного поведінкового робітничого контролю. Представлена в роботі модель поведінкового робітничого контролю заснована на організації фонового розпізнає експерименту для розширеної мережі Петрі. Розширена мережа Петрі вводить інтервальні
(часові) і ймовірні властивості функцій для позицій і переходів. Модель має особливості розпізнавання розширених функцій мережі Петрі, застосуванням ідентифікаторів поведінки, побудованих на їх
основі контрольних примітивів і фрагментів, а також сигнатурою операцій композиції фрагментів
і відносин для них. Попереднє побудова ідентифікаторів може бути виконано на основі спеціальних
графів досяжних розміток. Ідентифікатори і примітиви разом з операціями перетворень поведінки
мережі Петрі в її розпізнану структуру дозволяють побудувати процедуру порівняння поведінки перевіряється і еталонного компонента в ході робочого контролю. Модель і процедура можуть бути
взяті за основу при визначенні умов поведінкового робітничого контролю, побудові розподілених методу і системи робочого контролю МКС. Загальні аналітичні оцінки розмірності довжини контрольного
аналізу показують його досяжність при використанні сучасних засобів робітничого контролю.