Da
Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
Venditore AbeBooks dal 15 aprile 2021
LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. Codice articolo ERICA77304708528606
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:
This book offers you the opportunity to:
Informazioni sull'autore: Laurent Doldi worked for several years in safety-critical software development at Airbus. He then joined Verilog in 1987 where he used SDL for many customer applications. Since 1997 Doldi has been a private consultant, using Telelogic's ObjectGeode™ and Tau SDL Suite™ for design, simulation and code generation worldwide on UMTS, GPRS, rocket mission-critical software, PC firmware, and several satellite communications systems. Laurent Doldi is also author of SDL Illustrated - Visually design executable models - TMSO - ISBN 2-9516600-0-6.
Titolo: Validation of Communications Systems with ...
Casa editrice: Wiley
Data di pubblicazione: 2003
Legatura: Hardcover
Condizione: Like New
Tipologia articolo: book