Embedded System Design

Peter Marwedel

  • 出版商: 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.仿真和測試。