Home page of Giuseppe Lipari

Contacts

RETIS Lab
TeCIP
Scuola Superiore Sant'Anna
Via Moruzzi, 1
56127 Pisa, ITALY
tel: +39 050 882030
fax: +39 050 883003
email: g.lipari at sssup dot it

News

14 Febbraio 2013 OOSD course

All news

Corso di Sistemi in Tempo reale Corso di laurea in Ingegneria dell'automazione Anno accademico 2008-2009

Organizzazione dell'esame

L'esame consiste in un breve compito scritto seguito da un orale (nella stessa giornata). Il compito scritto contiene uno o due esercizi, dei quali uno almeno sulla programmazione con POSIX, e un altro eventualmente su analisi di schedulabilità o diagrammi a stati.

Chi intende partecipare ad un appello è pregato di comunicarlo via e-mail al sottoscritto qualche giorno prima dell'appello stesso.

Compiti di esame di alcuni appelli precedenti (risolti)

Compiti di esame di alcuni appelli precedenti (non risolti)

Slides

Zip unico

zip (16 Mb!)

Slides singoli

  1. Introduzione (slides, handout)
  2. Introduzione ai sistemi operativi (slides)
  3. Richiami di architetture hardware (slides)
  4. Processi e thread (slides)
  5. Concorrenza (slides, handout)
  6. pthread programming (slides) (example programs) (exercises)
  7. Deadlock (slides)
  8. Real-time task model (slides)
  9. Fixed priority scheduling (slides, handout) (open office sheets)
  10. EDF scheduling (slides, handout) (open office sheets)
  11. Shared resources (slides, handout)
  12. RT programming con POSIX (slides, handout) (codice)
  13. Device drivers and I/O (slides)
  14. RTLinux, RTAI and Xenomai (slides, handout) (articolo, presentazione)
  15. Cambi di modo (slides da completare)

Seminario su State Machines (Dott. Paolo Pagano)

  1. Intro (slides)
  2. State machines (slides)
  3. Uppal e verifica (slides)
  4. Implementazione in C (slides)
  5. Dspic and Flex board (slides)
  6. Minimal real-time kernels (slides)
  7. IEEE 802.15.4 (slides)
  8. Codice elevator (zip)