Catalogue en ligne Bibliothèque de l'Ecole Nationale Polytechnique

Control-based operating system design / Alberto Leva

Public

ISBD

Titre : Control-based operating system design
Type de document : texte imprimé
Auteurs : Alberto Leva, Auteur ; Martina Maggio, Auteur ; Alessandro V. Papadopoulos, Auteur ; Federico Terraneo, Auteur
Editeur : London : The institution of engineering and technology
Année de publication : 2013
Collection : IET Control engineering series num. 89
Importance : 184 p.
Présentation : ill.
Format : 24 cm
ISBN/ISSN/EAN : 978-1-84919-609-3
Note générale : Bibliogr. p.[185]. - Index
Langues : Anglais (eng)
Mots-clés : Operating system -- Design
Index. décimale : 004.415.2 Développement du système et ingénierie du logiciel
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

Control-based operating system design [texte imprimé] / Alberto Leva, Auteur ; Martina Maggio, Auteur ; Alessandro V. Papadopoulos, Auteur ; Federico Terraneo, Auteur . - The institution of engineering and technology, 2013 . - 184 p. : ill. ; 24 cm. - (IET Control engineering series; 89) .
ISBN : 978-1-84919-609-3
Bibliogr. p.[185]. - Index
Langues : Anglais (eng)
Mots-clés : Operating system -- Design
Index. décimale : 004.415.2 Développement du système et ingénierie du logiciel
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

Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire
055207 004.415.2 CON Papier Bibliothèque Centrale Informatique Disponible
055208 004.415.2 CON Papier Bibliothèque Centrale Informatique Disponible

Détail de l'indexation

004.415.2 : Développement du système et ingénierie du logiciel

Ouvrages de la bibliothèque en indexation 004.415.2

Exemplaires

Bibliothèque de l'Ecole Nationale Polytechnique

Accueil

Se connecter

Météo

Adresse

Horaires d'ouverture :

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Etat_Exemplaire
055207	004.415.2 CON	Papier	Bibliothèque Centrale	Informatique	Disponible
055208	004.415.2 CON	Papier	Bibliothèque Centrale	Informatique	Disponible