Communication Protocol Engineering (Hardcover)
暫譯: 通訊協定工程 (精裝版)
Miroslav Popovic
- 出版商: CRC
- 出版日期: 2006-06-19
- 售價: $1,650
- 貴賓價: 9.8 折 $1,617
- 語言: 英文
- 頁數: 472
- 裝訂: Hardcover
- ISBN: 0849398142
- ISBN-13: 9780849398148
-
相關分類:
通訊系統 Communication-systems
下單後立即進貨 (約5~7天)
買這商品的人也買了...
-
$1,330Beginning Perl for Bioinformatics (Paperback)
-
$450$356 -
$720$562 -
$520$494 -
$1,007Distributed Systems: Principles and Paradigms (IE)(美國版ISBN:0130888931)
-
$580$458 -
$1,200$1,176 -
$2,205The Java Programming Language, 4/e (Paperback)
-
$1,270$1,207 -
$780$663 -
$980$774 -
$480$408 -
$1,176Business Data Communications and Networking, 9/e
-
$780$663 -
$600$480 -
$620$527 -
$750$638 -
$820$648 -
$580$458 -
$890$757 -
$490$387 -
$520$416 -
$350$333 -
$600$540 -
$520$510
商品描述
Description
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
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.
Table of Contents
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
商品描述(中文翻譯)
**描述**
- 引導您完成通信協議開發的整個過程,從概念到代碼
- 彙編最先進的方法論概念所產生的最佳和最廣泛使用的技術
- 包含需求、分析和設計活動所需的最新建模語言
- 提供豐富的插圖和範例以加強概念
隨著嵌入式系統變得越來越複雜,實現現代嵌入式系統中各個子系統之間快速且高效的通信的挑戰也隨之增加。從實際的角度面對這一挑戰,《通信協議工程》概述了一種針對大型系統開發有效通信協議的實用方法論。
**完整的路線圖**
本書匯集了從最先進的方法論中發展出的協議工程的主要方法和技術,從規範和描述方法到無塵室工程和敏捷方法。Popovic引導您從需求的概念化到分析、設計、實施、測試和驗證。他涵蓋了四種主要的設計語言:規範和描述語言(SDL);消息序列圖(MSC);樹和表格結合符號(TTCN);以及統一建模語言(UML)。
**實用工具以獲得真實技能**
本指南配有超過150幅插圖,還作為有限狀態機(FSM)庫程序員的參考手冊。作者演示了如何構建FSM庫,解釋了該庫的組件,並將原則應用於基於FSM庫的範例。
在《通信協議工程》中,通信協議的基本原則在實際系統開發中得到了如此清晰和有效的應用。無論您處於過程的哪個階段,這都是使您的系統成功的理想工具。
**目錄**
- 引言
- 通信協議的概念
- 參考文獻
- 需求與分析
- 用例圖
- 協作圖
- 需求與分析範例
- 參考文獻
- 設計
- 類圖
- 物件圖
- 序列圖
- 活動圖
- 狀態圖
- 部署圖
- 規範和描述語言
- 消息序列圖
- 樹和表格結合符號
- 範例
- 參考文獻
- 實施
- 組件圖
- FSM實現的範疇
- 狀態設計模式
- 基於FSM庫的實施
- 範例
- 參考文獻
- 測試與驗證
- 單元測試
- 一致性測試
- 基於定理證明的形式驗證
- 統計使用測試
- 範例
- 進一步閱讀
- 參考文獻
- FSM庫
- 介紹
- 基本FSM系統組件
- 時間管理
- 記憶體管理
- 消息管理
- TCP/IP支持
- 全局常數、類型和函數
- API函數
- 三個自動機實例的簡單範例
- 網路感知自動機實例的簡單範例
- 索引