Поведінковий прихований контроль розподілених інформаційних систем з урахуванням енерговитрат

Анотація

Введення додаткових нових енерговитратних властивостей для позицій і переходів у властивості, які перевіряються в розширеної еталонної мережі Петрі, для яких визначаються відхилення мережі Петрі і розробляється модель контролю, дає нові можливості діагностування. Зберігаючи клас перевіряються властивостей в складі відхилень відносин інцидентності, відповідностей і функцій розмітки позицій і переходів для перевіряємої і еталонної мереж Петрі, нові властивості дозволяють фіксувати появу критичних температурних режимів, які є наслідком помилок або безпосередньо ведуть до їх появи. Така різнобічність контролю сприяє підвищенню його повноти, точності і оперативності. Енерго-навантажена модель контролю заснована на базовій перевірці відношень інцидентності, відповідностей і функцій розмітки. Перевірка функцій розмітки при формуванні подій в позиціях, виконанні дій в переходах, а також запропонована перевірка показників енерговитрат, що накопичуються в фішках-моніторах, виконується при зазначеної перевірці відношень інцидентності, відповідностей і функцій розмітки. До особливостей моделі контролю відноситься введення узагальнених енерго-навантажених фішок-реєстраторів мереж Петрі, які накопичують інформацію про енерговитрати в поведінці елементів трьох рівнів - позицій/переходів, топологічних компонентів і підмереж, всієї мережі Петрі в процесі її функціонування. Модель контролю також відрізняється розпізнаванням еталонної енерго-навантаженої поведінки при перевірці мережі Петрі на основі поведінкової ідентифікації і ототожнення підмножин позицій і переходів, детермінізації поведінки, застосуванням контрольних примітивів і транзакцій. Поведінкова модель контролю визначає формальні умови для процедур поведінкового контролю, що включає аналіз коректності енергоспоживання. Розмірність моделі контролю оцінена за допомогою представлення графів мережі Петрі, спеціальних графів досяжних станів, в тому числі автоматів Рабина-Скотт, за допомогою спискових структур. Наведені оцінки визначають межі застосування формальної моделі контролю.