Communication Protocol Engineering: 2nd Edition (Hardback) book cover

Communication Protocol Engineering

2nd Edition

By Miroslav Popovic

CRC Press

547 pages

Purchasing Options:$ = USD
Hardback: 9781138558120
pub: 2018-02-14
SAVE ~$29.00
$145.00
$116.00
x
eBook (VitalSource) : 9781315151243
pub: 2018-01-19
from $72.50


FREE Standard Shipping!

Description

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.

Table of Contents

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

About the Originator

Subject Categories

BISAC Subject Codes/Headings:
TEC000000
TECHNOLOGY & ENGINEERING / General
TEC007000
TECHNOLOGY & ENGINEERING / Electrical