CCC-RT
Course Title
Real-Time and Embedded Systems
Course Type
CUGS CS Review / CUGS CS Core / CUGS CS Advanced
/ Other
Periodicity
Once a year.
Suggested # of Credits
4.5 HE Credits (Higher Education Credits)
Intended audience
Doctoral students in computer science.
Goal
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
Logic I (propositional log.)
Logic II (proof and model theory;
soundness and completeness, modal logic)
Computation I
Computation II
Related courses
Not yet available
Contents
-
System specification and modeling
-
Estimation and analysis techniques (e.g. worst case execution
time analysis)
-
Hardware/Software codesign
-
Advanced scheduling techniques
-
System validation and simulation
-
Formal verification
-
Basic architectures of embedded systems
-
Design space exploration techniques
-
Real-time languages
-
Advanced optimization algorithms
-
Real-time communication
-
Real-time data management
Organized by
Department of
Computer and Information Science, Linköpings
universitet
Organization
See course schedule.
Examination
Exam and assignment.
Literature
Lecture notes.
Examiner
Zebo Peng
Course homepage
http://www.ida.liu.se/~zebpe/teaching/rtes/
Other information
The course is given in an intensive format ("crash course") at a
conference facility.
|
