logo SBA

ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Tesi etd-10112005-165412


Tipo di tesi
Tesi di laurea specialistica
URN
etd-10112005-165412
Titolo
Virtual Machine Support for RTOS Based on a Microkernel
Dipartimento
INGEGNERIA
Corso di studi
INGEGNERIA INFORMATICA
Parole chiave
  • microkernel
  • sistemi operativi in tempo reale
Data inizio appello
26/10/2005
Consultabilità
Non consultabile
Data di rilascio
26/10/2045
Riassunto (Inglese)
Riassunto (Italiano)
Studio e realizzazione di un sistema in tempo reale basato su microkernel. Il lavoro si aritcola nello studio della struttura e della implementazione di un sistema in tempo reale esistente e della interfaccia del microkernel utilizzato. Si passa poi a studiare le modifiche necessarie al sistema in tempo reale per adattarlo alla macchina virtuale e se ne descrive l'implementazione effettuata.
File