Communication Protocol Engineering - Miroslav Popovic

Communication Protocol Engineering

Buch | Hardcover
472 Seiten
2006
Crc Press Inc (Verlag)
978-0-8493-9814-8 (ISBN)
118,45 inkl. MwSt
zur Neuauflage
  • Titel gebraucht verfügbar
  • Artikel merken
Studibuch Logo

...gebraucht verfügbar!

Zu diesem Artikel existiert eine Nachauflage
Offers information for making professional products that use communication protocols. Designed for a one-semester course, this work covers the design, implementation, testing, and verification of communication protocols and presents languages including Specification and Description Language (SDL), and Tree and Tabular Combined Notation (TTCN).
As embedded systems become more and more complex, so does the challenge of enabling fast and efficient communication between the various subsystems that make up a modern embedded system. Facing this challenge from a practical standpoint, Communication Protocol Engineering outlines a hands-on methodology for developing effective communication protocols for large-scale systems.

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.

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

Erscheint lt. Verlag 19.6.2006
Zusatzinfo 153 Illustrations, black and white
Verlagsort Bosa Roca
Sprache englisch
Maße 156 x 235 mm
Gewicht 794 g
Themenwelt Technik Nachrichtentechnik
ISBN-10 0-8493-9814-2 / 0849398142
ISBN-13 978-0-8493-9814-8 / 9780849398148
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich