Модель доступности на основе теории сетевого исчисления для потоковой системы обработки данных

Анализируется проблема проектирования системы с учетом доступности для цифровых вычислительных систем, ориентированных на потоковую обработку данных. Доступность рассматривается в контексте модели «конфиденциальность, целостность доступность (КЦД)» информационной безопасности. Доступность характеризуется тем, что она является оценкой временных свойств системы, ее функции или компонента в заданных условиях в конкретный момент времени. Для оценки доступности предложена трехуровневая референтная модель, связанная с различным представлением системы на архитектурном и функциональном уровне. Рассмотрена реализация модели в рамках теории сетевых исчислений (ТСИ), что позволяет рассчитать предельные (консервативные) оценки временных параметров в системе. Показана применимость модели с ТСИ в инженерной практике для анализа доступности в распределенных цифровых вычислительных системах с конкурентной обработкой потоковых данных. Полученная оценка доступности может быть использована для диагностики отклонений поведения системы в результате ошибок или враждебных действий злоумышленника, а также при проектировании для обоснования архитектуры и характеристик компонентов системы.