The book aims to enable the reader to master the engineering of communication protocols, which are amply present nowadays in mobile phones, tablets, laptops, smart appliances, and service providers’ datacenters and clouds. Readers will acquire the theoretical knowledge and practical skills to successfully design, implement, test, and verify their solutions. 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.
Chapter 1 Introduction
1.1 The Notion of the Communication Protocol
References
Chapter 2 Requirements and Analysis
2.1 Use Case Diagrams
2.2 Collaboration Diagrams
2.3 Requirements and Analysis Example
References
Chapter 3 Design
3.1 Class Diagrams
3.2 Object Diagrams
3.3 Sequence Diagrams
3.4 Activity Diagrams
3.5 Statechart Diagrams
3.6 Deployment Diagrams
3.7 Specification and Description Language
3.8 Message Sequence Charts
3.9 Tree and Tabular Combined Notation
3.10 Examples
References
Chapter 4 Implementation
4.1 Component Diagrams
4.2 The Spectrum of FSM Implementations
4.3 State Design Pattern
4.4 Implementation Based on the FSM Library
4.5 Examples
References
Chapter 5 Test and Verification
5.1 Unit Testing
5.2 Conformance Testing
5.3 Formal Verification Based on Theorem Proving
5.4 Statistical Usage Testing
5.5 Examples
5.6 Further Reading
References
Chapter 6 FSM Library
6.1 Introduction
6.2 Basic FSM System Components
6.3 Time Management
6.4 Memory Management
6.5 Message Management
6.6 TCP/IP Support
6.7 Global Constants, Types, and Functions
6.8 API Functions
6.9 A Simple Example with Three Automata Instances
6.10 A Simple Example with Network-Aware Automata Instances
Biography
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.
