Real-Time and Embedded SystemsDF14800, 2012VT
Doctoral students in computer science.
The course was last given
This course aims at presenting techniques for the design, analysis and
verification of real-time and embedded systems. It addresses modern
design methodologies, with an emphasis on early design phases,
including modeling, verification, hardware/software codesign, and
Undergraduate course in real-time systems. Logic I (propositional log.) Logic II (proof and model theory; soundness and completeness, modal logic). Computation I. Computation II
The course is given in an intensive format ("crash course").
Lecture notes and articles.
Zebo Peng, Petru Eles, Unmesh Bordoloi, and Wang Yi.
Assignments and written exam.
4.5 hp (3)
Course web page
Page responsible: Director of Graduate Studies