Validation of Communications Systems with SDL
sku: 43570659
19,680.00 руб.+32%
25,979.41 руб.
Shipping from: Russia
Description
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.
Technical Details
age: | 0 |
author: | Laurent Doldi |
genres_list: | 5311 |
ISBN: | 9780470864821 |
lang: | en |
publisher: | John Wiley & Sons Limited |
Type: | book |
Форматы: |
Price history chart & currency exchange rate
Customers also viewed
+5%
21%
~ 37,290.00 руб.
Axis Communications M1124 Indoor/Outdoor Day & Night HDTV 720p Network Fixed Box Camera with 3-10.5mm Varifocal Lens, Up to 25/30fps, H.264, MJPEG, PoE, White
adorama.com+5%
20%
~ 34,100.00 руб.
Axis Communications F1025 1080p Indoor Sensor Unit with 12m / 39.37' Cable for Discreet Surveillance, Pinhole
adorama.com+5%
19%
~ 47,770.00 руб.
Axis Communications A4011-E Touch-Free Reader with Keypad for A1001 Network Door Controller
adorama.com+5%
16%
~ 46,410.00 руб.
Axis Communications P8221 Network Input/Output Audio Module with Pre-Amplifier, 8 Digital Port, PoE
adorama.com+5%
14%
~ 38,450.00 руб.
Axis Communications F1015 1080p Indoor Sensor Unit with 12m / 39.37' Cable
adorama.com+5%
10%
~ 34,670.00 руб.
Axis Communications F1005-E 1080p Indoor/Outdoor Sensor Unit with 12m / 39.37' Cable, Dust and Water-Resistant
adorama.com+5%
8%
~ 29,020.00 руб.
Axis Communications M3104-L Day & Night Discreet HDTV 720p Network Mini Dome Camera with IR Illumination, 2.8mm Fixed Lens, Up to 25/30fps, H.264, MJPEG, PoE, White
adorama.com+5%
7%
~ 21,210.00 руб.
Axis Communications T8134 60W Midspan High PoE Midspan with Data Connectivity
adorama.com+5%
4%
~ 37,500.00 руб.
Axis Communications P1275 1080p Discreet Indoor Network Modular Camera with 2.8-6mm Varifocal Lens
adorama.com+5%
1%
~ 27,030.00 руб.
Axis Communications Companion Eye L 2MP HDTV 1080p Day/Night Indoor Network Mini Dome Camera
adorama.com+5%
1%
~ 24,150.00 руб.
Axis Communications 6mm f/1.6 M12 Megapixel Lenses for P39-R Network Camera, 52 Degree Horizontal FOV, IR Filter, 10 Pack
adorama.com+5%
1%
~ 18,120.00 руб.
Axis Communications 8mm f/1.8 M12 Megapixel Lenses for M3113-R/M3114-R/209FD/209MFD/M3011/3014 Network Cameras, 10 Pack
adorama.com+5%
1%
~ 74,270.00 руб.
Axis Communications P1447-LE 5MP Day/Night Outdoor Network Bullet Camera
adorama.com+5%
1%
~ 68,200.00 руб.
Axis Communications M5013-V SVGA Vandal Resistant PTZ Dome Indoor Network Camera, 3x Digital Zoom, 3.6mm f/1.8 Lens, 30fps, H.264/Motion JPEG, PoE, IP66/IK10 Rated
adorama.com+5%
1%
~ 39,490.00 руб.
Axis Communications Canon VB-S800D Mk II 1080p Indoor Network Fixed Dome Camera
adorama.com+5%
1%
~ 66,310.00 руб.
Axis Communications M3048-P 12MP 360 Degree Panoramic Network Mini Dome Camera
adorama.com+5%
1%
~ 19,690.00 руб.
Axis Communications M12 2.8mm F2.0 Lens for F1005-E, F4005-E and P1214-E Sensor Units, 10 Pieces
adorama.com+5%
1%
~ 14,770.00 руб.
Axis Communications FA3105-L 1080p Dome Day/Night Indoor Eyeball Sensor Unit
adorama.com+5%
1%
~ 18,120.00 руб.
Axis Communications 3.6mm f/1.8 M12 Mount Megapixel Lenses for M3113-R/M3114-R/209FD/209MFD/M3011/3014 Network Cameras, 10 Pack
adorama.com+5%
1%
~ 12,100.00 руб.
Axis Communications 2mm Optional M12 Mount Lens for M3006-V Fixed Mini Dome Network Camera
adorama.com+5%
1%
~ 17,760.00 руб.
Axis Communications 2.8-8mm Fujinon CS-Mount Varifocal Megapixel P-Iris Zoom Lens
adorama.com+5%
1%
~ 64,320.00 руб.
Axis Communications M3057-PLVE 6MP Day/Night 360/180 Panoramic Network Fixed Dome Camera
adorama.com+5%
1%
~ 24,720.00 руб.
Axis Communications Tamron 5MP Lens for P1367 and P1367-E Fixed Cameras, P-Iris, 8-50 mm, F1.6
adorama.com+5%
1%
~ 8,480.00 руб.
Axis Communications 2.9-8.2mm f/1.4 CS Mount SVGA DC-Iris Varifocal Lens for M1113 Network Camera, 2.8x Optical Zoom
adorama.com+5%
1%
~ 36,820.00 руб.
Axis Communications T90B15 5700K Outdoor White LED Illuminator for Network Cameras, 10 to 80 deg. Beam Angle, 15-50m Distance Range, 733 Luminous Power, White and Silver
adorama.com+5%
1%
~ 69,040.00 руб.
Axis Communications P1214 Miniature 720p HDTV Pinhole Indoor Network Camera for Discreet Surveillance, 3.7mm f/2.5 Lens, 25/30fps Frame Rate, PoE, H.264 and Motion JPEG
adorama.com1%
~ 3,270.00 руб.
Модный мягкий современный чехол на стул с цветочным принтом на весну и лето, удобный высококачественный Эластичный Хлопковый чехол на стул
aliexpress.ru+7%
1%
~ 454.00 руб.
Cleansing Brush Daily Face Scrubber Handheld Facial Makeup Removal Deep Cleaning
aliexpress.ru-4%
1%
~ 3,860.00 руб.
Стекло ACMA DU ESI ON SAG CERCEVELI CRAFTER-SPRINTER 0616 для 2E0959877R
aliexpress.com