Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications (Hardcover)
暫譯: 硬實時計算系統:可預測的排程演算法與應用 (精裝版)

Buttazzo, Giorgio

  • 出版商: Springer
  • 出版日期: 2023-12-16
  • 售價: $3,670
  • 貴賓價: 9.5$3,487
  • 語言: 英文
  • 頁數: 492
  • 裝訂: Hardcover - also called cloth, retail trade, or trade
  • ISBN: 303145409X
  • ISBN-13: 9783031454097
  • 相關分類: Algorithms-data-structures
  • 海外代購書籍(需單獨結帳)

買這商品的人也買了...

商品描述

This book is a basic treatise on real-time computing, with particular emphasis on predictable scheduling algorithms. The main objectives of the book are to introduce the basic concepts of real-time computing, illustrate the most significant results in the field, and provide the basic methodologies for designing predictable computing systems useful in supporting critical control applications.
Hard Real-Time Computing Systems is written for instructional use and is organized to enable readers without a strong knowledge of the subject matter to quickly grasp the material. Technical concepts are clearly defined at the beginning of each chapter, and algorithm descriptions are corroborated through concrete examples, illustrations, and tables. This new, fourth edition includes new sections to explain the variable-rate task model, how to improve predictability and safety in cyber-physical real-time systems that exploit machine learning algorithms, additional coverage on Response Time Analysis, and a new chapter on implementing periodic real-time tasks under Linux..

商品描述(中文翻譯)

這本書是關於即時計算的基本論文,特別強調可預測的排程演算法。這本書的主要目標是介紹即時計算的基本概念,說明該領域中最重要的成果,並提供設計可預測計算系統的基本方法論,以支持關鍵控制應用。

《硬即時計算系統》是為了教學用途而撰寫,並且組織得當,使得對該主題沒有深入了解的讀者能夠快速掌握內容。每一章的技術概念在開頭都清楚定義,演算法的描述則透過具體的例子、插圖和表格來證實。本書的新第四版包含了新的章節,解釋可變速率任務模型、如何提高利用機器學習演算法的網路物理即時系統的可預測性和安全性、對回應時間分析的額外涵蓋,以及一個關於在Linux下實現週期性即時任務的新章節。

作者簡介

Giorgio Buttazzo is Full Professor of Computer Engineering at the Scuola Superiore Sant'Anna of Pisa. He graduated in Electronic Engineering at the University of Pisa in 1985, received a Master in Computer Science at the University of Pennsylvania in 1987, and a Ph.D. in Computer Engineering at the Scuola Superiore Sant'Anna of Pisa in 1991. From 1987 to 1988, he worked on active perception and real-time control at the G.R.A.S.P. Laboratory of the University of Pennsylvania, Philadelphia. From 1991 to 1998, he held a position of Assistant Professor at the Scuola Superiore Sant'Anna of Pisa, where he founded and directed the RETIS Laboratory, one of the world leading research groups on real-time systems. From 1998 to 2005 he was Associate Professor at the University of Pavia, directing the Robotics Laboratory at the Computer Science department. In 2003 he co-founded Evidence s.r.l., a spin-off company of the Scuola Superiore Sant'Anna, providing software solutions for real-time embeddedsystems. He has been Chair of the IEEE Technical Committee on Real-Time Systems (2010-2012) and Program Chair and General Chair of the major international conferences on real-time computing. He is IEEE Fellow since 2012 "for contributions to dynamic scheduling algorithms in real-time systems". In 2013 he received the Outstanding Technical Contributions and Leadership Award from the IEEE Technical Committee on Real-Time Systems. He has been Editor-in-Chief of the Journal of Real-Time Systems (Springer), the major journal on real-time computing, and Associate Editor of the IEEE Transactions on Industrial Informatics and the ACM Transactions on Cyber-Physical Systems. He has authored six book editions on real-time systems and over 300 papers in the field of real-time systems, robotics, and neural networks, receiving 13 Best Paper Awards.

作者簡介(中文翻譯)

喬治奧·布塔佐(Giorgio Buttazzo)是比薩聖安娜高等學校(Scuola Superiore Sant'Anna)計算機工程的全職教授。他於1985年在比薩大學(University of Pisa)獲得電子工程學位,1987年在賓夕法尼亞大學(University of Pennsylvania)獲得計算機科學碩士學位,並於1991年在比薩聖安娜高等學校獲得計算機工程博士學位。1987年至1988年,他在賓夕法尼亞大學的G.R.A.S.P.實驗室從事主動感知和即時控制的研究。1991年至1998年,他在比薩聖安娜高等學校擔任助理教授,並創立和指導了RETIS實驗室,該實驗室是全球領先的即時系統研究團隊之一。1998年至2005年,他在帕維亞大學(University of Pavia)擔任副教授,並負責計算機科學系的機器人實驗室。2003年,他共同創立了Evidence s.r.l.,這是一家比薩聖安娜高等學校的衍生公司,提供即時嵌入式系統的軟體解決方案。他曾擔任IEEE即時系統技術委員會主席(2010-2012),並擔任主要國際即時計算會議的程序主席和總主席。自2012年以來,他被授予IEEE Fellow,因其對即時系統中動態排程演算法的貢獻。2013年,他獲得IEEE即時系統技術委員會的傑出技術貢獻與領導獎。他曾擔任《即時系統期刊》(Journal of Real-Time Systems,Springer)的主編,這是即時計算領域的主要期刊,並擔任IEEE工業資訊學報(IEEE Transactions on Industrial Informatics)和ACM網路物理系統學報(ACM Transactions on Cyber-Physical Systems)的副編輯。他在即時系統、機器人和神經網路領域撰寫了六本書籍和300多篇論文,並獲得13項最佳論文獎。