Embedded System Design
暫譯: 嵌入式系統設計

Peter Marwedel

Embedded System Design
  • 出版商: Springer
  • 出版日期: 2005-12-01
  • 售價: $1,200
  • 貴賓價: 9.8 折 $1,176
  • 語言: 英文
  • 頁數: 241
  • 裝訂: Paperback
  • ISBN: 0387292373
  • ISBN-13: 9780387292373
  • 相關分類: 嵌入式系統

    • 立即出貨 (庫存=1)

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

商品描述

Description

Embedded systems can be defined as information processing systems embedded into enclosing products such as cars, telecommunication or fabrication equipment. Such systems come with a large number of common characteristics, including real-time constraints, and dependability as well as efficiency requirements. Following the success of information technology (IT) for office and workflow applications, embedded systems are considered to be the most important application area of IT during the coming years. This importance of embedded systems is so far not well reflected in many of the current curricula.
Embedded System Design is intended as an aid for changing this situation. It provides the material for a first course on embedded systems, but can also be used by PhD students and professors. A key goal of this book is to provide an overview of embedded system design and to relate the most important topics in embedded system design to each other. It should help to motivate students as well as professors to put more emphasis on education in embedded systems. In order to facilitate teaching from this book, slides, exercises and other related material can be downloaded via the author's web page.
Table of contents

Preface. Acknowledgements.
1: Introduction. 1.1. Terms and scope. 1.2. Application areas. 1.3. Growing importance of embedded systems. 1.4. Structure of this book.
2: Specifications. 2.1. Requirements. 2.2. Models of computation. 2.3. StateCharts. 2.4. General language characteristics. 2.5. SDL. 2.6. Petri nets. 2.7. Message Sequence Charts. 2.8. UML. 2.9. Process networks. 2.10. Java. 2.11. VHDL. 2.12. SystemC. 2.13.Verilog and System Verilog. 2.14. SpecC. 2.15. Additional languages. 2.16. Levels of hardware modeling. 2.17. Language comparison. 2.18. Dependability requirements.
3: Embedded system hardware. 3.1. Introduction. 3.2. Input. 3.3. Communication. 3.4. Processing units. 3.5. Memories. 3.6. Output.
4: Embedded operating systems, middleware, and scheduling. 4.1. Prediction of execution times. 4.2. Scheduling in real-time systems. 4.3. Embedded operating systems. 4.4. Middleware.
5: Implementing embedded systems: hardware/software codesign. 5.1. Task level concurrency management. 5.2. High-level optimizations. 5.3. Hardware/software partitioning. 5.4. Compilers for embedded systems. 5.5. Voltage scaling and power management. 5.6. Actual design flows and tools.
6: Validation. 6.1. Introduction. 6.2. Simulation. 6.3. Rapid prototyping and emulation. 6.4. Test. 6.5. Fault simulation. 6.6. Fault injection. 6.7. Risk- and dependability analysis. 6.8. Formal verification.
Bibliography. About the Author. List of Figures. Index.

商品描述(中文翻譯)

**描述**

嵌入式系統可以定義為嵌入在封閉產品中的資訊處理系統，例如汽車、電信或製造設備。這些系統具有許多共同特徵，包括即時性限制、可靠性以及效率要求。隨著資訊科技（IT）在辦公室和工作流程應用中的成功，嵌入式系統被認為是未來幾年IT最重要的應用領域。然而，這種嵌入式系統的重要性在許多現行課程中尚未得到充分反映。

《嵌入式系統設計》旨在幫助改變這種情況。它提供了嵌入式系統的第一門課程的材料，但也可以供博士生和教授使用。本書的一個主要目標是提供嵌入式系統設計的概述，並將嵌入式系統設計中最重要的主題彼此聯繫起來。它應該能夠激勵學生和教授更加重視嵌入式系統的教育。為了方便從本書進行教學，幻燈片、練習和其他相關材料可以通過作者的網頁下載。

**目錄**

前言。致謝。
**1:** **介紹。**
**1.1.** 名詞與範疇。
**1.2.** 應用領域。
**1.3.** 嵌入式系統日益增長的重要性。
**1.4.** 本書結構。
**2:** 規格。
**2.1.** 要求。
**2.2.** 計算模型。
**2.3.** 狀態圖。
**2.4.** 一般語言特性。
**2.5.** SDL。
**2.6.** 彼得里網。
**2.7.** 訊息序列圖。
**2.8.** UML。
**2.9.** 流程網絡。
**2.10.** Java。
**2.11.** VHDL。
**2.12.** SystemC。
**2.13.** Verilog 和 System Verilog。
**2.14.** SpecC。
**2.15.** 其他語言。
**2.16.** 硬體建模的層次。
**2.17.** 語言比較。
**2.18.** 可靠性要求。
**3:** 嵌入式系統硬體。
**3.1.** 介紹。
**3.2.** 輸入。
**3.3.** 通訊。
**3.4.** 處理單元。
**3.5.** 記憶體。
**3.6.** 輸出。
**4:** 嵌入式作業系統、中介軟體和排程。
**4.1.** 執行時間預測。
**4.2.** 即時系統中的排程。
**4.3.** 嵌入式作業系統。
**4.4.** 中介軟體。
**5:** 實現嵌入式系統：硬體/軟體共同設計。
**5.1.** 任務層級的並行管理。
**5.2.** 高階優化。
**5.3.** 硬體/軟體分割。
**5.4.** 嵌入式系統的編譯器。
**5.5.** 電壓調整和電源管理。
**5.6.** 實際設計流程和工具。
**6:** 驗證。
**6.1.** 介紹。
**6.2.** 模擬。
**6.3.** 快速原型和仿真。
**6.4.** 測試。
**6.5.** 故障模擬。
**6.6.** 故障注入。
**6.7.** 風險和可靠性分析。
**6.8.** 正式驗證。
參考文獻。關於作者。圖表清單。索引。

類似商品