Control-Based Operating System Designdescribes 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.List of trademarks Preface Acknowledgements 1) Introduction 2) A byte of systems theory 3) Modelling for computing systems 4) A byte of basic control theory 5) Scheduling 6) Memory management 7) A byte of advanced control techniques 8) Resource allocation 9) Power-awareness 10) An experimental OS: Miosix 11) Future perspectives and cyber-physical systems A Code fragments References Index