實時嵌入式系統

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

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