Thorough set of definitions for the terms and models used in the creation, refinement, and verification of complex systems from the conceptual level down to its implementation

Considering both the hardware and software components of the system

Also covers the emerging area of platform-based design

Provides both knowledge of models and terms, and understanding of these models and how they are used.

Over the past two decades, there has been a huge amount of innovation in both the principles and practice of operating systems Over the same period, the core ideas in a modern operating system - protection, concurrency, virtualization, resource allocation, and reliable storage - have become widely applied throughout computer science. Whether you get a job at Facebook, Google, Microsoft, or any other leading-edge technology company, it is impossible to build resilient, secure, and flexible computer systems without the ability to apply operating systems concepts in a variety of settings. This...