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

Разработан метод исследования задачи быстродействия для линейной дискретной системы, позволяющий в общем случае улучшать известные верхние оценки времени быстродействия и находить гарантирующие процессы управления. Получены достаточные условия, при которых имеет место сходимость к оптимальному решению в задаче. Метод реализован в виде эффективного численного алгоритма.