Validation of Communications Systems with SDL; John Wiley & Sons Limited

  • Издатель: John Wiley & Sons Limited
  • ISBN: 9780470864821
  • Книги: Техническая литература
  • ID:6516006
Где купить

Цены

Последняя известная цена от 581 р. до 581 р. в 1 магазинах

В данный момент у нас нет информации о наличии данного товара в магазинах.
Вы можете поискать его на других площадках:

МагазинЦенаНаличие
Крупнейшая в Беларуси оптовая и розничная торговая сеть строительных материалов и инструментов
Мы предлагаем профессиональную консультацию, вежливое обслуживание, честные цены и быструю и аккуратную доставку
Промокоды на скидку
Мы трудимся, чтобы предложить максимальный выбор: товаров, способов оплаты, вариантов доставки — и лучший сервис
Промокоды на скидку
24shop - это возможность приобрести все необходимое в одном месте
Домотехника
5/5
Быстрая доставка. Мы доставляем товар по всей Беларуси в удобное для вас время
Промокоды на скидку
Заказ от 800 рублей мы привезем бесплатно!
Яндекс.Маркет
5/5
Промокоды на скидку

Описание

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.

Смотри также о книге.

О книге


ПараметрЗначение
Автор(ы)
ИздательJohn Wiley & Sons Limited
ISBN978-0-470-86482-1


Отзывы (0)


Зарегистрируйтесь и получайте бонусы за покупки!


Книги: Технические науки John Wiley & Sons Limited

Категория 465 р. - 698 р.

Книги: Технические науки

Категория 465 р. - 698 р.

закладки (0) сравнение (0)

368 ms