-
出版商:
Springer
-
出版日期:
2023-12-16
-
售價:
$4,040
-
貴賓價:
9.5 折
$3,838
-
語言:
英文
-
頁數:
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是比薩聖安娜高等學院的計算機工程學教授。他於1985年在比薩大學獲得電子工程學學士學位，於1987年在賓夕法尼亞大學獲得計算機科學碩士學位，並於1991年在比薩聖安娜高等學院獲得計算機工程學博士學位。從1987年到1988年，他在賓夕法尼亞大學的G.R.A.S.P.實驗室從事主動感知和實時控制的研究。從1991年到1998年，他在比薩聖安娜高等學院擔任助理教授，並創辦並指導了RETIS實驗室，該實驗室是世界領先的實時系統研究團隊之一。從1998年到2005年，他在帕維亞大學擔任副教授，並指導計算機科學系的機器人實驗室。2003年，他共同創辦了Evidence s.r.l.，這是比薩聖安娜高等學院的一家分支公司，提供實時嵌入式系統的軟件解決方案。他曾擔任IEEE實時系統技術委員會主席（2010-2012年），並擔任主要國際實時計算會議的程序主席和總主席。他自2012年起成為IEEE院士，以表彰他在實時系統中動態調度算法方面的貢獻。2013年，他獲得了IEEE實時系統技術委員會的傑出技術貢獻和領導獎。他曾擔任《實時系統學報》（Springer）的主編，這是實時計算的主要期刊，並擔任IEEE工業信息學交易和ACM物理系統交易的副編輯。他撰寫了六本關於實時系統的書籍，並在實時系統、機器人和神經網絡領域發表了300多篇論文，獲得了13個最佳論文獎。
