69714 - REAL TIME OPERATING SYSTEM M

Academic Year 2013/2014

  • Docente: Paolo Torroni
  • Credits: 9
  • SSD: ING-INF/05
  • Language: English
  • Moduli: Paolo Torroni (Modulo 1) Paolo Torroni (Modulo 2)
  • Teaching Mode: Traditional lectures (Modulo 1) Traditional lectures (Modulo 2)
  • Campus: Bologna
  • Corso: Second cycle degree programme (LM) in Automation Engineering (cod. 0931)

Learning outcomes

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.

Course contents

Operating Systems

  • Overview
  • Operating-System Structures
  • Process Concept
  • Multithreaded Programming
  • Process Scheduling
  • Process Coordination
  • Process Synchronization
  • Deadlocks
  • Main Memory Management
  • Virtual Memory
  • File Concept
  • I/O Systems
Hard Real-Time Computing Systems
  • Introduction
  • Basic Concepts
  • Scheduling of Aperiodic Tasks
  • Scheduling of Independent Periodic Tasks
  • Scheduling of Periodic Tasks with Resource Constraints

Readings/Bibliography

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

Teaching methods

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

Assessment methods

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.

Teaching tools

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

Links to further information

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

Office hours

See the website of Paolo Torroni