Рисунок 3.6 – Однородный полумарковский процесс
Здесь блуждания относительно крайнего левого нулевого состояния можно представить с помощью двух эквивалентных графов переходов, изображенных на рис. 3.7.
Рисунок 3.7 – Эквивалентные графы для исследования блужданий относительно нулевого (а) и первого (б) состояний
Функции
Учитывая предельное свойство преобразование Лапласа
Из выражения (3.20) следует, что вероятность возврата процесса в исходное нулевое состояние для бесконечного графа, изображенного на рис. 3.6, определяется соотношением
где
Отметим, что среднее число возвратов процесса в исходное состояние может быть найдено по формуле
На основе полученных моделей объединяющих вероятности переходов между состояниями, случайные времена переходов удобно определять по вероятностно – временному графу, который описывает переходы процесса из одного состояния в другое. Такой вероятностно-временной граф для базовой модели управления вызовами на приемной стороне строится на основании соответствующей базовой модели состояний вызова, описанной в предыдущем разделе. Поэтому далее разрабатывается алгоритм функционирования базовой модели управления вызовами на приемной стороне, который определяет последовательность процедур в определенной временной последовательности. Эти процедуры в свою очередь определяют вероятностно-временные характеристиками, для анализа которых и используются вероятностно-временные графы.
4. Разработка алгоритма функционирования базовой модели управления вызовами на приемной стороне
На основании вышеизложенного описания BCSM на приемной стороне и в соответствии с рекомендациями ITU-TQ.1214 разработаем алгоритм ее функционирования BCSM. В качестве инструмента взят программный пакет CinderellaSDL 1.0, позволяющий разрабатывать, анализировать и модифицировать систему описываемые на языке спецификаций и описаний SDL (SpecificationandDescriptionLanguage), в сочетании с двумя другими языками спецификаций: ASN1 (AbstractSyntaxNotation 1), MSC (MessageSequenceChart).
Основу языка составляет концепция взаимодействия конечных автоматов. При этом динамическое поведение системы описывается с помощью механизмов функционирования расширенных конечных автоматов и связей между ними, называемых процессами. Наборы процессов образуют блоки. Блоки, соединенные друг с другом и со своим окружением каналами, в свою очередь, образуют SDL-систему.
Каждый сигнал подлежит точному определению в спецификации SDL с указанием значений типов данных, которые могут быть переданы данным сигналом.
Процесс описывает поведение некоторого определенного объекта системы в SDL и является наиболее важным объектом в языке. Поведение каждого процесса определяется расширенным конечным автоматом, который выполняет действия и генерирует реакции (сигналы) в ответ на внешние воздействия (сигналы).
Конечный автомат имеет конечное число внутренних состояний и оперирует с конечным дискретным множеством входов и выходов. Под автоматом с конечным числом состояний понимается объект, находящийся в одном из дискретных состояний
Сигналы подразделяются на два типа: возобновляющие и порождающие. Возобновляющий сигнал при поступлении на ввод переводит процесс из состояния, предшествующего вводу, в переход. Порождающий сигнал генерирует новый процесс, который переводится в переход. Кроме того, можно выделить поглощающее состояние, при переходе в которое процесс исчезает (поглощается данным состоянием).
Процесс в SDL-спецификации имеет конечное число состояний, в каждом из которых он может принимать ряд отправленных этому процессу допустимых сигналов. Процесс может находиться в одном из состояний или в переходе между состояниями. Если во время перехода поступает сигнал, предназначенный дня данного процесса, то он ставится в очередь к процессу.
Процесс в SDL рассматривается как некий объект, который находится в состоянии ожидания получения входного сигнала либо в переходе. Состояние определяется как условие, в котором действие процесса временно приостановлено в ожидании ввода.
Разработанный алгоритм представлен в приложении Б.
В данном алгоритме реализуются следующие состояния:
1) S7 – свободное состояние. Переход в это состояние происходит под воздействием следующих событий: завершен процесс разъединения и освобождения, связанный с предыдущим вызовом, абонентские линии (АЛ) и соединительные линии (СЛ) системы коммутации свободны.
При этом наблюдаются следующие функции: освобождение линий и каналов; контроль исходного состояния, проверка правомочности входящего вызова.
Выход из этого состояния происходит под воздействием следующих событий: входящий вызов разрешен, отказ входящей связи.
2) S8 – выбор ресурса и оповещение о вызове. Переход в это состояние происходит под воздействием события – прием входящего вызова и разрешение направить его к адресату.
При этом наблюдаются следующие функции: выбор ресурса для обслуживания вызова, извещение о вызове к вызываемому терминальному оборудованию.
Выход из этого состояния происходит под воздействием следующих событий: входящая сторона извещается о вызове, получен ответ вызываемой стороны, вызываемая сторона занята или недоступна, отказ вызывающей стороны от связи.
3) S9 – посылка вызова. Переход в это состояние происходит под воздействием следующего события – входящая сторона извещается о вызове.
При этом наблюдаются следующие функции: оповещение исходящей станции и ожидание ответа вызываемой стороны.
Выход из этого состояния происходит под воздействием следующих событий: ответ вызываемой стороны, отсутствие ответа, отказ вызывающей стороны от связи.
4) S10 – разговор. Переход в это состояние происходит под воздействием события – получен ответ вызываемой стороны.
При этом наблюдаются следующие функции: устанавливается соединение между исходящей и входящей сторонами, проводится наблюдение за состоянием связи.
Выход из этого состояния происходит под воздействием следующих событий: прием от вызванной стороны услуги или компонента услуги, обрыв соединения, разъединение вызванной стороной или исходящей стороной.
5) S11 – освобождение. Переход в это состояние осуществляется при обнаружении одного из условий освобождения: истек тайм-аут, некорректная информация, невозможность выбора ресурса, абонент занят, нет ответа, обрыв соединения.
Здесь выполняются следующие функции: производятся действия по освобождению всех устройств, участвующих в соединении.
Выход из этого состояния происходит под воздействием события: все устройства, участвующие в соединении, перешли в свободное состояние.
В результате анализа контрольных точек (12–18) приведенной модели BCSM на приемной стороне были определены основные информационные сообщения, которые могут передаваться при предоставлении услуг IN между SSF и SCF: