As the course advances, the schedule and handouts will be available here.
Jan. 9th: Course cancelled, but please come to get the Course Outline and take the entry quiz!
Jan 11th. Course cancelled
Jan 16th: Course Overview, Fundamental Concepts (1 - 35)
Jan 18th: Fundamental Concepts (35 - end), Programming Language Features (1 - 15), Assignment 1
Jan 20th: Programming Language Features (16 - 45)
Jan 23rd: Programming Language Features (46 - end)
Jan 25th: Independent Concurrent Systems (1 - 36)
Jan 27th: Independent Concurrent Systems (37 - end), Implementing N-Version Programming (1 - 20)
Jan 30th: Implementing N-Version Programming (21 - end), Sequential Systems (1 - 20)
Feb 1st: Sequential Systems (21 - 32), Implementing Checkpointing (1 - 10)
Feb 6th: Implementing Checkpointing (11 - 31), Assignment 2
Feb 8th: Implementing Checkpointing (32 - end), Competitive Concurrent Systems (1 - 22)
Feb 13th: Competitive Concurrent Systems (23 - end), Implementing Transactions (1 - 21)
Feb 20th, Feb 22nd: Study Break
Feb 27th: Implementing Transactions (22 - 45), Assignment 3, Possible Projects
Feb 29th: Implementing Transactions (46 - end)
March 5th: Cooperative Concurrent Systems (1 - end)
March 7th: Hybrid Systems (1 - 25)
March 12th: Hybrid Systems (26 - end), AspectOPTIMA - part 1 (1 - 12)
March 14th: AspectOPTIMA - part 1 (13 - end), Dependable Requirements Engineering (1 - 5)
March 19th: Assignment 2 presentations, Assignment 3 discussion
March 21st: Assignment 2 presentation, Dependable Requirements Engineering (5 - 32)
March 26th: no class, Assignment 4
April 2nd: Dependable Requirements Engineering (33 - end)
April 4th: Fault Tolerance in Spacecrafts, Air Traffic Control Systems
April 9th: Easter Monday, no class
April 11th: No class (moved to Friday 13th)
April 13th: Railway Control Systems, Transaction Commit Protocols
April 16th: Last class, AspectOPTIMA - part 2
Last modified: January 17, 2013, Jörg Kienzle
