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:
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
EUR 4,25 für den Versand innerhalb von/der USA
Versandziele, Kosten & DauerGratis für den Versand innerhalb von/der USA
Versandziele, Kosten & DauerAnbieter: CONTINENTAL MEDIA & BEYOND, Ocala, FL, USA
Hardcover. Zustand: Used: Good. 2003 hardcover no dj as issued xlibrary copy withdrawn stamp on edge of pages/ in book clean text 296 pages::: J-9. Bestandsnummer des Verkäufers 0721IU7T0M7
Anzahl: 1 verfügbar
Anbieter: Better World Books, Mishawaka, IN, USA
Zustand: Good. Used book that is in clean, average condition without any missing pages. Bestandsnummer des Verkäufers 51472981-6
Anzahl: 1 verfügbar
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes Königreich
Zustand: Good. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Bestandsnummer des Verkäufers 9893953-6
Anzahl: 1 verfügbar
Anbieter: Tall Stories BA, Stoneyford, Irland
Hardcover. Zustand: Very Good. new unread minor shelf wear only. Bestandsnummer des Verkäufers 1511
Anzahl: 1 verfügbar
Anbieter: Tall Stories BA, Stoneyford, Irland
Hardcover. Zustand: Very Good. Zustand des Schutzumschlags: As New. Bestandsnummer des Verkäufers 1741
Anzahl: 1 verfügbar
Anbieter: Tall Stories BA, Stoneyford, Irland
Hardcover. Zustand: Very Good. new unread minor shelf wear only. Bestandsnummer des Verkäufers 1936
Anzahl: 1 verfügbar
Anbieter: Tall Stories BA, Stoneyford, Irland
Hardcover. Zustand: Very Good. Zustand des Schutzumschlags: As New. Bestandsnummer des Verkäufers 1740
Anzahl: 1 verfügbar
Anbieter: Basi6 International, Irving, TX, USA
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verkäufers ABEOCT25-93182
Anzahl: 1 verfügbar
Anbieter: ALLBOOKS1, Direk, SA, Australien
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. Bestandsnummer des Verkäufers SHUB97147
Anzahl: 1 verfügbar
Anbieter: Books Puddle, New York, NY, USA
Zustand: New. pp. x + 296. Bestandsnummer des Verkäufers 26361632
Anzahl: 1 verfügbar