by Miroslav Popovic
Communication Protocol Engineering outlines a hands-on methodology for developing effective communication protocols for large-scale systems.
Features:
- Walks you through the entire process of communication protocol development, from conception to code
- Compiles the best and most widely used techniques resulting from state-of-the-art methodological concepts
- Includes the latest modeling languages necessary for requirements, analysis, and design activities
- Supplies abundant illustrations and examples to reinforce the concepts
Contents
Requirements and Analysis
- Use Case Diagrams
- Collaboration Diagrams
- Requirements and Analysis Example
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
Implementation
- Component Diagrams
- The Spectrum of FSM Implementations
- State Design Pattern
- Implementation Based on the FSM Library
Test and Verification
- Unit Testing
- Conformance Testing
- Formal Verification Based on Theorem Proving
- Statistical Usage Testing
FSM Library
- 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
to see books • videos • cd-roms of related interest