69714 - REAL TIME OPERATING SYSTEM M

Anno Accademico 2013/2014

  • Docente: Paolo Torroni
  • Crediti formativi: 9
  • SSD: ING-INF/05
  • Lingua di insegnamento: Inglese
  • Moduli: Paolo Torroni (Modulo 1) Paolo Torroni (Modulo 2)
  • Modalità didattica: Convenzionale - Lezioni in presenza (Modulo 1) Convenzionale - Lezioni in presenza (Modulo 2)
  • Campus: Bologna
  • Corso: Laurea Magistrale in Ingegneria dell'automazione (cod. 0931)

Conoscenze e abilità da conseguire

Knowledge of the principles, reference models and design issues concerning the organization of concurrent systems subject to real-time constraints. Exemplification of the theoretical and methodological topics with regard to design patterns typical of the industrial automation scenario.

Contenuti

Sistemi Operativi

  • Vista d'insieme
  • Strutture dei sistemi operativi
  • Il concetto di processo
  • Programmazione a thread
  • Scheduling di processi
  • Coordinamento
  • Sincronizzazione
  • Deadlock
  • Gestione della memoria principale
  • Memoria virtuale
  • Il concetto di File
  • Sistemi di input/output
Sistemi di calcolo in real-time
  • Introduzione
  • Concetti di base
  • Scheduling di processi aperiodici
  • Scheduling di processi periodici indipendenti
  • Scheduling di processi periodici con accesso a risorse condivise

Testi/Bibliografia

Abraham Silberschatz, Peter B. Galvin, Greg Gagne. Operating System Concepts, 8th or 9th Edition. International Student Version. Wiley 2010 (2013)
Chapters 1 — 9 & 13

Giorgio C. Buttazzo. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications, 3rd Edition. Springer 2011
Chapters 1 — 4 & 7

Metodi didattici

Lectures: theory and exercises, meant to be highly interactive. Practical LAB sessions on Unix processes, synchronization, and on the RTAI real-time operating system.

Modalità di verifica e valutazione dell'apprendimento

There are two possibilities for taking the exam: either with midterms+final exam, or with a single standard exam.

The exam consists of open questions, quizzes, exercises, and code analysis.

Strumenti a supporto della didattica

Lectures slides are available to students via the AMS Campus university intranet

Link ad altre eventuali informazioni

http://www.lia.deis.unibo.it/Courses/RTOS/

Orario di ricevimento

Consulta il sito web di Paolo Torroni