Validation of Communications Systems with SDL: The Art of SDL Simulation and Reachability Analysis

Valutazione media 0
( su 0 valutazioni fornite da Goodreads )
 
9780470852866: Validation of Communications Systems with SDL: The Art of SDL Simulation and Reachability Analysis

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

About the Author:

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

I migliori risultati di ricerca su AbeBooks

1.

Laurent Doldi
Editore: Wiley (2003)
ISBN 10: 0470852860 ISBN 13: 9780470852866
Nuovi Rilegato Quantità: 1
Da
Irish Booksellers
(Rumford, ME, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Wiley, 2003. Hardcover. Condizione libro: New. book. Codice libro della libreria 0470852860

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 37,84
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

2.

Laurent Doldi
Editore: Wiley (2003)
ISBN 10: 0470852860 ISBN 13: 9780470852866
Nuovi Rilegato Quantità: 1
Da
Ergodebooks
(RICHMOND, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Wiley, 2003. Hardcover. Condizione libro: New. Codice libro della libreria SONG0470852860

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 42,65
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,43
In U.S.A.
Destinazione, tempi e costi

3.

Laurent Doldi
ISBN 10: 0470852860 ISBN 13: 9780470852866
Nuovi Quantità: 1
Da
Castle Rock
(Pittsford, NY, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: Brand New. Book Condition: Brand New. Codice libro della libreria 97804708528661.0

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 58,77
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,43
In U.S.A.
Destinazione, tempi e costi

4.

Laurent Doldi
ISBN 10: 0470852860 ISBN 13: 9780470852866
Nuovi Quantità: 1
Da
Bookshub
(Karol Bagh, India)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. New. US edition. Perfect condition. Customer satisfaction our priority. Codice libro della libreria ABE-FEB-45538

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 78,84
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: India a: U.S.A.
Destinazione, tempi e costi

5.

Laurent Doldi
ISBN 10: 0470852860 ISBN 13: 9780470852866
Nuovi Quantità: 1
Da
EBOOKSTORE2010
(New Delhi, ND, India)
Valutazione libreria
[?]

Descrizione libro Condizione libro: Brand New. New. US edition. Customer Satisfaction guaranteed!!. Codice libro della libreria SHUB45538

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 78,89
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: India a: U.S.A.
Destinazione, tempi e costi

6.

Laurent Doldi
ISBN 10: 0470852860 ISBN 13: 9780470852866
Nuovi Quantità: 1
Da
Basi6 International
(Irving, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: Brand New. New, US edition. Excellent Customer Service. Codice libro della libreria ABEUSA-45538

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 82,15
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

7.

Laurent Doldi
Editore: Wiley (2003)
ISBN 10: 0470852860 ISBN 13: 9780470852866
Nuovi Rilegato Quantità: 1
Da
Ergodebooks
(RICHMOND, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Wiley, 2003. Hardcover. Condizione libro: New. 1. Codice libro della libreria DADAX0470852860

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 85,36
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,43
In U.S.A.
Destinazione, tempi e costi

8.

Laurent Doldi
Editore: John Wiley and Sons Ltd, United Kingdom (2003)
ISBN 10: 0470852860 ISBN 13: 9780470852866
Nuovi Rilegato Quantità: 1
Da
The Book Depository US
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro John Wiley and Sons Ltd, United Kingdom, 2003. Hardback. Condizione libro: New. New.. Language: English . Brand New Book. 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[trademark] and Tau SDL[trademark] Suite, both from Telelogic. The contents include: short tutorial on SDL; presentation of the protocol layer case study; interactive simulation, MSC generation; scripting, automatic non-regression; automatic validation against MSC, HMSC, etc; random simulation; exhaustive and bit-state simulation; errors detected and not detected by simulation; and other simulator features. This book offers you the opportunity to: learn expert validation techniques and tips; master advanced simulation features of Telelogic ObjectGeode[trademark] and Tau SDL Suite[trademark]; and practice 156 hands-on exercises with solutions.The SDL models and scripts used in the exercises can be downloaded from the Web. Codice libro della libreria AAH9780470852866

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 118,13
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

9.

Laurent Doldi
Editore: John Wiley and Sons Ltd, United Kingdom (2003)
ISBN 10: 0470852860 ISBN 13: 9780470852866
Nuovi Rilegato Quantità: 1
Da
The Book Depository
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro John Wiley and Sons Ltd, United Kingdom, 2003. Hardback. Condizione libro: New. New.. Language: English . Brand New Book. 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[trademark] and Tau SDL[trademark] Suite, both from Telelogic. The contents include: short tutorial on SDL; presentation of the protocol layer case study; interactive simulation, MSC generation; scripting, automatic non-regression; automatic validation against MSC, HMSC, etc; random simulation; exhaustive and bit-state simulation; errors detected and not detected by simulation; and other simulator features. This book offers you the opportunity to: learn expert validation techniques and tips; master advanced simulation features of Telelogic ObjectGeode[trademark] and Tau SDL Suite[trademark]; and practice 156 hands-on exercises with solutions.The SDL models and scripts used in the exercises can be downloaded from the Web. Codice libro della libreria AAH9780470852866

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 118,14
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

10.

Laurent Doldi
Editore: Wileyand#8211;Blackwell (2003)
ISBN 10: 0470852860 ISBN 13: 9780470852866
Nuovi Quantità: 2
Da
Books2Anywhere
(Fairford, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Wileyand#8211;Blackwell, 2003. HRD. Condizione libro: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Codice libro della libreria FW-9780470852866

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 108,24
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 10,08
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro