Язык программирования SDL. Примеры практических приложений,

Содержание

РЕФЕРАТ 2
ВВЕДЕНИЕ 5
1 Язык спецификаций и описаний (SDL) 7
1.1 Система 7
1.2 Блоки, каналы и сигналы 11
1.3 Процессы 14
1.4 Переходы 19
1.5 Работа 19
1.6 Выходные сигналы 20
1.7 Управление временем 20
2 Программные пакеты для моделирования SDL 22
2.1 Пакет TelelogicTau 22
2.2 Программный пакет Pragmadev 23
3 Диаграммы последовательности сообщений MSC 24
4 Моделирование протокола TCP 28
4.1 Анализ системы 28
4.2 Модель работы протокола 28
4.3 SDL модель TCP 30
4.4 Процесс установления соединения 35
ЗАКЛЮЧЕНИЕ 43
БИБЛИОГРАФИЧЕСКИЙ СПИСОК 44
ПРИЛОЖЕНИЕ А 46

Введение

Телекоммуникационные протоколы, а также методы их тестирования и специфицированияв сетях связи общего пользования,развивались вместе с развитием телекоммуникационных технологий. В настоящее время, характеризующееся конвергенцией сетей с разными технологиями передачи информации и коммутации, начали использоваться новые
телекоммуникационные протоколы, основанные на принципах коммутации каналов в сетяхс временным мультиплексированием (TDM) и в сетях коммутации пакетов следующего поколения (NGN).
С ростом сложности протоколов взаимодействия в телекоммуникационных системах потребовались специальные инструменты для их описания, разработки и отладки.Для этой цели Международный Союз Электросвязи ITU- T разработал язык спецификации и описания (SDL).
Ввиду вышесказанного, задачи анализа и формализации спецификаций SDL представляются актуальными. SDL широко используется в известных компаниях-разработчиках телекоммуникационного оборудования.
Существует стандартный способ спецификации телекоммуникационных протоколов, который включает три этапа. На первом этапе дается повествовательное описание протокола, на втором строятся стрелочные диаграммы с использованием языка MSC и на заключительном этапе представляются SDL-спецификации.
Актуальность исследований
Инструменты визуального моделирования позволяют вводить описание системы, моделируемой естественным образом для пользователя, специалиста в своей области применения, в основном в графической форме, и автоматически переводить это описание на язык программирования.Использование этих инструментовразработки позволяет разработчикам программного обеспечения выявлять ошибки на ранних стадиях проектирования, в конечном итоге сокращая время и затраты на разработку.
Цель работы
Исследование языка спецификации SDLH его способность описывать структуры телекоммуникационных протоколов.

Возникли сложности?

Нужна помощь преподавателя?

Помощь в написании работ!

ДИПЛОМНЫЕ МАГИСТЕРСКИЕ ДИССЕРТАЦИИ

КУРСОВЫЕ СТАТЬИ ВКР

Заключение

Данная работа посвящен методологии языка спецификации телекоммуникационных протоколов сетей связиЗИЕ,также в ней рассмотрены необходимые для этого программные средства визуального моделированияи вспомогательный язык MSC.
В первой части был подробно описан язык SDE, его структура и используемые в нем обозначения.
Вторая частьпосвященапрограммным средствам визуального
моделирования для работы с ЗИЕ:пакету TelelogicTaun пакету PragmadevStudio.
В третьей части рассказано про язык MSC и приведен пояснительный пример.
В четвертойчасти представлена методика моделирования на примере протокола TCP.
В результате проделанной работы был проведен анализ языков моделирования ЗИЕи MSC. Построена SDL модель протокола ТСРи рассмотрен процесс установления соединения по средствам SDE-диаграмм и MSCсценария обмена сообщениями.
В заключение не могу не отметить, что в ходе исследования языка SDE, я убедился, что он является хорошим и необходимым инструментом визуального моделирования^ наглядной и понятной форме приводящем спецификацию и описание чем упрощает и ускоряет процесс разработки той или иной системы.

Литература

1 ITU-T Recommendation Z.100 (11/99):Specification and Description Language (SDL), International Telecommunication Union (ITU), 1999
2 Гольдштейн Б. С., Сибирякова Н. Г. Методические указания к лабораторным работам по теме: Системы сигнализации телефонной сети общего пользования (ТфОП) - Изд-во СПбГУ им М.А. Бонч-Бруевича, 2002. - 42с.
3 ITU-T. Extended Object Definition Language (eODL): Techniques for dis-tributed software component development - Conceptual foundation, nota-tions and technology mappings. ITU-T Recommendation Z.130, International Telecommunication Union - Telecommunication Standardization Sector, 2003
4 Морган Бьоркандер Графическое программирование с
использованиемUML и SDL.Открытые системы, №1,2001
5 Фаергеманд О., Сарма А., Гольдштейн Б. SDL-92: анализ современного состояния// Электросвязь. - 199 . - №
6 Anders Olsen, OveFaergemand, Birger Moeller Pedersen, J. R. W. Smith and Rick Reed, “Systems Engineering Using SDL-92”, North Holland, 1994
7 Протоколы транспортного уровня UDP, TCP и SCTP: достоинства и недостатки / А. Лейкин // Первая миля. - 2013. - № 5.
8 Методы формальной спецификации программ : языки MSC и SDL, Мансуров Н. Н., Майлингова О. Л. -1998
9 Гольдштейн Б.С. Технологические аспекты проектирования программного обеспечения цифровых систем коммутации// Электросвязь. - 1988.
10 SDL-RT Consortium. Specification and Description Language - Real Time. SDL-RT Standard V2.3. http://www.sdlrt.org/standard/V2.3/html/index.htm, 2013
11 ITU-T. SDL-2000 combined with UML. ITU-T Recommendation Z.109, Inter-national Telecommunication Union - Telecommunication Standardization Sec-tor, 2007.
12 Стивен А. Раго, Стивенс У. PunapgUNIX. Профессиональное программирование
13 Терехов А.Н., Романовский К.Ю, Кознов Дм. В., Долгов П.С., Иванов
А.Н. Объектно-ориентированная методология разработки
информационных систем и систем реального времени. // Объектно-ориентированное визуальное моделирование / Под ред. Проф. Терехова А.Н. - СПб: Издательство С.-Петербургского университета, 1999. С.4-20.
14 Raid Y. Zaghal and Javed I. Khan EFSM/SDL modeling of the original TCP standard (RFC793) and the Congestion Control Mechanism of TCP Reno
15 Протокол T CPhttp ://citforum. ru/nets/tcp/tcpspec. shtml