02224 Real-Time Systems        Spring 2012
Lecture Plan

Week no.	Date	Subject	Text	Teacher
1	Feb 2	Introduction to real-time systems, modelling, verification and the UPPAAL tool	[BK 1] [Shaw 1]	MRH
2	Feb 9	Timed Automata UPPAAL: Syntax, semantics, and simulation		MRH
3	Feb 16	Properties, Model Checking UPPAAL Verification		MRH
4	Feb 23	Modelling with Timed Automata Presentation of Assignment A		HHL
5	Mar 1	Basic Model Checking Algorithms		MRH
6	Mar 8	Real-time Scheduling		HHL
7	Mar 15	Real-time Scheduling, advanced notions Modelling and correctness of Scheduling		HHL
8	Mar 22	Implementation of real-time systems Presentation of Assignment B ASSIGNMENT WORK		HHL
9	Mar 29	Real-time Java ASSIGNMENT WORK		MS
	March 30	Assignment A Deadline
EASTER HOLIDAYS
10	Apr 12	Introduction to real-time logics		MRH
11	Apr 19	Specification and Analysis using DC		MRH
12	Apr 26	Real-time systems design		HHL
13	May 3	Ending, other courses, project presentations
	May 10	Assignment B deadline
	May 16	Written Exam

Subject to change.