Corso di Sistemi Operativi Real-Time

Comunicazioni varie

Orario delle lezioni

Orario di ricevimento

Esami

Mailing List

Testi consigliati e materiale didattico

• 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).
• AA 2006/2007
  
• Dispense per la programmazione concorrente su sistemi UNIX (solo capitoli 1, 2, 6).
• Slides forniti dal docente disponibili  in formato PDF
• P.Ancilotti e M.Boari: "Principi e tecniche di programmazione concorrente" Utet libreria, 1987 (In biblioteca, SOLO pagine 67-107).
• Esempi
• 4 - programmazione pthreads
  (per decomprimere i files tgz, usate "tar xvzf nomefile"; aggiornato all'2/5/2006)
• Esercizi di programmazione concorrente (aggiornati 11/07/2004)
• Esercizi risolti (aggiornati al 19/7/2004)
• Esercizi di esame risolti
• Contributi degli studenti (leggete bene i readme.txt)
  
• Esercizi risolti (aggiornati al 23/08/2004)

Approfondimenti

• 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 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
• 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 2005/2006
  
• Dispense per la programmazione concorrente su sistemi UNIX (solo capitoli 1, 2, 6).
• Slides forniti dal docente disponibili  in formato PDF

Altri link utili e non

• Links ad altri corsi di sistemi operativi
• Scuola Superiore S. Anna
• Università di Milano Bicocca
• Università di Padova
  
• Standard di sistemi operativi ed interfacce varie
  
• POSIX
• OSEK
• TRON
  
• ASAM
• AUTOSAR
• HIS
• Alcune università, professori, centri di ricerca, progetti di ricerca  nel campo del Real-Time in Europa
  
• Scuola Superiore S. Anna
• Laboratorio di Robotica, Pavia
• Università di Enna
• Politecnico di Milano (RTAI)
  
• RTLinux Portal at Valencia
• York
• MDH
• University of Cantabria, Spain
  
• University of Aveiro, Portugal
• Alcuni sistemi operativi Real-Time / embedded open-source
• Operating Systems resources - directory of Operating Systems related websites.
• RTAI
• RT-Linux/GPL
• L4
• OsKit
  
• Resource Kernels
  
• Marte OS
  
• SHaRK
• ERIKA Educational
• Tiny OS
• date anche uno sguardo al progetto OCERA
  
• Alcuni Aziende che forniscono Sistemi Operativi Real-Time commerciali
• Evidence Srl (da me fondata ed in cui attualmente lavoro)
  
• Linux/Embedded Linux
  
• Montavista
• FSMLabs
• Timesys
  
• Wind River
  
• LiveDevices
• Metrowerks
• Express Logic
• QNX
• TTTech
  
• GNU
• Free Software Foundation
• A proposito degli attachments nelle e-mail
  
• 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
  
• Libri interessanti...
  
• The Jargon File
• The Cathedral and the Bazaar
• When Things start to think, di Neil Gershenfeld
• The Art of UNIX Programming
• 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
• SlashDot
• LinuxToday
• FootNotes
• KDE dot News
  
• quick start guides
• Unix / pine / emacs dalla Boston University
• An introduction to Linux in Ten Commands.
• Linux Quick Help.
• Linux Glossary for Windows Users.
  
• The Linux Booting process Unveiled
  
• Editor di testi consigliati per scrivere codice sorgente
  
• vi
  
• emacs (esistono molti tutorial in rete: ad esempio, questo oppure quest'altro in versione html, ps o pdf)
• gcc/make/ecc...
  
• gcc online documentation
  
• make manual, quick start guide here
• Disastri, errori ed altri orrori dovuti al software
• Software Horror stories
  
• 1991, Patriot
• 1996, Arianne 5
• 1997, Mars Pathfinder
  
• 1999, Mars Climate Orbiter
  
• 2004, Mars Spirit Rover
• 2004, Comair system (16 bit counter overflow)
  
• A proposito della priority inversion...
• Against priority Inversion
  
• Un po' di storia dell'informatica e dei calcolatori
  
• How it works... the Computer
• A history of the GUI
  
• Cosa e' installato sul mio portatile...
• Windows XP Professional, Windows 98 solo text mode
  
• Linux Kernel
• Fedora
  
• Linux on Laptops
• FreeDOS
  
• Programmi che uso regolarmente
• Per scrivere documenti di buona qualità...
  
• LaTeX, il miglior programma per scrivere testi scientifici esistente al mondo, e...
• LyX, un wrapper per LaTeX molto molto comodo: e' il mio document processor preferito, ed ha anche una ottima documentazione!
  
• Dia, parte di Gnome Office, utile per esportare immagini in formato EPS per LyX. In alternativa, alcune persone che conosco usano XFIG.
• Gnuplot, un ottimo programma per generare grafici in formato EPS. Qui potete trovarne il manuale.
  
• OpenOffice, buona alternativa a Microsoft Word, Excel & Powerpoint.
• Mozilla, Firefox e Thunderbird, ottimi client di e-mail con Junk mail filter, browser, e html composer
  
• Galeon, un web browser basato su Mozilla.
• Evolution, ottimo mailer/calendario/task/addressbook, e molto altro ancora.
• Pine, ottimo mailer in modo testo.