Embedded Software Development: The Open-Source Approach (Hardcover)

Embedded Software Development: The Open-Source Approach delivers a practical introduction to embedded software development, with a focus on open-source components. This programmer-centric book is written in a way that enables even novice practitioners to grasp the development process as a whole.

Incorporating real code fragments and explicit, real-world open-source operating system references (in particular, FreeRTOS) throughout, the text:

• Defines the role and purpose of embedded systems, describing their internal structure and interfacing with software development tools
• Examines the inner workings of the GNU compiler collection (GCC)-based software development system or, in other words, toolchain
• Presents software execution models that can be adopted profitably to model and express concurrency
• Addresses the basic nomenclature, models, and concepts related to task-based scheduling algorithms
• Shows how an open-source protocol stack can be integrated in an embedded system and interfaced with other software components
• Analyzes the main components of the FreeRTOS Application Programming Interface (API), detailing the implementation of key operating system concepts
• Discusses advanced topics such as formal verification, model checking, runtime checks, memory corruption, security, and dependability

Embedded Software Development: The Open-Source Approach capitalizes on the authors’ extensive research on real-time operating systems and communications used in embedded applications, often carried out in strict cooperation with industry. Thus, the book serves as a springboard for further research.

《嵌入式軟體開發：開源方法》提供了一個實用的嵌入式軟體開發入門，重點放在開源元件上。這本以程式設計師為中心的書籍以易於理解的方式撰寫，即使是初學者也能全面了解開發過程。

全書運用真實的程式碼片段和明確的、真實世界的開源作業系統參考（尤其是FreeRTOS），內容包括：

- 定義嵌入式系統的角色和目的，描述其內部結構並介紹與軟體開發工具的介面
- 檢視基於GNU編譯器集合（GCC）的軟體開發系統（即工具鏈）的內部運作
- 提供可用於建模和表達並行性的軟體執行模型
- 探討與任務排程演算法相關的基本術語、模型和概念
- 展示如何將開源協定堆疊整合到嵌入式系統中並與其他軟體元件進行介面連接
- 分析FreeRTOS應用程式編程介面（API）的主要組件，詳細介紹關鍵作業系統概念的實作
- 討論進階主題，如形式驗證、模型檢查、執行時檢查、記憶體損壞、安全性和可靠性

《嵌入式軟體開發：開源方法》充分利用作者在嵌入式應用中實時作業系統和通訊方面的廣泛研究，並經常與業界密切合作。因此，這本書也是進一步研究的跳板。