- Культура. Искусство
- Психология
- Домашние ремесла. Рукоделие
- Растениеводство
- Коллекционирование
- Публицистика
- Эзотерика. Парапсихология
- Медицина и здоровье
- История. Исторические науки
- Филологические науки
- Развлечения. Праздники
- Экономика. Бизнес
- Книги для родителей
- Кулинария
- Охота. Рыбалка. Собирательство
- Секс. Камасутра
- Туризм. Путеводители. Транспорт
- Философские науки. Социология
- Уход за животными
- Ремонт. Строительство. Интерьер
- Естественные науки
- Информационные технологии
- Фитнес. Спорт. Самооборона
- Красота. Этикет
- Государство и право. Юриспруденция
Validation of Communications Systems with SDL; John Wiley & Sons Limited
- Издатель: John Wiley & Sons Limited
- ISBN: 9780470864821
- Книги: Техническая литература
- ID:6516006
Цены
Последняя известная цена от 581 р. до 581 р. в 1 магазинах
Вы можете поискать его на других площадках:
Магазин | Цена | Наличие |
---|---|---|
Описание
Validation of Communications Systems with SDL provides a clear practical guide to validating, by simulation, a telecom system modelled in SDL. SDL, the Specification and Description Language standardised by the International Telecommunication Union (ITU-T), is used to specify and develop complex systems such as GSM, GPRS, UMTS, IEEE 802.11 or Hiperlan. Since the downturn in the telecom industry, validating a system before its implementation has become mandatory to reduce costs. This volume guides you step by step through the validation of a simplified protocol layer, from interactive simulation to proof of properties using reachability analysis combined with observers. Every step is explained, using the two main SDL tools commercially available: ObjectGeode™ and Tau SDL™ Suite, both from Telelogic. Contents: Short tutorial on SDL Presentation of the protocol layer case study Interactive simulation, MSC generation Scripting, automatic non-regression Auto matic validation against MSC, HMSC, etc. Random simulation Exhaustive and bit-state simulation Errors detected and not detected by simulation Other simulator features This book offers you the opportunity to: Learn expert validation techniques and tips Master advanced simulation features of Telelogic ObjectGeode™ and Tau SDL Suite™ Practice 156 hands-on exercises with solutions. The SDL models and scripts used in the exercises can be downloaded from the Web.
Смотри также о книге.
О книге
Параметр | Значение |
---|---|
Автор(ы) | Laurent Doldi |
Издатель | John Wiley & Sons Limited |
ISBN | 978-0-470-86482-1 |
Отзывы (0)
Добавить отзыв
Книги: Технические науки John Wiley & Sons Limited
Категория 465 р. - 698 р.
Книги: Технические науки
Категория 465 р. - 698 р.