Corso di Sistemi Operativi Real-Time
Università di Siena
Facoltà di Ingegneria
sede decentrata di Arezzo
Corso di Laurea in Ingegneria dell'Automazione
Docente: Marko Bertogna (marko
"at" sssup "dot" it)[Thanks to
Paolo Gai for most of the following
contents]
Comunicazioni varie
Variazioni all'orario verranno comunicate a lezione di volta in volta.
Orario delle lezioni
Giorno
|
Orario
|
Aula
|
Martedì
|
14-18
|
2
|
Le lezioni sono terminate. Per l'anno accademico 2011/2012 contattare la d.ssa Anna Ruscelli (a.ruscelli "at" sssup "dot" it)
Orario di ricevimento
Orario e luogo da definire di volta in volta, tipicamente dopo ogni lezione.
Esami
PER ISCRIVERSI ALL'ESAME (SCRITTO/ORALE) MANDARE UNA MAIL AL DOCENTE!
| Esame |
Tipo prova
|
Orario
|
Aula
|
Primo Appello
|
Scritto
|
21
Giugno 2011 |
2
|
Orale
|
21
Giugno 2011 |
2
|
Secondo
Appello
|
Scritto
|
12 Luglio 2011
|
2
|
Orale
|
12 Luglio 2011 |
2
|
Terzo Appello
|
Scritto
|
20 Settembre 2011
|
2
|
Orale
|
20 Settembre 2011 |
2
|
Quarto
Appello
|
Scritto
|
24 Novembre 2011
|
2
|
Orale
|
24 Novembre 2011
|
2
|
Quinto
Appello
|
Scritto
|
20 Febbraio 2012
|
2
|
Orale
|
20 Febbraio 2012 |
2
|
Sesto Appello
|
Scritto
|
TBD |
|
Orale
|
TBD |
|
Settimo Appello
|
Scritto
|
TBD |
|
Orale
|
TBD |
|
Riultati esami
Risultati della prova sostitutiva dell'esame orale del 20 Febbraio 2012.
Progettino software
A questo link è possibile trovare il materiale utile allo svolgimento del progettino.
Mailing List
E' disponibile una mailing list del corso.
L'indirizzo mail della mailing list è: rtos-arezzo "at"
gandalf "dot" sssup "dot" it .
Per iscriversi alla mailing list, cliccare
qui. Riceverete una mail indietro; seguite le istruzioni ed il
gioco è fatto :-)
Slides del corso
A questo link è possibile scaricare in formato pdf le
slides delle lezioni.
Ogni file sarà disponibile solo dopo la lezione corrispondente.
Esercitazioni
A questo link è possibile scaricare le
esercitazioni del corso.
Testi consigliati
- Giorgio Buttazzo, Sistemi in Tempo Reale, Pitagora Editrice,
Bologna, 2000. Errata
Corrige
- Capitoli che sono parte del corso:
- Cap 1 - Tutto
- Cap 2 - Tutto
- Cap 3 - 3.1 3.2 3.3 3.4
- Cap 4 - 4.1 4.2 4.3
- Cap 5 - Tutto
- Cap 6 - 6.1 6.2 6.3 6.4
- Cap 7 - 7.1 7.4 7.8
- Cap 8 - Tutto (8.6 solo Singole risorse)
- oppure, Giorgio Buttazzo, "HARD REAL-TIME COMPUTING SYSTEMS:
Predictable
Scheduling Algorithms and Applications", Kluwer Academic Publishers,
Boston, 1997.
- Linux man pages (come riferimento on-line per la programmazione
POSIX).
- P.Ancilotti e M.Boari: "Principi e tecniche di programmazione
concorrente" Utet libreria, 1987 (In biblioteca, SOLO pagine 67-107).
Approfondimenti
(buona parte di questi libri sono disponibili in biblioteca)
- B.W. Kernighan, D. Ritchie - Linguaggio C - Jackson Libri, II
edizione (per chi avesse ancora
dei dubbi sul linguaggio C)
- Paolo Ancilotti, Maurelio Boari, Anna Ciampolini e Giuseppe
Lipari, Sistemi
Operativi, Mc-Graw Hill, July 2004, per approfondimenti di
carattere generale sulla prima parte riguardante i sistemi operativi.
- Dispense per la programmazione concorrente su sistemi UNIX (vedi
sezione precedente...; capitoli rimanenti).
- Giorgio Buttazzo, Giuseppe Lipari, Luca Abeni and Marco Caccamo, Soft
Real-Time Systems: Predictability vs. Efficiency,, Springer,
January 2005
- Maestrini, "Sistemi Operativi", McGraw-Hill Italia, ISBN
8838606927
- Silberschatz, Galvin, Gagne, "Sistemi Operativi Concetti ed
Esempi", Addison Wesley Italia, ISBN 8871921402
- Tanenbaum, "Sistemi Operativi, progetto ed implementazione",
UTET, ISBN 8877504242
- P.Ancilotti e M.Boari: "Principi e tecniche di programmazione
concorrente" Utet libreria, 1987.
- W. Richard Stevens, "Advanced Programming in the Unix
Environment", Addison Wesley. Tratta gli argomenti sui file,
processi, segnali, ecc.
- W. Richard Stevens, "Unix Network Programming: Volume II",
Prentice Hall. Tratta la programmazione multi-thread.
- Jane W. S. Liu, Real-Time Systems, ISBN
0-13-099651-3
- A. Burns and A. J. Wellings, Real-Time Systems and Programming
Languages, 3rd Edition, Addison Wesley, 738 pages, 2001.
- GAPIL, http://gapil.firenze.linux.it
Anni accademici precedenti
- AA 2005/2006 e
2006/2007
- Dispense per la programmazione concorrente su sistemi UNIX
(solo capitoli 1, 2, 6).
- Slides forniti dal docente disponibili in formato PDF
- AA 2004/2005
- Dispense per la programmazione concorrente su sistemi UNIX (solo
capitoli 1, 2, 6).
- Slides forniti dal docente disponibili in formato PDF
- AA 2003/2004
- Dispense per la programmazione concorrente su sistemi UNIX
(solo capitoli 1, 2, 6).
- Slides forniti dal docente disponibili in formato PDF
- Seminari: slides del seminario "Integrated Control and
Real-Time Scheduling", giugno 2004, relatore: Anton Cervin
- Esempi
e esercitazioni
Altri link utili e non
- Links ad altri corsi di sistemi operativi
- Standard di sistemi operativi ed interfacce varie
- Alcune università, professori, centri di ricerca, progetti
di
ricerca nel campo del Real-Time in Europa
- Alcuni sistemi operativi Real-Time / embedded open-source
- Alcuni Aziende che forniscono Sistemi Operativi Real-Time
commerciali
- GNU
- Software software software...
- SourceForge, ,"SourceForge
is a free
service to Open Source developers offering easy access to the best in
CVS,
mailing lists, bug tracking, message boards/forums, task management,
site
hosting, permanent file archival, full backups, and total web-based
administration".
- Savannah
- Linux in Italia
- Italian Linux Society
- PLUTO Project, ottimo
per ricercare documentazione in italiano su Linux. Il PLUTO
è un Gruppo
di persone, unito dalla
passione per Linux e il free
software, che
porta avanti progetti per favorire lo sviluppo e la
diffusione di Linux e del free software riguardante Linux.
- GAPIL,
documentazione sulla programmazione Linux
- FreeBSD
- FreeBSD
- BSD
vs Linux ... ovvero... un piccolo articolo che evidenzia alcune
differenze tra l'approccio di FreeBSD e quello di Linux
- Siti con News + o - interessanti
- quick start guides
- Editor di testi consigliati per scrivere codice sorgente
- gcc/make/ecc...
- Disastri, errori ed altri orrori dovuti al software
- A proposito della priority inversion...
- Un po' di storia dell'informatica e dei calcolatori
- Cosa e' installato sul mio portatile...
- Windows XP Professional, Windows 98 solo text mode
- Programmi che uso regolarmente
- Per scrivere documenti di buona qualità...
- LaTeX, il miglior
programma per scrivere testi scientifici esistente al mondo, e...
- XFIG, utile per esportare immagini
in formato EPS.
- Gnuplot, un ottimo
programma per generare grafici in formato EPS. Qui potete trovarne il manuale.
- OpenOffice, buona
alternativa a Microsoft Word, Excel & Powerpoint.