Временной анализ системы управления в сети обработки данных
Ключевые слова:
администрирование бортовой сети, Plug-and-Play, менеджер, конечный автомат, граф перехо- дов, MatLabАннотация
Постановка проблемы: система управления в сети обработки данных взаимодействует с сетью с помощью отправки команд и приема ответа на них. Такая система управления отвечает за жизнеспособность сети, следовательно, требуется ее проанализировать, в частности, с точки зрения поведения во времени без применения полного перебора вариантов управления. Цель: изучить и проанализировать поведение исследуемой системы управления в сети обработки данных с помощью математического моделирования, основанного на использовании известных положений теории конечных автоматов, и выполнить компьютерное моделирование полученных теоретических положений. Результаты: построен конечный автомат, представленный в виде графа переходов, отражающий поведение во времени части конкретной системы управления в сети обработки данных менеджера Plug-and-Play. Построены правила проведения и определена задача анализа конечного автомата менеджера Plug-and-Play. В результате получены виды управляющих векторов, которые приводят менеджер Plug-and-Play к правильному поведению во времени. Произведено компьютерное моделирование с помощью написанной программы-сценария в математическом пакете MatLab. Результаты моделирования приведены в виде временных диаграмм переходов конечного автомата. Поведение его изменяется в зависимости от поступающих сигналов и стартового состояния автомата. На временных диаграммах можно отследить поведение и переходы между состояниями, частоту попадания в то или иное состояние, обход состояний автомата. Практическая значимость: найденные виды управляющих векторов для менеджера Plug-and-Play без использования полного перебора не приводят к неправильным ситуациям обработки данных в сети.