Advanced

Control-Based Operating System Design

Leva, Alberto; Maggio, Martina LU ; Papadopoulos, Alessandro Vittorio and Terraneo, Federico (2013) In IET control engineering series 89.
Abstract
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, 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... (More)
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, 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 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. (Less)
Please use this url to cite or link to this publication:
author
organization
publishing date
type
Book/Report
publication status
published
subject
in
IET control engineering series
volume
89
publisher
Institution of Engineering and Technology
ISBN
978-1-84919-609-3
language
English
LU publication?
yes
id
ced35d27-1826-430f-874d-8fce8d3c2388 (old id 3732230)
date added to LUP
2013-05-03 12:06:29
date last changed
2016-10-05 07:51:56
@misc{ced35d27-1826-430f-874d-8fce8d3c2388,
  abstract     = {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, 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.<br/><br>
<br/><br>
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.},
  author       = {Leva, Alberto and Maggio, Martina and Papadopoulos, Alessandro Vittorio and Terraneo, Federico},
  isbn         = {978-1-84919-609-3},
  language     = {eng},
  publisher    = {ARRAY(0x8f4f518)},
  series       = {IET control engineering series},
  title        = {Control-Based Operating System Design},
  volume       = {89},
  year         = {2013},
}