Communication Protocol Engineering
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 methodo...
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Định dạng: | Sách |
| Ngôn ngữ: | English |
| Được phát hành: |
CRC Press
2009
|
| Truy cập trực tuyến: | http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/1580 |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
| id |
oai:scholar.dlu.edu.vn:DLU123456789-1580 |
|---|---|
| record_format |
dspace |
| spelling |
oai:scholar.dlu.edu.vn:DLU123456789-15802009-12-04T02:09:52Z Communication Protocol Engineering Popovic, Miroslav 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 2009-12-04T02:09:52Z 2009-12-04T02:09:52Z 2006 Book http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/1580 en application/rar CRC Press |
| institution |
Thư viện Trường Đại học Đà Lạt |
| collection |
Thư viện số |
| language |
English |
| description |
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. |
| format |
Book |
| author |
Popovic, Miroslav |
| spellingShingle |
Popovic, Miroslav Communication Protocol Engineering |
| author_facet |
Popovic, Miroslav |
| author_sort |
Popovic, Miroslav |
| title |
Communication Protocol Engineering |
| title_short |
Communication Protocol Engineering |
| title_full |
Communication Protocol Engineering |
| title_fullStr |
Communication Protocol Engineering |
| title_full_unstemmed |
Communication Protocol Engineering |
| title_sort |
communication protocol engineering |
| publisher |
CRC Press |
| publishDate |
2009 |
| url |
http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/1580 |
| _version_ |
1757661453988397056 |