Контролепридатність ієрархічних переходів у поведінковому контролі

Abstract

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