Realtime Systems (Prentice Hall International Series in Computer Science)

Rating:
Summary: Mathematical Foundations
Review: This book is not a "how to" book. It approaches real-time systems from a mathematical point of view and does it well. As a mathematically inclined reader I loved this approach. However, as a user of real-time operating systems, the book is of little use. For a more direct explanation of how real-time operating systems work, I'd use Laplante's or Labrosse's books. I suspect that developers of real time operating systems and computer scientists would appreciate this foundational approach. I did. However, to undestand the practical issues with implementing a semaphore, for example, this is not the book. This book tries and succeds I believe to introduce more mathematical formalisn into the science of real-time operating systems. You need this book in your library to complete your references on real-time systems. It is a be-all end-all reference but is a valuable addition to the plentiful pragmatic books on the subject.

Rating:
Summary: Mathematical Foundations
Review: This book is not a "how to" book. It approaches real-time systems from a mathematical point of view and does it well. As a mathematically inclined reader I loved this approach. However, as a user of real-time operating systems, the book is of little use. For a more direct explanation of how real-time operating systems work, I'd use Laplante's or Labrosse's books. I suspect that developers of real time operating systems and computer scientists would appreciate this foundational approach. I did. However, to undestand the practical issues with implementing a semaphore, for example, this is not the book. This book tries and succeds I believe to introduce more mathematical formalisn into the science of real-time operating systems. You need this book in your library to complete your references on real-time systems. It is a be-all end-all reference but is a valuable addition to the plentiful pragmatic books on the subject.