實時嵌入式系統

[美] 王加存(Jiacun Wang) 著

下單後立即進貨 (約4週~6週)

商品描述

實時嵌入式系統廣泛應用於電子產品、車輛導航及空間探索等方面,企業對相關硬件和軟件開發人員的需求持續增長。本書全面介紹實時嵌入式系統調度、資源訪問控制、軟件設計和開發,以及系統建模、分析和驗證技術,適合該領域的學生和技術人員閱讀。
本書主要內容包括:第1~3章介紹實時嵌入式系統的基礎概念、硬件組件和特性;第4~6章講解實時任務調度算法、資源訪問控制協議、優先級反轉控制、死鎖避免以及並發編程技術;第7~10章討論建模和分析技術,包括有限狀態機、UML狀態機和時間Petri網,以及軟件工程師特別感興趣的模型檢查技術;最後的第11章探討軟件可靠性、安全性和電源管理等實際問題。

本書特色
關註實時性方面的需求和設計技術,特別是幫助讀者掌握建模及模型驗證方法,滿足軟硬件協同設計方法對當代工程師的要求。
不僅全面涵蓋基礎概念,而且分享了作者豐富的實時嵌入式系統軟件設計經驗,並針對常見的實際問題給出了可行的解決方案。
包含大量的例題和習題,每章還提供拓展閱讀建議,對於實時嵌入式系統軟件的設計、開發和管理人員的學習及進階大有助益。