Studiare

In questa sezione è possibile reperire le informazioni riguardanti l'organizzazione pratica del corso, lo svolgimento delle attività didattiche, le opportunità formative e i contatti utili durante tutto il percorso di studi, fino al conseguimento del titolo finale.

Calendario accademico

Il calendario accademico riporta le scadenze, gli adempimenti e i periodi rilevanti per la componente studentesca, personale docente e personale dell'Università. Sono inoltre indicate le festività e le chiusure ufficiali dell'Ateneo.
L’anno accademico inizia il 1° ottobre e termina il 30 settembre dell'anno successivo.

Calendario accademico

Calendario didattico

Il calendario didattico indica i periodi di svolgimento delle attività formative, di sessioni d'esami, di laurea e di chiusura per le festività.

Anno accademico:
Definizione dei periodi di lezione
Periodo Dal Al
30-set-2002 29-nov-2002
13-gen-2003 14-mar-2003
7-apr-2003 13-giu-2003
Sessioni degli esami
Sessione Dal Al
Prima sessione 9-dic-2002 20-dic-2002
Seconda Sessione 24-mar-2003 4-apr-2003
Terza Sessione 23-giu-2003 4-lug-2003
Prima Sessione Straordinaria 7-lug-2003 18-lug-2003
Seconda Sessione Straordinaria 1-set-2003 12-set-2003
Terza Sessione Straordinaria 15-set-2003 26-set-2003
Vacanze
Periodo Dal Al
Vacanze pasquali 18-apr-2003 27-apr-2003

Calendario esami

Gli appelli d'esame sono gestiti dalla Unità Operativa Segreteria Corsi di Studio Scienze e Ingegneria.
Per consultazione e iscrizione agli appelli d'esame visita il sistema ESSE3.
Per problemi inerenti allo smarrimento della password di accesso ai servizi on-line si prega di rivolgersi al supporto informatico della Scuola o al servizio recupero credenziali

Calendario esami

Per dubbi o domande leggi le risposte alle domande più frequenti F.A.Q. Iscrizione Esami

Docenti

B C D F G M O P Q R S

Bellin Gianluigi

symbol email gianluigi.bellin@univr.it symbol phone-number +39 045 802 7969

Belussi Alberto

symbol email alberto.belussi@univr.it symbol phone-number +39 045 802 7980

Bonacina Maria Paola

symbol email mariapaola.bonacina@univr.it symbol phone-number +39 045 802 7046
BurattiniEmilio

Burattini Emilio

symbol email emilio.burattini@univr.it

Combi Carlo

symbol email carlo.combi@univr.it symbol phone-number +390458027985

Cristani Matteo

symbol email matteo.cristani@univr.it symbol phone-number 045 802 7983

De Marchi Stefano

symbol email stefano.demarchi@univr.it symbol phone-number 045 8027978

Drago Nicola

symbol email nicola.drago@univr.it symbol phone-number 045 802 7081

Ferro Ruggero

symbol email ruggero.ferro@univr.it symbol phone-number 045 802 7909

Fontana Federico

symbol email federico.fontana@univr.it symbol phone-number +39 045 802 7032

Fummi Franco

symbol email franco.fummi@univr.it symbol phone-number 045 802 7994

Giacobazzi Roberto

symbol email roberto.giacobazzi@univr.it symbol phone-number +39 045 802 7995

Gregorio Enrico

symbol email Enrico.Gregorio@univr.it symbol phone-number 045 802 7937

Manca Vincenzo

symbol email vincenzo.manca@univr.it symbol phone-number 045 802 7981

Masini Andrea

symbol email andrea.masini@univr.it symbol phone-number 045 802 7922

Mastroeni Isabella

symbol email isabella.mastroeni@univr.it symbol phone-number +390458027089

Merro Massimo

symbol email massimo.merro@univr.it symbol phone-number 045 802 7992

Monti Francesca

symbol email francesca.monti@univr.it symbol phone-number 045 802 7910

Morato Laura Maria

symbol email laura.morato@univr.it symbol phone-number 045 802 7904

Murino Vittorio

symbol email vittorio.murino@univr.it symbol phone-number 045 802 7996

Orlandi Giandomenico

symbol email giandomenico.orlandi at univr.it symbol phone-number 045 802 7986

Pica Angelo

symbol email angelo.pica@univr.it
PiccininiNicola

Piccinini Nicola

symbol email piccinini@sci.univr.it symbol phone-number +39 349 7461319

Posenato Roberto

symbol email roberto.posenato@univr.it symbol phone-number +39 045 802 7967

Pravadelli Graziano

symbol email graziano.pravadelli@univr.it symbol phone-number +39 045 802 7081

Quaglia Davide

symbol email davide.quaglia@univr.it symbol phone-number +39 045 802 7811
Foto,  21 marzo 2006

Rossato Rosalba

symbol email rossato@sci.univr.it symbol phone-number +39 045 802 7077

Rossignoli Cecilia

symbol email cecilia.rossignoli@univr.it symbol phone-number 045 802 8173
Giuseppe Scollo in Waddenzee 1987,  18 febbraio 2005

Scollo Giuseppe

symbol email giuseppe . scollo at univr . it symbol phone-number 045 802 7940

Segala Roberto

symbol email roberto.segala@univr.it symbol phone-number 045 802 7997

Solitro Ugo

symbol email ugo.solitro@univr.it symbol phone-number +39 045 802 7977

Spoto Nicola Fausto

symbol email fausto.spoto@univr.it symbol phone-number +39 045 8027940

Piano Didattico

Il piano didattico è l'elenco degli insegnamenti e delle altre attività formative che devono essere sostenute nel corso della propria carriera universitaria.
Selezionare il piano didattico in base all'anno accademico di iscrizione.

1° Anno

InsegnamentiCreditiTAFSSD

2° Anno  Attivato nell'A.A. 2003/2004

InsegnamentiCreditiTAFSSD

3° Anno  Attivato nell'A.A. 2004/2005

InsegnamentiCreditiTAFSSD

4° Anno  Attivato nell'A.A. 2005/2006

InsegnamentiCreditiTAFSSD
3 insegnamenti affini (settori matematico e fisico) a scelta per un totale di 15 crediti

5° Anno  Attivato nell'A.A. 2006/2007

InsegnamentiCreditiTAFSSD
Laboratorio di informatica
10
E
-
Alte attività formative (tirocini, ecc...)
6
F
-
Prova finale
24
E
-
InsegnamentiCreditiTAFSSD
Attivato nell'A.A. 2003/2004
InsegnamentiCreditiTAFSSD
Attivato nell'A.A. 2004/2005
InsegnamentiCreditiTAFSSD
Attivato nell'A.A. 2005/2006
InsegnamentiCreditiTAFSSD
3 insegnamenti affini (settori matematico e fisico) a scelta per un totale di 15 crediti
Attivato nell'A.A. 2006/2007
InsegnamentiCreditiTAFSSD
Laboratorio di informatica
10
E
-
Alte attività formative (tirocini, ecc...)
6
F
-
Prova finale
24
E
-
Insegnamenti Crediti TAF SSD

Legenda | Tipo Attività Formativa (TAF)

TAF (Tipologia Attività Formativa) Tutti gli insegnamenti e le attività sono classificate in diversi tipi di attività formativa, indicati da una lettera.




S Stage e tirocini presso imprese, enti pubblici o privati, ordini professionali

Codice insegnamento

4S00067

Crediti

5

Offerto anche nei corsi:

  • Sistemi operativi avanzati del corso Master Universitario in Progettazione e gestione di sistemi di rete (I livello - IV edizione)

Lingua di erogazione

Italiano

Settore Scientifico Disciplinare (SSD)

ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI

Periodo

Non ancora assegnato

Sede

VERONA

Obiettivi formativi

Il corso presenta gli aspetti teorici e implementativi avanzati di speciali classi di sistemi operativi, con particolare riguardo a sistemi operativi distribuiti e sistemi operativi real-time. Tali aspetti verranno approfonditi con esercitazioni pratiche di laboratorio.
Il corso viene svolto in 44 ore tra lezioni ed esercitazioni in laboratorio, distribuite in un unico periodo didattico.

Programma

* Introduzione:
- Classi di sistemi operativi non convenzionali
° sistemi operativi distribuiti
° sistemi operativi multiprocessore
° sistemi real-time
° sistemi operativi embedded
- Strutture di sistemi operativi non convenzionali
° microkernel
° exokernel
° cluster
- Esempi di sistemi operativi dei vari tipi

* Sistemi Operativi Distribuiti:
- Problematiche
- Architetture HW e SW
- Metriche di progetto (trasparenza, flessibilità, affidabilità, scalabilità)
- La comunicazione nei sistemi distribuiti
° protocolli
° modello client-server

* La sincronizzazione nei sistemi distribuiti:
- Sincronizzazione dei clock
- Mutua esclusione e transazioni atomiche
- Deadlock

* File system distribuiti:
- Problematiche ed implementazione
- Naming e caching
- Casi di studio: NFS, LFS, AFS

* Memoria Condivisa Distribuita:
- Modello concettuale
- Implementazioni
- Problema della consistenza e relativi modelli

*Sistemi operativi real-time
- Problematiche e vincoli
° determinismo
° reattività
° affidabilità
- Esempi di sistemi real-time

* Scheduling nei sistemi operativi real-time:
- Concetto di clock, deadline, e timeout
- Scheduling a priorità
- Deadline scheduling
- Scheduling di task aperiodi e periodici

* Esercitazioni di laboratorio:
- Implementazione di alcune funzionalità su un sistema operativo real-time open source.

Testi di riferimento
Autore Titolo Casa editrice Anno ISBN Note
A.Tanenbaum Disitributed Operating Systems Prentice Hall 1994 0132199084
Giorgio Buttazzo "HARD REAL-TIME COMPUTING SYSTEMS: Predictable Scheduling Algorithms and Applications", Kluwer Academic Publishers 1997
W. Stallings Operating Systems - Internal and Design Principles (Edizione 3) Prentice Hall 1998 0138874077

Modalità d'esame

L'esame consiste in una prova scritta, contenente domande teoriche ed esercizi. L'orale è facoltativo. Per la parte di laboratorio viene chiesto di realizzare un progetto.

Le/gli studentesse/studenti con disabilità o disturbi specifici di apprendimento (DSA), che intendano richiedere l'adattamento della prova d'esame, devono seguire le indicazioni riportate QUI

Materiale e documenti

Tipologia di Attività formativa D e F

Anno accademico:

Insegnamenti non ancora inseriti

Prospettive


Avvisi degli insegnamenti e del corso di studio

Per la comunità studentesca

Se sei già iscritta/o a un corso di studio, puoi consultare tutti gli avvisi relativi al tuo corso di studi nella tua area riservata MyUnivr.
In questo portale potrai visualizzare informazioni, risorse e servizi utili che riguardano la tua carriera universitaria (libretto online, gestione della carriera Esse3, corsi e-learning, email istituzionale, modulistica di segreteria, procedure amministrative, ecc.).
Entra in MyUnivr con le tue credenziali GIA: solo così potrai ricevere notifica di tutti gli avvisi dei tuoi docenti e della tua segreteria via mail e a breve anche tramite l'app Univr.