Телекоммуникационные технологии


Модель машины конечных состояний - часть 2


S Набор состояний процессов и канала
M Набор кадров, которые могут быть переданы по каналу
I Набор исходных состояний процессов
T Набор переходов между состояниями

В начальный момент все процессы находятся в исходных состояниях. Дальнейшие переходы из состояния в состояние определяются событиями, происходящими в системе. Каждое событие может вызвать переход в новое состояние какого-то процесса или канала. Если в результате анализа графа машины конечных состояний выясняется, что в случае прихода кадра некоторого типа, не определено, в какое состояние должна перейти машина, это свидетельствует о наличии ошибки в протоколе. Если обнаруживается одно или несколько состояний, из которых нет перехода куда-либо во вне (тупик), такое положение также свидетельствует об ошибке. В качестве примера машины конечных состояний можно рассмотреть граф протокола .


Previous:

   UP:

    Next:




Начало  Назад  Вперед



Книжный магазин