 |
|
|
Validation of Communications Systems with SDL: The Art of SDL Simulation and Reachability Analysis |
| Laurent Doldi (TransMeth Sud-Ouest, France) |
| Since the downturn in the telecom industry, validating a system before its implementation has been mandatory to reduce costs. Validation of Communications Systems with SDL offers a clear and practical guide on how to validate by simulation a telecom system modelled in SDL that: *Provides a step-by-step guide to validating a simplified protocol stack from interactive simulation to proof of properties using reachability analysis combined with observers. *Explains each step in the validation process using the two main SDL tools available: ObjectGeode™ and Tau SDL Suite™, both from Telelogic.
|
|
| Cloth Bound |
328 Pages
|
Item #:
Price: |
0470852860
$170.00 |
John Wiley & Sons, Inc. | |
|
|
|
|
