Control-Based Operating System Design describes the application of system- and control-theoretical methods to the design of computer operating system components. It argues that computer operating system components should not be first “designed" and then “endowed with control", but rather conceived from the outset as controllers, synthesized and assessed in the system-theoretical world of dynamic models, and then realized as control algorithms. The book includes both a theoretical treatment of the usefulness of the approach, and the description of a complete implementation in the form of a microcontroller kernel, made available as free software. Topics covered include modelling and control design paradigms, task scheduling, resource allocation, application performance control, sensing and actuating, and the implementation and assessment of Miosix, a control-based kernel.