Topics in Operating Systems
26-30 November 2007


The aim of this one-week appetizer to topics in the field of Operating Systems is to introduce you to some of the basic concepts and algorithms from that area of Computer Science that you will find most useful in your studies of control software and systems.

During the course, you will learn about topics such as:

Since concurrent programming is notoriously tricky, we will use these topics as an excuse to introduce you to some of the techniques and tools of model-based development of concurrent, reactive systems, of which control programs are one of the many examples. We hope that, after having met these techniques and tools in this course, you will be enticed to use them throughout your careers in building high-quality systems from models, which you have previously subjected to thorough automated analysis.

Reading Material

Course Schedule


Your work during this week will be evaluated based on a group project, which is due on Sunday, 2 December 2007, at 23:59 GMT. We suggest that you work on the project in groups of three-four students. Your project report must be in pdf format, and is expected to contain clear, concise and polished descriptions Your project report should be no longer than 10 pages.
Luca Aceto, School of Computer Science, Reykjavik University.
Last modified: 25 November 2007 .