Real-Time and Embedded SystemsDF14800, 2014VT
|
|
Course plan
Lectures
24 hours
Recommended for
Doctoral students in computer science.
The course was last given
Spring 2012.
Goals
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
optimization.
Prerequisites
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
Contents
See http://www.ida.liu.se/~zebpe/teaching/rtes/
Organization
See http://www.ida.liu.se/~zebpe/teaching/rtes/
The course is given in an intensive format ("crash course").
Literature
Lecture notes and articles.
Lecturers
Zebo Peng, Petru Eles, Unmesh Bordoloi, and Wang Yi.
Examiner
Zebo Peng
Examination
Assignments and written exam.
Credit
5 hp
Organized by
Linköping University
Comments
Course web page
http://www.ida.liu.se/~zebpe/teaching/rtes/
Page responsible: Director of Graduate Studies