Communication Protocol Engineering

Miroslav Popovic

CRC Press
Published February 14, 2018
Textbook - 547 Pages
ISBN 9781138558120 - CAT# K43350

For Instructors Request Inspection Copy

USD$139.95

Add to Wish List
FREE Standard Shipping!

Features

  • Presents state-of-the-art modeling languages (UML, SDL, MSC, TTCN-3, GME).
  • Provides an FSM Library reference manual, a high-level specification of an industrial strength library for communication protocols.
  • Discusses unit testing based on JUnit, formal verification based on theorem proving and CSP model checking, and statistical usage testing.
  • Chapters have been updated throughout.

Summary

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.

Instructors

We provide complimentary e-inspection copies of primary textbooks to instructors considering our books for course adoption.

Request an
e-inspection copy

Share this Title