Control-Based Operating System Design
Published on 5. June 2013
Book
Hardback
226 pages
978-1-84919-609-3 (ISBN)
Description
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.
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.
More details
Series
Language
English
Place of publication
Stevenage
United Kingdom
Target group
College/higher education
Professional and scholarly
Product notice
sewn/stitched
Cloth over boards
Dimensions
Height: 240 mm
Width: 161 mm
Thickness: 16 mm
Weight
498 gr
ISBN-13
978-1-84919-609-3 (9781849196093)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions
Alberto Leva | Martina Maggio | Alessandro Vittorio Papadopoulos
Control-Based Operating System Design
E-Book
06/2013
1st Edition
Institution of Engineering and Technology
€146.09
Available for download
Persons
Alberto Leva is Associate Professor of Automatic Control in the Department of Electronics and Information of the Faculty of Engineering at the Politecnico di Milano, Italy. His main research interests are process modelling, simulation and control, automatic tuning of industrial regulators, and more recently, control and control-based design of computing systems. He is author or co-author of about 120 peer-reviewed publications in international journals or conferences.
Martina Maggio is a postdoctoral researcher at LTH, Lund, Sweden, where her research interests deal with feedback control and control-based design of computing systems.
Alessandro Vittorio Papadopoulos is a PhD student at the Politecnico di Milano, where his research focuses on model reduction and model simplification of nonlinear differential algebraic equation systems, and with the use of advanced control and simulation techniques in the design of computing systems components.
Federico Terraneo is a PhD student at the Politecnico di Milano, where his research interests centre on embedded systems, taking advantage of control-based design and assessment. Since 2008 he is the main developer and maintainer of the Miosix embedded operating system.
Martina Maggio is a postdoctoral researcher at LTH, Lund, Sweden, where her research interests deal with feedback control and control-based design of computing systems.
Alessandro Vittorio Papadopoulos is a PhD student at the Politecnico di Milano, where his research focuses on model reduction and model simplification of nonlinear differential algebraic equation systems, and with the use of advanced control and simulation techniques in the design of computing systems components.
Federico Terraneo is a PhD student at the Politecnico di Milano, where his research interests centre on embedded systems, taking advantage of control-based design and assessment. Since 2008 he is the main developer and maintainer of the Miosix embedded operating system.
Content
Chapter 1: Introduction
Chapter 2: A byte of systems theory
Chapter 3: Modelling for computing systems
Chapter 4: A byte of basic control theory
Chapter 5: Scheduling
Chapter 6: Memory management
Chapter 7: A byte of advanced control techniques
Chapter 8: Resource allocation
Chapter 9: Power-awareness
Chapter 10: An experimental OS: Miosix
Chapter 11: Future perspectives and cyber-physical systems
Appendices
Chapter 2: A byte of systems theory
Chapter 3: Modelling for computing systems
Chapter 4: A byte of basic control theory
Chapter 5: Scheduling
Chapter 6: Memory management
Chapter 7: A byte of advanced control techniques
Chapter 8: Resource allocation
Chapter 9: Power-awareness
Chapter 10: An experimental OS: Miosix
Chapter 11: Future perspectives and cyber-physical systems
Appendices