Modeling Embedded Systems and SoC's: Concurrency and Time in Models of Computation (Hardcover)

Axel Jantsch

  • 出版商: Morgan Kaufmann
  • 出版日期: 2003-06-03
  • 售價: $1,000
  • 貴賓價: 9.8$980
  • 語言: 英文
  • 頁數: 351
  • 裝訂: Hardcover
  • ISBN: 1558609253
  • ISBN-13: 9781558609259
  • 相關分類: 嵌入式系統
  • 下單後立即進貨 (約5~7天)




This book addresses the need for developing organizing principles for understanding, assessing, and comparing different models of computation. First, Author Axel Jantsch identifies the representation of time as the essential feature for distinguishing these models. Given this conceptual framework, he then presents a single formalism for representing very different models, allowing them to be easily compared. As a result, designers, students, and researchers are able to identify the role and the features of the "right" model of computation for the task at hand.


1. Introduction  
2. Behavior and Concurrency  
3. The Untimed Model of Computation  
4. The Synchronous Model of Computation  
5. The Timed Model of Computation  
6. MoC Interfaces  
7. Tightly Coupled Process Networks  
8. Nondeterminism and Probability  
9. Applications  
10. Concluding Remarks  


這本書探討了發展理解、評估和比較不同計算模型的組織原則的需求。首先,作者Axel Jantsch確定了時間表示是區分這些模型的關鍵特徵。在這個概念框架下,他提出了一個統一的形式主義,用於表示非常不同的模型,使它們可以輕鬆地進行比較。因此,設計師、學生和研究人員能夠確定適合手頭任務的“正確”計算模型的角色和特徵。

1. 引言
2. 行為和並發性
3. 無時序計算模型
4. 同步計算模型
5. 時序計算模型
6. MoC介面
7. 緊密耦合的處理器網絡
8. 非確定性和概率
9. 應用
10. 總結說明