Validation of communications systems with SDL : the art of SDL simulation and reachability analysis / Laurent Doldi
Tipo de material: TextoDetalles de publicación: Chichester : Wiley, 2003 Descripción: X, 296 p. : il. ; 26 cmISBN: 978-0-470-85286-6Tema(s): SDL (Lenguaje de Programación)Resumen: This book will provide a step-by-step guide to validating a simplified protocol stack from interactive simulation to proof of properties using reachability analysis combined with observers. Each step in the validation process is explained using the two main SDL tools available: ObjetGeode' and Tau SDL Suite', both from Teleogic. UML models can be translated into SDL, to benefit from the powerful simulation features described in the bookResumen: Índice: Preface. Foreword. Introduction. Quick Tutorial on SDL. The V.76 Protocol Case Study. Interactive Simulation. Automatic Observation of Simulations. Random Simulation. Exhaustive Simulation. Other Simulator Features. Bibliography. IndexTipo de ítem | Biblioteca de origen | Signatura | URL | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|
Monografías | 03. BIBLIOTECA INGENIERÍA PUERTO REAL | 681.3.06SDL/DOL/val (Navegar estantería(Abre debajo)) | Texto completo | Prestado | 31/01/2025 | 3743756043 |
Total de reservas: 0
This book will provide a step-by-step guide to validating a simplified protocol stack from interactive simulation to proof of properties using reachability analysis combined with observers. Each step in the validation process is explained using the two main SDL tools available: ObjetGeode' and Tau SDL Suite', both from Teleogic. UML models can be translated into SDL, to benefit from the powerful simulation features described in the book
Índice: Preface. Foreword. Introduction. Quick Tutorial on SDL. The V.76 Protocol Case Study. Interactive Simulation. Automatic Observation of Simulations. Random Simulation. Exhaustive Simulation. Other Simulator Features. Bibliography. Index
No hay comentarios en este titulo.