Communication Protocol Engineering
Autor Miroslav Popovicen Limba Engleză Hardback – 31 mai 2006
A Complete Roadmap
This book brings together the leading methods and techniques developed from state-of-the-art methodologies for protocol engineering, from specification and description methods to cleanroom engineering and agile methods. Popovic leads you from conceptualization of requirements to analysis, design, implementation, testing, and verification. He covers the four main design languages: specifications and description language (SDL); message sequence charts (MSCs); tree and tabular combined notation (TTCN); and unified modeling language (UML).
Practical Tools for Real Skills
Fully illustrated with more than 150 figures, this guide also serves as a finite state machine (FSM) library programmer's reference manual. The author demonstrates how to build an FSM library, explains the components of such a library, and applies the principles to FSM library-based examples.
Nowhere else are the fundamental principles of communication protocols so clearly and effectively applied to real systems development than in Communication Protocol Engineering. No matter in what stage of the process you find yourself, this is the ideal tool to make your systems successful.
Preț: 675.87 lei
Preț vechi: 844.83 lei
-20%
Puncte Express: 1014
Carte indisponibilă temporar
Doresc să fiu notificat când acest titlu va fi disponibil:
Se trimite...
Specificații
ISBN-13: 9780849398148
ISBN-10: 0849398142
Pagini: 453
Ilustrații: 153 b/w images
Dimensiuni: 163 x 236 x 30 mm
Greutate: 0.79 kg
Ediția:1
Editura: CRC Press
ISBN-10: 0849398142
Pagini: 453
Ilustrații: 153 b/w images
Dimensiuni: 163 x 236 x 30 mm
Greutate: 0.79 kg
Ediția:1
Editura: CRC Press
Public țintă
Students and engineers in telecommunications, computer engineering, embedded systems, computer networks, data communication networks, sensor networks, and computer science.Cuprins
INTRODUCTION
The Notion of the Communication Protocol
References
REQUIREMENTS AND ANALYSIS
Use Case Diagrams
Collaboration Diagrams
Requirements and Analysis Example
References
DESIGN
Class Diagrams
Object Diagrams
Sequence Diagrams
Activity Diagrams
Statechart Diagrams
Deployment Diagrams
Specification and Description Language
Message Sequence Charts
Tree and Tabular Combined Notation
Examples
References
IMPLEMENTATION
Component Diagrams
The Spectrum of FSM Implementations
State Design Pattern
Implementation Based on the FSM Library
Examples
References
TEST AND VERIFICATION
Unit Testing
Conformance Testing
Formal Verification Based on Theorem Proving
Statistical Usage Testing
Examples
Further Reading
References
FSM LIBRARY
Introduction
Basic FSM System Components
Time Management
Memory Management
Message Management
TCP/IP Support
Global Constants, Types, and Functions
API Functions
A Simple Example with Three Automata Instances
A Simple Example with Network-Aware Automata Instances
INDEX
The Notion of the Communication Protocol
References
REQUIREMENTS AND ANALYSIS
Use Case Diagrams
Collaboration Diagrams
Requirements and Analysis Example
References
DESIGN
Class Diagrams
Object Diagrams
Sequence Diagrams
Activity Diagrams
Statechart Diagrams
Deployment Diagrams
Specification and Description Language
Message Sequence Charts
Tree and Tabular Combined Notation
Examples
References
IMPLEMENTATION
Component Diagrams
The Spectrum of FSM Implementations
State Design Pattern
Implementation Based on the FSM Library
Examples
References
TEST AND VERIFICATION
Unit Testing
Conformance Testing
Formal Verification Based on Theorem Proving
Statistical Usage Testing
Examples
Further Reading
References
FSM LIBRARY
Introduction
Basic FSM System Components
Time Management
Memory Management
Message Management
TCP/IP Support
Global Constants, Types, and Functions
API Functions
A Simple Example with Three Automata Instances
A Simple Example with Network-Aware Automata Instances
INDEX
Notă biografică
Miroslav Popovic, Ph.D., received all his degrees from University of Novi Sad, Serbia. He defended his diploma thesis, "An Intelligent System Restart," in 1984, M.Sc. thesis, "An Efficient Virtual Machine System," in 1988, and Ph.D. thesis, "A Contribution to Standardization of ISO OSI Presentation Layer," in 1990. He became a full-time Professor at the University of Novi Sad in 2002. Currently, he is giving courses on software tools and real-time systems programming, as well as on Inter computer communications and computer networks. He is a member of IEEE (both Computer and Communications societies) and ACM. He has published approximately 120 papers and has supervised many real-world projects for the industry, including telephone exchanges and call centers for Russian, German, Czech, and Serbian telecommunication network. Taylor & Francis published his book, Communication Protocol Engineering, in 2006. He served as Serbian MC Member in EU COST 297 High Altitude Platforms of wireless communications, EU COST IC0703 Traffic Monitoring and Analysis, and EU COST Action IC1001 Transactional Memories (Euro- TM). His current research interests are engineering of computer-based systems, parallel programming, distributed systems, and security.
Descriere
Descriere de la o altă ediție sau format:
The book aims to enable the reader to master the engineering of communication protocols. The key benefits of the new edition align with the latest standard for conformance testing, TTCN-3, along with updated chapters. It explains process algebra CSP and how to model, simulate, and automatically verify CSP models in PAT.
The book aims to enable the reader to master the engineering of communication protocols. The key benefits of the new edition align with the latest standard for conformance testing, TTCN-3, along with updated chapters. It explains process algebra CSP and how to model, simulate, and automatically verify CSP models in PAT.