Control-Based Operating System Design

Buy e-book PDF
(plus tax if applicable)
Buy print edition
image of Control-Based Operating System Design
View affiliations
Publication Year: 2013

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 when possible conceived from the outset as controllers, synthesised and assessed in the system-theoretical world of dynamic models, and then realised as control algorithms. Doing so is certainly a significant perspective shift with respect to current practices in operating system design, but the payoff is significant too. In some sense, adopting the suggested attitude means viewing computing systems as cyber-physical ones, where the operating system plays the computational role, the physical elements are the managed resources, and the various (control) functionalities to be realised, interact and co-operate as a network. The book includes both a theoretical treatment of the usefulness of the approach, and the description of a complete implementation in the form of Miosix, a microcontroller kernel made available as free software.

Inspec keywords: resource allocation; control system synthesis; scheduling; operating system kernels; predictive control; power aware computing

Other keywords: model identification; control-based solution; control technique; design methodology; power-aware resource management; control-based design attitude; scheduler design; general dynamic model; control theory; Miosix kernel; historical analysis; operating system; resource allocation; cyberphysical system; high-level viewpoint; memory management; task scheduling; model predictive control; systems theory

Subjects: Operating systems; Control system analysis and synthesis methods; General and management topics; Optimal control

Related content

This is a required field
Please enter a valid email address