Prof. Diletta Romana Cacciagrano

Argomenti del programma: Introduzione -Il Processo di Progettazione Modellazione di Comportamenti Dinamici -Dinamiche Continue -Dinamiche Discrete -Sistemi Ibridi -Composizione di Macchine a Stati -Modelli Concorrenti di Computazione Analisi e Verifica (opzionale) -Invarianti e Logica Temporale -Equivalenza e Raffinamento -Analisi di Raggiungibilità e Model Checking Ptolemy II

• A.Silbershatz, P. Galvin. Sistemi Operativi. Addison Wesley. - Andrew S. Tanenbaum. Modern Operating Systems. Prentice Hall. - Dispense fornite dal docente su

Argomenti del programma: Il corso introduce i principi ed i concetti su cui si basano i sistemi operativi e analizza la loro realizzazione nei sistemi reali. In particolare, vengono presentate le tecniche che consentono di coordinare e gestire le risorse di un sistema di elaborazione e che permettono di trasformare la macchina fisica in una macchina astratta, dotata di funzionalità più convenienti per l'utente.

• A.Silbershatz, P. Galvin. Sistemi Operativi. Addison Wesley. - Andrew S. Tanenbaum. Modern Operating Systems. Prentice Hall. - Dispense fornite dal docente su

Argomenti del programma: Il corso introduce i principi ed i concetti su cui si basano i sistemi operativi e analizza la loro realizzazione nei sistemi reali. In particolare, vengono presentate le tecniche che consentono di coordinare e gestire le risorse di un sistema di elaborazione e che permettono di trasformare la macchina fisica in una macchina astratta, dotata di funzionalità più convenienti per l'utente.