Интернет конференция по проблемам теории и практики управления

Название: МОДЕЛЬ ДОСТУПНОСТИ ПОТОКОВОЙ СИСТЕМЫ ОБРАБОТКИ ДАННЫХ
Автор: Виталий Промыслов
Аннотация:
В работе анализируется проблема проектирования системы с учетом доступности для цифровых вычислительных систем, ориентированных на потоковую обработку данных. Доступность рассматривается в контек-сте модели «конфиденциальность, целостность доступность (КЦД)» информационной безопасности. Доступность характеризуется тем, что она является «точечной» оценкой временной характеристики системы, ее функции или элемента. Для оценки доступности предложена трехуровне-вая референтная модель, связанная с различным представлением системы на архитектурном и функциональном уровне. Рассмотрена реализация модели в рамках теории сетевых исчислений (ТСИ), что позволяет рас-считать предельные (консервативные) оценки временных параметров в системе. Показана применимость модели с ТСИ в инженерной практике для анализа доступности распределенных цифровых вычислительных си-стемах системы с конкурентной обработкой потоковых данных. Полу-ченная оценка доступности может быть использована для диагностики отклонений поведения системы в результате ошибок или враждебных действий злоумышленника, а также при проектировании для обоснования архитектуры и характеристик компонентов системы.
Ключевые слова:
доступность, модель, проектирование, теория сетевых исчислений, ана-лиз, информационная безопасность.

Название: ОЦЕНКА СОБСТВЕННОЙ ХАРАКТЕРИСТИКИ
КИБЕРФИЗИЧЕСКОЙ СИСТЕМЫ МЕТОДОМ СЕТЕВЫХ ИСЧИСЛЕНИЙ
Автор: Виталий Промыслов
Соавторы:
Промыслов В. Г. , Семенков К. В. , Жарко Е. Ф.
Аннотация:
В работе рассматриваются подходы к решению частной задачи обеспе-чения безопасности киберфизических систем, к которым относятся мно-гие объекты критической информационной инфраструктуры, включая такие сферы как транспорт, связь, энергетика и промышленность, а именно, к оценке доступности как максимальной задержки передачи и обработки данных. Анализируются способы оценки собственной харак-теристики киберфизических системы – так называемой кривой обслужи-вания, которая представляет собой детерминированные ограничения, связывающие вход системы и минимальный поток на выходе системы. Оценка кривой обслуживания рассматривается в рамках метода сетевых исчислений и подходов мини и макси-плюс алгебры, которые составляют математическую основу метода. Для оценки кривой обслуживания взят один ранее разработанный метод, использующий свойство дуальности преобразований мини- и макси-плюс алгебры, и предложен новый метод, основанный на связи двух видов кривых обслуживания мини и макси кривой обслуживания. Методы рассматриваются с учетом их применения для реальных систем и существующих ограничений на возможности измерения, в частности конечность области определения наблюдаемых потоков данных. На основе анализа двух методов делается вывод, что каждый из методов дает возможную кривую обслуживания, но для ее уточнения тре-буется априорные данные об алгоритме работы системы.
Ключевые слова:
киберфизическая система, моделирование, сетевые исчисления, Network Calculus, мини и макси-плюс алгебра, кривая обслуживания, доступность