Real-Time Programming

Instructor

• Reza Pulungan

Schedule

• Lectures
  • Tuesdays: 07:00-08:50, at U2.05
  • Wednesdays: 11:00-11:50, at U2.05
• Exams
  • Mid-term:
  • Final:

Objectives

Syllabus

Textbooks

• Alan Burns and Andy Wellings. Real-Time Systems and Programming Languages (Fourth Edition): Ada 2005, Real-Time Java and C/Real-Time POSIX Addison Wesley Longmain, ISBN: 978-0-321-41745-9. 2009.
• Olderog and Dierks. Real-Time Systems - Formal Spesification and Automatic Verification. Cambridge University Press, ISBN-10: 0521883334, 2006.
• Shyamasundar and Ramesh. Real-Time Programming - Languages, Specification and Verification. World Scientific Pub Co Inc. ISBN-10: 9810225660, 2010.

Grading

• Exercises: 20%
• Mid-term exam: 40%
• Final exam: 40%

Lectures

Lecture 0 (February 16, 2011)

• Introduction

Lecture 1 (February 23, 2011)

• Reliability and Safety

Lecture 2 (March 1, 2011)

• Reliability and Safety

Lecture 3 (March 2, 2011)

• Reliability and Safety

Lecture 4 (March 8, 2011)

• Concurrent Programming

Lecture 5 (March 15, 2011)

• Synchronization and Communication

Lecture 6 (March 16, 2011)

• Synchronization and Communication

Lecture 7 (March 23, 2011)

• Atomic Actions

Lecture 8 (March 30, 2011)

• Atomic Actions

Lecture 9 (April 2, 2011)

• Atomic Actions

Pengumuman (April 3, 2011)

• Ujian mid semester akan diadakan dengan buku terbuka.
• Materi ujian adalah semua materi yang pernah disampaikan dalam kuliah.

Lecture 10 (April 19, 2011)

• Atomic Actions

Lecture 11 (April 20, 2011)

• Resource Control