Control-Based Operating System Design:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Stevenage
IET
2013
|
| Schriftenreihe: | Control, Robotics & Sensors
|
| Schlagworte: | |
| Online-Zugang: | FWS01 FWS02 UBY01 UER01 URL des Erstveröffentlichers |
| Beschreibung: | 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 |
| Beschreibung: | 1 Online-Ressource (215 p.) |
| ISBN: | 9781849196109 |
| DOI: | 10.1049/PBCE089E |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042511972 | ||
| 003 | DE-604 | ||
| 005 | 20210722 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150420s2013 |||| o||u| ||||||eng d | ||
| 020 | |a 9781849196109 |c Online |9 978-1-84919-610-9 | ||
| 024 | 7 | |a 10.1049/PBCE089E |2 doi | |
| 035 | |a (OCoLC)910001858 | ||
| 035 | |a (DE-599)BVBBV042511972 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-92 |a DE-Aug4 |a DE-573 |a DE-29 |a DE-863 |a DE-862 |a DE-706 | ||
| 084 | |a ST 260 |0 (DE-625)143632: |2 rvk | ||
| 100 | 1 | |a Leva, Alberto |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Control-Based Operating System Design |c Alberto Leva, Martina Maggio, Allessandro Vittorio Papdopoulos and Federico Terraneo |
| 264 | 1 | |a Stevenage |b IET |c 2013 | |
| 300 | |a 1 Online-Ressource (215 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Control, Robotics & Sensors | |
| 500 | |a 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. | ||
| 500 | |a 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. | ||
| 500 | |a 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. | ||
| 500 | |a 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 | ||
| 650 | 4 | |a Control theory | |
| 650 | 4 | |a Operating systems (Computers) | |
| 650 | 4 | |a Predictive control | |
| 650 | 4 | |a Resource allocation | |
| 650 | 4 | |a Scheduling | |
| 650 | 7 | |a control system synthesis |2 inspect | |
| 650 | 7 | |a operating system kernels |2 inspect | |
| 650 | 7 | |a power aware computing |2 inspect | |
| 650 | 7 | |a predictive control |2 inspect | |
| 650 | 7 | |a resource allocation |2 inspect | |
| 650 | 7 | |a scheduling |2 inspect | |
| 650 | 0 | 7 | |a Design |0 (DE-588)4011510-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Betriebssystem |0 (DE-588)4006216-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kernel |g Informatik |0 (DE-588)4338679-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Betriebssystem |0 (DE-588)4006216-8 |D s |
| 689 | 0 | 1 | |a Kernel |g Informatik |0 (DE-588)4338679-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Betriebssystem |0 (DE-588)4006216-8 |D s |
| 689 | 1 | 1 | |a Design |0 (DE-588)4011510-0 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Maggio, Martina |e Sonstige |4 oth | |
| 700 | 1 | |a Papadopoulos, Alessandro Vittorio |e Sonstige |4 oth | |
| 700 | 1 | |a Terraneo, Francesco |e Sonstige |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-1-84919-609-3 |
| 856 | 4 | 0 | |u https://doi.org/10.1049/PBCE089E |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-100-CRS |a ZDB-100-IET | ||
| 940 | 1 | |q ZDB-100-IET_2009/14 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027946470 | ||
| 966 | e | |u https://doi.org/10.1049/PBCE089E |l FWS01 |p ZDB-100-CRS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1049/PBCE089E |l FWS02 |p ZDB-100-CRS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1049/PBCE089E |l UBY01 |p ZDB-100-IET |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1049/PBCE089E |l UER01 |p ZDB-100-IET |x Verlag |3 Volltext | |
Datensatz im Suchindex
| DE-BY-FWS_katkey | 847747 |
|---|---|
| _version_ | 1824554987996315649 |
| any_adam_object | |
| author | Leva, Alberto |
| author_facet | Leva, Alberto |
| author_role | aut |
| author_sort | Leva, Alberto |
| author_variant | a l al |
| building | Verbundindex |
| bvnumber | BV042511972 |
| classification_rvk | ST 260 |
| collection | ZDB-100-CRS ZDB-100-IET |
| ctrlnum | (OCoLC)910001858 (DE-599)BVBBV042511972 |
| discipline | Informatik |
| doi_str_mv | 10.1049/PBCE089E |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05659nmm a2200709zc 4500</leader><controlfield tag="001">BV042511972</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20210722 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150420s2013 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781849196109</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-84919-610-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1049/PBCE089E</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)910001858</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042511972</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-92</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 260</subfield><subfield code="0">(DE-625)143632:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Leva, Alberto</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Control-Based Operating System Design</subfield><subfield code="c">Alberto Leva, Martina Maggio, Allessandro Vittorio Papdopoulos and Federico Terraneo</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stevenage</subfield><subfield code="b">IET</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (215 p.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Control, Robotics & Sensors</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">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. </subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">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. </subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">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. </subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">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</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Control theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Operating systems (Computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Predictive control</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Resource allocation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Scheduling</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">control system synthesis</subfield><subfield code="2">inspect</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">operating system kernels</subfield><subfield code="2">inspect</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">power aware computing</subfield><subfield code="2">inspect</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">predictive control</subfield><subfield code="2">inspect</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">resource allocation</subfield><subfield code="2">inspect</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">scheduling</subfield><subfield code="2">inspect</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Design</subfield><subfield code="0">(DE-588)4011510-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Betriebssystem</subfield><subfield code="0">(DE-588)4006216-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kernel</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4338679-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Betriebssystem</subfield><subfield code="0">(DE-588)4006216-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Kernel</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4338679-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Betriebssystem</subfield><subfield code="0">(DE-588)4006216-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Design</subfield><subfield code="0">(DE-588)4011510-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Maggio, Martina</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Papadopoulos, Alessandro Vittorio</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Terraneo, Francesco</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-1-84919-609-3</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1049/PBCE089E</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-100-CRS</subfield><subfield code="a">ZDB-100-IET</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-100-IET_2009/14</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027946470</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1049/PBCE089E</subfield><subfield code="l">FWS01</subfield><subfield code="p">ZDB-100-CRS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1049/PBCE089E</subfield><subfield code="l">FWS02</subfield><subfield code="p">ZDB-100-CRS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1049/PBCE089E</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-100-IET</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1049/PBCE089E</subfield><subfield code="l">UER01</subfield><subfield code="p">ZDB-100-IET</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV042511972 |
| illustrated | Not Illustrated |
| indexdate | 2025-02-20T07:00:30Z |
| institution | BVB |
| isbn | 9781849196109 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027946470 |
| oclc_num | 910001858 |
| open_access_boolean | |
| owner | DE-92 DE-Aug4 DE-573 DE-29 DE-863 DE-BY-FWS DE-862 DE-BY-FWS DE-706 |
| owner_facet | DE-92 DE-Aug4 DE-573 DE-29 DE-863 DE-BY-FWS DE-862 DE-BY-FWS DE-706 |
| physical | 1 Online-Ressource (215 p.) |
| psigel | ZDB-100-CRS ZDB-100-IET ZDB-100-IET_2009/14 |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | IET |
| record_format | marc |
| series2 | Control, Robotics & Sensors |
| spellingShingle | Leva, Alberto Control-Based Operating System Design Control theory Operating systems (Computers) Predictive control Resource allocation Scheduling control system synthesis inspect operating system kernels inspect power aware computing inspect predictive control inspect resource allocation inspect scheduling inspect Design (DE-588)4011510-0 gnd Betriebssystem (DE-588)4006216-8 gnd Kernel Informatik (DE-588)4338679-9 gnd |
| subject_GND | (DE-588)4011510-0 (DE-588)4006216-8 (DE-588)4338679-9 |
| title | Control-Based Operating System Design |
| title_auth | Control-Based Operating System Design |
| title_exact_search | Control-Based Operating System Design |
| title_full | Control-Based Operating System Design Alberto Leva, Martina Maggio, Allessandro Vittorio Papdopoulos and Federico Terraneo |
| title_fullStr | Control-Based Operating System Design Alberto Leva, Martina Maggio, Allessandro Vittorio Papdopoulos and Federico Terraneo |
| title_full_unstemmed | Control-Based Operating System Design Alberto Leva, Martina Maggio, Allessandro Vittorio Papdopoulos and Federico Terraneo |
| title_short | Control-Based Operating System Design |
| title_sort | control based operating system design |
| topic | Control theory Operating systems (Computers) Predictive control Resource allocation Scheduling control system synthesis inspect operating system kernels inspect power aware computing inspect predictive control inspect resource allocation inspect scheduling inspect Design (DE-588)4011510-0 gnd Betriebssystem (DE-588)4006216-8 gnd Kernel Informatik (DE-588)4338679-9 gnd |
| topic_facet | Control theory Operating systems (Computers) Predictive control Resource allocation Scheduling control system synthesis operating system kernels power aware computing predictive control resource allocation scheduling Design Betriebssystem Kernel Informatik |
| url | https://doi.org/10.1049/PBCE089E |
| work_keys_str_mv | AT levaalberto controlbasedoperatingsystemdesign AT maggiomartina controlbasedoperatingsystemdesign AT papadopoulosalessandrovittorio controlbasedoperatingsystemdesign AT terraneofrancesco controlbasedoperatingsystemdesign |