Verticale
Verticale

Control based design of OS components

(in lingua inglese)

Introduzione dei metodi della teoria del controllo nella progettazione di componenti software. Il principale contenuto innovativo di questa tesi è quello di dimostrare -attraverso prove sperimentali- che l'approccio proposto è effettivamente un passo avanti rispetto alle usuali tecniche di design. A sostegno di tale affermazione, la tipica procedura di progettazione dei sistemi di controllo è stata applicata ad un problema software: lo scheduling dei task in un sistema operativo, - modellando prima il problema in dal punto di vista teorico, - poi progettando una soluzione nel formalismo scelto, - e solo alla fine, implementando la soluzione attraverso un agoritmo in un linguaggio di programmazione. Il risultato è la realizzazione di un "controllore-scheduler" .

Scarica il PDF Scarica il PDF
Aggiungi ai preferiti Aggiungi ai preferiti


Articoli tecnico scientifici o articoli contenenti case history
Tesi di Laurea, Politecnico di Milano, Anno Accademico 2010-2011




Settori: 


Parole chiave: 


© Eiom - All rights Reserved     P.IVA 00850640186