| Titre : | Control-based operating system design |
| Auteurs : | Alberto Leva, Auteur ; Martina Maggio, Auteur ; Alessandro V. Papadopoulos, Auteur ; Federico Terraneo, Auteur |
| Type de document : | texte imprimé |
| Editeur : | London : The institution of engineering and technology, 2013 |
| Collection : | IET Control engineering series, num. 89 |
| ISBN/ISSN/EAN : | 978-1-84919-609-3 |
| Format : | 184 p. / ill. / 24 cm |
| Note générale : | Bibliogr. p.[185]. - Index |
| Langues : | Anglais |
| Index. décimale : | 004.415.2 (Développement du système et ingénierie du logiciel ) |
| Tags : | Operating system -- Design |
| Résumé : |
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, synthesized and assessed in the system-theoretical world of dynamic models, and then realized as control algorithms. 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. |
| Note de contenu : |
Summary :
1. A byte of systems theory 2. Modelling for computing systems 3. A byte of basic control theory 4. Scheduling 5. Memory management 6. A byte of advanced control techniques 7. Resource allocation 8. Power-awareness 9. An experimental OS: Miosix 10. Future perspectives and cyber-physical systems |
Exemplaires (2)
| Cote | Support | Localisation | Section | Disponibilité | Etat_Exemplaire |
|---|---|---|---|---|---|
| 004.415.2 CON | Papier | Bibliothèque Centrale | Informatique | Disponible | |
| 004.415.2 CON | Papier | Bibliothèque Centrale | Informatique | Disponible |
