Hard Real-Time Computing Systems

کتاب Hard Real-Time Computing Systems یک منبع جامع برای درک سیستم‌های کامپیوتری زمان‌بندی بلادرنگ سخت (Hard Real-Time) است. این کتاب به صورت ویژه برای مهندسان نرم‌افزار، دانشجویان و پژوهشگران طراحی شده است که به دنبال یادگیری اصول زمان‌بندی پیش‌بینی‌پذیر و کاربردهای آن در سیستم‌های بلادرنگ هستند.

خلاصه محتوا:

1. مفاهیم پایه: معرفی سیستم‌های بلادرنگ و اهمیت پیش‌بینی‌پذیری در آنها.

2. الگوریتم‌های زمان‌بندی: توضیح دقیق الگوریتم‌های زمان‌بندی بلادرنگ مانند Rate-Monotonic (RM) و Earliest Deadline First (EDF).

3. تحلیل و طراحی سیستم‌ها: ابزارها و روش‌های تحلیل برای اطمینان از اجرای درست و به‌موقع وظایف.

4. کاربردها: مثال‌های واقعی از پیاده‌سازی سیستم‌های بلادرنگ در صنایع مختلف مانند هوافضا، پزشکی و اتوماسیون صنعتی.

5. چالش‌ها و نوآوری‌ها: بررسی چالش‌های موجود و تکنیک‌های مدرن برای بهبود سیستم‌های بلادرنگ.

این کتاب با استفاده از توضیحات دقیق و مثال‌های کاربردی، به شما کمک می‌کند تا دانش لازم برای طراحی و تحلیل سیستم‌های زمان‌بندی پیش‌بینی‌پذیر را کسب کنید.

ویژگی‌های کلیدی:

• ارائه جزئیات تئوری و عملی.

• پوشش جدیدترین الگوریتم‌ها و تکنیک‌ها.

• کاربردهای گسترده در صنایع پیشرفته.

این کتاب یک منبع ارزشمند برای کسانی است که می‌خواهند در زمینه طراحی سیستم‌های پیشرفته بلادرنگ حرفه‌ای شوند یا تحقیقات علمی انجام دهند.

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.

Table of Contents

1. A General View  

2. Basic Concepts  

3. Aperiodic Task Scheduling  

4. Periodic Task Scheduling  

5. Fixed-Priority Servers  

6. Dynamic Priority Servers  

7. Resource Access Protocols  

8. Limited Preemptive Scheduling  

9. Handling Overload Conditions  

10. Kernel Design Issues  

11. Application Design Issues  

12. Implementing Periodic Tasks in Linux  

13. Real-Time Operating Systems and Standards  

14. Solutions to the Exercises

About the Author

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.