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天)

買這商品的人也買了...

商品描述

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

    商品描述(中文翻譯)

    描述

    本書從概念到代碼的整個通信協議開發過程,為您提供詳細的指導。它匯總了最佳和最廣泛使用的技術,這些技術是基於最先進的方法論概念而產生的。書中還包含了需求、分析和設計活動所需的最新建模語言。豐富的插圖和示例有助於加深理解。

    隨著嵌入式系統變得越來越複雜,使現代嵌入式系統中各個子系統之間實現快速高效的通信也變得越來越具有挑戰性。面對這一挑戰,通信協議工程提供了一種實用的方法論,用於開發大型系統的有效通信協議。

    完整的路線圖
    本書匯集了從協議工程的最先進方法論中發展出的領先方法和技術,從規範和描述方法到無塵室工程和敏捷方法。作者從需求的概念化到分析、設計、實施、測試和驗證全程引導讀者。他涵蓋了四種主要的設計語言:規範和描述語言(SDL)、消息序列圖(MSC)、樹狀和表格結合表示法(TTCN)和統一建模語言(UML)。

    實用工具,培養實際技能
    本書配有150多個插圖,同時也是有限狀態機(FSM)庫程序員參考手冊。作者演示了如何構建FSM庫,解釋了這樣一個庫的組件,並將原則應用於基於FSM庫的示例中。

    在通信協議工程中,基本原則如此清晰有效地應用於實際系統開發,這是其他地方所無法比擬的。無論您處於開發過程的哪個階段,本書都是使您的系統成功的理想工具。

    目錄

    引言
    通信協議的概念
    參考文獻
    需求和分析
    用例圖
    協作圖
    需求和分析示例
    參考文獻
    設計
    類圖
    對象圖
    序列圖
    活動圖
    狀態圖
    部署圖
    規範和描述語言
    消息序列圖
    樹狀和表格結合表示法
    示例
    參考文獻
    實施
    組件圖
    FSM實現的光譜
    狀態設計模式
    基於FSM庫的實現
    示例
    參考文獻
    測試和驗證
    單元測試
    符合性測試
    基於定理證明的形式驗證
    統計使用測試
    示例
    進一步閱讀
    參考文獻
    FSM庫
    介紹
    基本FSM系統組件
    時間管理
    內存管理
    消息管理
    TCP/IP支持
    全局常量、類型和函數
    API函數
    簡單示例