00000cmm a22000003i 4500 UP-99796217612476856 Buklod 20230215105418.0 m |o d | ta 130711s2013 enk f u eng d 9781849196109 (e-ISBN) (iLib)UPD-00263009253 UkSgIET DENGII rda eng QA 76.77 L48 2013eb Leva, Alberto author. Control-based operating system design Alberto Leva [and three others]. London, United Kingdom The Institution of Engineering and Technology 2013. 1 online resource. text rdacontent computer rdamedia online resource rdacarrier IP based subscription, on campus and remote access. Access via Electronic Resources of the UPD Engineering Library and University Library websites. The book contains 11 chapters.Chapter 1 provides a general introduction to the addressed matter and motivates the adopted approach, also by means of a very synthetic historical analysis. Chapter 2 introduces the few required basic elements of systems theory, as anticipated. This chapter and the following Chapter 4 end with a `problems' section, to allow the interested reader to verify their acquisition of the illustrated concepts. Chapter 3 applies the modelling-related ideas of Chapter 2 to the particular domain addressed herein, evidencing its peculiarities. Some introductory examples are reported and commented on. Chapter 4 deals with the required basic elements of control theory, adopting an attitude, and consequently an organisation, analogous to those of Chapter 2. Chapter 5 deals with task scheduling. A general dynamic model is proposed, and based on that, a methodology is presented to design a scheduler along the control based paradigm. Said methodology is then applied, leading to two scheduling algorithms, that are comparatively tested with respect to classical (non-controlbased) ones. Chapter 6 addresses the problem of memory management, and proposes for it too a control-based solution. Simulation results are presented and commented on, to evidence the obtained advantages. Chapter 7 presents, limiting again the scope to the bare essential, some control techniques - more advanced than those of Chapter 4 - that are used in the following one. In particular, the chapter deals with Model Predictive Control and model identification, and ends with a `problems' section for the same reason as Chapters 2 and 4. Chapter 8 treats more in general the resource allocation problem. Thanks to the adoption of more a high-level viewpoint with respect to the previous chapters, here a design methodology is sketched out and supported, that can be used as a modus operandi when addressing numerous problems that appear quite different from the application point of view, but in the context of the systems theory have a definitely uniform mathematical structure. Chapter 9 applies the ideas presented so far to power-aware resource management. Apart from discussing another interesting application case, the main point here is to evidence how a control-based design attitude is naturally keen to host problems with very different requirements. Chapter 10 presents the Miosix kernel, i.e., the nucleus of an operating system that is being developed along the proposed approach. Motivations for developing an ad hoc kernel are provided, the realised functionalities are described, and future developments are outlined. Chapter 11, after all the different issues touched in the previous ones, suggests a way of casting them into a unitary view conceptually connected to that of `cyberphysical'systems, thereby discussing - as a work in progress - some further ways in which a control-theoretical point of view can be helpful for design, analysis and assessment. Electronic reproduction. Stevenage, UK IET 2013. Available via World Wide Web through IET Digital Library. Java (Computer program language) Operating systems (Computers) Control theory. Predictive control. Resource allocation. Scheduling. Electronic books. Maggio, Martina author. Papadopoulos, Alessandro Vittorio author. Terraneo, Federico author. Electronic Resource http://dx.doi.org/10.1049/PBCE089E Available for University of the Philippines Diliman via IET Digital Library. Click here to access https://digital-library-theiet-org.ezproxy.engglib.upd.edu.ph/content/books/ce/pbce089e Also available remotely for University of the Philippines Diliman via IET Digital Library. Click here to access thru EZproxy (viewed 13 February 2019) FO UPD DENG-II Electronic Resource