Embedded Software Development: The Open-Source Approach
暫譯: 嵌入式軟體開發：開源方法

Bertolotti, Ivan Cibrario, Hu, Tingting

Embedded Software Development: The Open-Source Approach

相關主題

商品描述

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）的主要組件，詳細說明關鍵作業系統概念的實作
- 討論如形式驗證、模型檢查、執行時檢查、記憶體損壞、安全性和可靠性等進階主題

《嵌入式軟體開發：開源方法》充分利用了作者在嵌入式應用中使用的即時作業系統和通訊方面的廣泛研究，這些研究通常是在與業界的嚴格合作下進行的。因此，本書可作為進一步研究的跳板。

作者簡介

Ivan Cibrario Bertolotti received the Laurea degree (summa cum laude) in computer science from the University of Torino, Turin, Italy, in 1996. Since then, he has been a researcher with the National Research Council of Italy (CNR). Currently, he is with the CNR's Institute of Electronics, Computer, and Telecommunication Engineering (IEIIT), Turin, Italy. His research interests include real-time operating system design and implementation, industrial communication systems and protocols, and formal methods for vulnerability and dependability analysis of distributed systems. His contributions in this area comprise both theoretical work and practical applications, carried out in cooperation with leading Italian and international companies. He taught several courses on real-time operating systems at Politecnico di Torino, Turin, Italy, from 2003 until 2013, as well as a PhD degree course at the University of Padova in 2009. He regularly serves as a technical referee for the main international conferences and journals on industrial informatics, factory automation, and communication. He has been an IEEE member since 2006.

 

 

Tingting Hu holds a master's degree in computer engineering and a PhD degree in computer and control engineering, both from Politecnico di Torino, Turin, Italy. Since 2010, she has been a research fellow with the National Research Council of Italy (CNR). Currently, she is with the CNR's Institute of Electronics, Computer, and Telecommunication Engineering (IEIIT), Turin, Italy. Her main research interests are the design and implementation of real-time operating systems and communication protocols, focusing on deterministic and flexible execution and communication for distributed real-time embedded systems. A significant amount of her research activities are carried out in strict collaboration with industry. She is actively involved in several regional and national industrial research projects in the context of the Italian "Factory of the Future" framework program. Moreover, in 2014 she taught a postgraduate-level course about real-time operating systems and open-source software for embedded applications aimed at company technical managers. She has been an IEEE member since 2011 and serves as technical referee for several primary conferences in her research area.

 

 

作者簡介(中文翻譯)

伊凡·西布拉里奧·貝爾托洛提於1996年在意大利都靈的都靈理工大學獲得計算機科學的榮譽學位（summa cum laude）。自那時起，他便成為意大利國家研究委員會（CNR）的研究員。目前，他在CNR的電子、計算機和電信工程研究所（IEIIT）工作，位於意大利都靈。他的研究興趣包括即時操作系統的設計與實現、工業通信系統與協議，以及針對分散式系統的脆弱性和可靠性分析的形式方法。他在這一領域的貢獻包括理論研究和實際應用，並與意大利及國際領先公司合作進行。他於2003年至2013年在都靈理工大學教授多門即時操作系統課程，並於2009年在帕多瓦大學教授博士學位課程。他定期擔任工業資訊學、工廠自動化和通信等主要國際會議和期刊的技術審稿人。自2006年以來，他一直是IEEE會員。

胡婷婷擁有計算機工程碩士學位和計算機與控制工程博士學位，均來自意大利都靈理工大學。自2010年以來，她一直是意大利國家研究委員會（CNR）的研究員。目前，她在CNR的電子、計算機和電信工程研究所（IEIIT）工作。她的主要研究興趣是即時操作系統和通信協議的設計與實現，專注於分散式即時嵌入式系統的確定性和靈活執行及通信。她的研究活動大部分是在與業界的緊密合作中進行的。她積極參與意大利「未來工廠」框架計劃中的多個區域和國家工業研究項目。此外，在2014年，她教授了一門針對公司技術經理的研究生級課程，內容涉及即時操作系統和嵌入式應用的開源軟體。自2011年以來，她一直是IEEE會員，並擔任其研究領域內幾個主要會議的技術審稿人。

類似商品